![]() | PatternEdge Properties |
The PatternEdge type exposes the following members.
Name | Description | |
---|---|---|
![]() | Annotations |
The annotations of the pattern element
(Inherited from PatternElement.) |
![]() | 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.
(Inherited from PatternElement.) |
![]() | Initialization |
The initialization expression for the element if some was defined, otherwise null.
(Inherited from PatternElement.) |
![]() | Name |
The name of the pattern element.
(Inherited from PatternElement.) |
![]() | originalEdge |
Links to the original pattern edge in case this edge was inlined, otherwise null;
the point of definition of the original edge references the original containing pattern
|
![]() | PointOfDefinition |
The pattern where this element gets matched (null if rule parameter).
(Inherited from PatternElement.) |
![]() | Type |
The GrGen type of the pattern edge.
|
![]() | UnprefixedName |
The pure name of the pattern element as specified in the .grg without any prefixes.
(Inherited from PatternElement.) |