next up previous contents
Next: The assert Statement Up: Definition of the Programming Previous: Rules   Contents

Statements


$$ Statement ::= Assert-Statement | Assignment
$$               | Choose-Statement | Define-Statement
$$               | Error-Statement | Fail-Statement | Foreach-Statement 
$$               | If-Statement | Parallel-Statement | Repeat-Statement
$$               | Require-Statement | Result-Statement | Return-Statement .

A rule body contains a sequence of statements.

The statements are the assignment and the statements beginning with assert, choose, define, error, fail, foreach, if, parallel, repeat, require, result, and return.



Subsections

Bjoern Beutel