CHARP7 - 图文(8)

５．CASE语句格式[CASE标号：] CASE表达式IS｛WHEN表达式值＝＞顺序语句｝；［WHENOTHERS＝＞顺序语句；］ENDCASE［CASE标号］；?CASE的选择项可以是一个范围?CASE的数组表达式必须有一个静态子类型６．LOOP语句格式［LOOP标号：］［重复模式］LOOP顺序语句；ENDLOOP［LOOP标号］；一个LOOP语句包含要重复执行的一组顺序语句，执行零次或多次。重复模式有两种：WHILE和FOR，类似于其他设计语言的WHILE和FOR循环，若无重复模式则为无限循环．７．NEXT语句格式NEXT［LOOP］［WHEN条件］；?该语句用在LOOP语句内部，它有条件或无条件的终止当前循环迭代并开始下一次循环?若LOOP标号缺省，则NEXT语句作用于当前最内层循环，否则转到指定的循环中?若WHEN子句出现但条件为False，则循环正常进行８．EXIT语句格式EXIT［LOOP标号］［WHEN条件］；?该语句用在循环语句内部，它有条件或无条件的终止当前循环迭代并终止该循环?若LOOP标号缺省，则EXIT语句作用于当前最内层循环，否则转到指定的循环中?若WHEN子句出现但条件为False，则循环正常进行９．断言语句格式ASSERT条件［REPORT消息］［SEVERITY级别］；?顺序断言语句的格式与并行语句相同，但只用在进程、函数及过程中?若REPORT子句缺省，则默认消息为“Assertion Violation”?若SEVERITY子句缺省，则出错级别的默认值为“Error”