[NAME] ALL.dao.control.switch-case [TITLE] Switch-case Control [DESCRIPTION] 0.1 Definition 1 SwitchCaseStmt ::= 'switch' '(' Expression ')' '{' 2 { 'case' Expression [ ( ',' | '...' ) Expression ] ':' ControlBlock } 3 [ 'default' ':' ControlBlock ] 4 '}' 1 switch( 2 ){ 2 case 0 : io.writeln( 'case 0' ) 3 case 1 : io.writeln( 'case 1' ) 4 case 2 : io.writeln( 'case 2' ) 5 default: io.writeln( 'default' ) 6 }