case_statement

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

[rule list]
This rule is called by

-> compound_statement