Next: Explicit parameter specification
Up: Specification of graph rewrite
Previous: Choice rule groups
For each GRS one routine in the target language is generated.
For these routines generates parameter lists which consist of three
subsets of parameters:
- explicitly specified parameters,
- parameters stemming from range declarations with automatic parameters,
- parameters which are graphs that are tested in rule tests or assigned
in rule transformations.
If the user specifies all used/modified graphs as parameters explicitly, list
(3) is empty.
List (2) is only generated if declarations with automatic set parameters
were specified.
Uwe Assmann
1998-12-22