5.8.3. Actual Parameters
Prev 5.8. Parameters and Variable Lists Next

5.8.3. Actual Parameters

[Tip]Description

Actual parameters describe the values passes as parameter when invoking ASM rules, ASM functions, graph patterns and graph transformation rules. These values are substituted with the formal parameters of these constructs during execution.

[Important]Syntax
ActualParamsAST ::= ArithmeticTermAST
                  | ActualParamsAST COMMA ArithmeticTermAST

ActualParamsPatternVariablesAST ::= PatternVariableRefAST 
                                  | ActualParamsPatternVariablesAST COMMA PatternVariableRefAST

Actual parameters are defined as a comma separated list of ASM terms that are associated with the formal parameters of a pattern or rules.

Actual parameters used in pattern composition are defined as a comma separated list of pattern variables.

In case of GT or ASM rules, the formal parameters have a direction (see directed formal parameter). This implies that actual parameters which are passed for output formal parameters can be only variables. Actual parameters that are associated with input-only formal parameters can be arbitrary ASM arithmetic terms.

Used By:  GT rule call, pattern composition, graph pattern call, call rule ASM function location, predefined function call,

Prev Up Next
5.8.2. Directed Formal Parameters Home 5.8.4. Constrained Variable List