![]() | Description |
|---|---|
Directed formal parameters define the interface of a GT rule or an ASM rule by a list of ASM variables. |
![]() | Syntax |
|---|---|
DirectedFormalParamsAST ::= DirectionKindAST VariableDefAST | DirectedFormalParamsAST , DirectionKindAST VariableDefAST DirectionKindAST ::= in | out | inout
Directed formal parameters are defined by
is a comma-separated list of variables (each having a direction specification).
It can contain an arbitrary number of variables (including none).
In contrast to the formal parameters,
it defines a direction for each parameter, namely either |
![]() | Semantics |
|---|---|
An input-only variable (with tag
An output-only variable(with tag
An input-output variable(with tag |
Used By: GT rule definition, ASM rule definition
See Also: formal parameters, actual parameter, undefined value