Next: , Previous: Statements, Up: Statements


6.11.1 The assert Statement

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.