![]() | Pattern |
The PatternVariable type exposes the following members.
Name | Description | |
---|---|---|
![]() | annotations | The annotations of the pattern element |
![]() | AssignmentDependencies | If AssignmentSource is not null this gives the original embedding which was inlined. It is given as quick access to the needed nodes, edges, and variables for scheduling. |
![]() | AssignmentSource | If not null this pattern element is to be bound by assigning the value of the given assignmentSource expression to the variable. This is needed to fill the pattern parameters of a pattern embedding which was inlined. |
![]() | defToBeYieldedTo | Iff true the element is only defined in its PointOfDefinition pattern, it gets matched in another, nested or called pattern which yields it to the containing pattern. |
![]() | initialization | The initialization expression for the variable if some was defined, otherwise null. |
![]() | name | The name of the variable. |
![]() | originalSubpatternEmbedding | Links to the original subpattern embedding which was inlined in case this variable was inlined, otherwise null. |
![]() | originalVariable | Links to the original pattern variable in case this variable was inlined, otherwise null; the point of definition of the original variable references the original containing pattern |
![]() | ParameterIndex | Specifies to which rule parameter this variable corresponds. |
![]() | pointOfDefinition | The pattern where this element gets matched (null if rule parameter). |
![]() | type | The GrGen type of the pattern variable. |
![]() | unprefixedName | Pure name of the variable as specified in the .grg without any prefixes. |