next up previous contents
Next: Rule groups Up: Specification of graph rewrite Previous: Specification of graph rewrite

Graph rewrite specifications

 

C mode only:A -module consists of one or several graph rewrite procedures, i.e. graph rewrite specifications. For each GRS one C routine is generated, having the same name. We distinguish conceptually EARS which consist of rules that only add edges (marked by the keyword EARS) and more general graph rewrite systems with transforming rules (marked by keyword GRS).3.1end C mode.

Java mode only:In Java mode, graph rewrite procedures substitute ordinary Java methods. In the generated code, a specification procedure is expanded to a method in standard Java.end Java mode.

Graph rewrite procedures consists of a parameter list, and one or several rule groups. The code for the rule groups is generated in their specification order, one module after the other.


\begin{verbsyntax}\synrule{GraphRewriteProcedure}{( 'EARS' \vert 'GRS') Ident '(...
...nt{\vert ( 'EARS' \vert 'GRS') Ident '(' Parameters ')' Group }
\end{verbsyntax}



 

Uwe Assmann
1998-12-22