case_statement

case_statement ::= 
      "case" expression "is" 
      case_statement_alternative 
      { case_statement_alternative } 
      "end" "case" ";"

[rule list] 
This rule is called by

-> compound_statement