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.
|