Mehrfach-Verzweigung

switch (e) {
   case c1 : s1 ; 
   case c2 : s2 ;
   [ default : sn; ]
}

Designfragen:

• welche Typen für e?
• welche Werte für ci?
• Wertebereiche?
• was passiert, wenn mehrere Fälle zutreffen?
• was passiert, wenn kein Fall zutrifft (default?)
• (effiziente Kompilation?)