Question

一个生成式可以使用case生成式语句从一组可选项中选择。case生成式语句的语法如下：

rs_case ::= case (expression) rs_case_item {rs_case_item} endcase

rs_case_item ::=
    expression {, expression} : production_item
  | default [:] production_item

除了下述的说明外，case生成式语句类似于过程化的case语句。case表达式被计算，它的值与每一个case条目表达式（它们以指定的顺序计算和比较）进行比较。产生的生成式是与case表达式匹配的第一个case条目表达式对应的生成式。如果没有找到匹配的case条目表达式，那么产生与可选的default条目相对应的生成式。

在一个case生成式语句中具有多个缺省语句是非法的。使用逗号分割多个case条目表达式能够共享相同的生成式。例如：

randsequence()
    SELECT : case (device & 7)
                 0       : NETWORK
                 1, 2    : DISK
                 default : MEMORY
             endcase;
    ...
endsequence

上面的例子定义了具有一个case语句的生成式SELECT。case表达式(device & 7)被计算并与两个case条目表达式进行比较。如果表达式与0匹配，那么产生生成式NETWORK；如果与1或2匹配，那么产生DISK生成式；否则产生MOMORY生成式。