assert
StatementThe 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.