next up previous contents
Next: Predicates in rules Up: Rule tests Previous: Options for rule groups

   
FIRST and LAST target predicates for rule groups and rules

Rule groups as well as rules can be annotated by a FIRST and an LAST target predicates. The code of FIRST predicates is printed in the generated code right after the variable declarations for a rule group (or a rule). Here the user can define his own variables for use in target predicates. The code of the LAST target predicate before the rule group/rule end.


\begin{verbsyntax}\onerule{FIRSTCode}{'FIRST' TargetPredicate}
\onerule{LASTCode}{'LAST' TargetPredicate}
\end{verbsyntax}


\begin{examplefoot}FIRST \{* /* here is FIRST */ *\}
LinearBlocks(PBody,B), Stm...
... AllDefinitions(PBody,Ass)
LAST \{* /* here is LAST */ *\}
;
\end{examplefoot}


Uwe Assmann
1998-12-22