![]() | Pattern |
The PatternElement type exposes the following members.
Name | Description | |
---|---|---|
![]() | Annotations | The annotations of the pattern element |
![]() | 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 element if some was defined, otherwise null. |
![]() | Name | The name of the pattern element. |
![]() | PointOfDefinition | The pattern where this element gets matched (null if rule parameter). |
![]() | UnprefixedName | The pure name of the pattern element as specified in the .grg without any prefixes. |