next up previous contents
Next: The Assignment Up: Statements Previous: Statements   Contents

The assert Statement

$$ Assert-Statement ::= ("assert" | "!") Condition ";" .

The statement

assert condition;
or
! condition;

tests whether condition holds. If this is not the case, an error message with the line number in the source code is printed and the processing of all paths is terminated.

The assert statement should be used to check whether there are structural flaws in the lexicon or the rule system.



Bjoern Beutel