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

The return Statement

$$ Return-Statement ::= "return" Expression ";" .

In a subrule, the return statement is of the following form:

return expr;
The value of expr is returned to the rule that invoked this subrule and the subrule execution is finished.

In a pruning rule, the return statement is of the same form. Here, expr must be a list a list of yes- and no-symbols. Each state in the category list, which is the pruning rule parameter, corresponds to a symbol in the result list. If the symbol is yes, the corresponding state is preserved. If the symbol is no, the state is abandoned.



Bjoern Beutel