![]() | PatternElement Properties |
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.
|