next up previous contents
Next: The result Statement Up: Statements Previous: The repeat Statement   Contents

The require Statement

$$ Require-Statement ::= ("require" | "?") Condition ";" .

A statement of the form

require condition;
or
? condition;
tests whether condition is true. If this is not the case the rule path is terminated without error message. Test statements should be used to decide whether a read word start (sentence start) is grammatical according to the interpretation of the rule path.



Bjoern Beutel