![]() | PatternGraphEmbedding Fields |
The PatternGraphEmbedding type exposes the following members.
Name | Description | |
---|---|---|
![]() | annotations |
The annotations of the pattern element
|
![]() | connections |
An array with the expressions giving the arguments to the subpattern,
that are the pattern variables plus the pattern elements,
with which the subpattern gets connected to the containing pattern.
|
![]() | inlined |
Tells whether this pattern usage was inlined.
In this case it is ignored in matcher generation,
as all elements of the pattern used were added to the elementAndInlined-members of the using pattern.
|
![]() | matchingPatternOfEmbeddedGraph |
The embedded subpattern.
|
![]() | name |
The name of the usage of the subpattern.
|
![]() | neededEdgeNames |
An array of names of edges needed by this subpattern embedding.
|
![]() | neededEdges |
An array of edges needed by this subpattern embedding.
|
![]() | neededNodeNames |
An array of names of nodes needed by this subpattern embedding.
|
![]() | neededNodes |
An array of nodes needed by this subpattern embedding.
|
![]() | neededVariableNames |
An array of names of variables needed by this subpattern embedding.
|
![]() | neededVariables |
An array of variables needed by this subpattern embedding.
|
![]() | originalEmbedding |
Links to the original embedding in case this embedding was inlined, otherwise null.
This tells that this embedding was used in another subpattern which was inlined.
|
![]() | originalSubpatternEmbedding |
Links to the original subpattern embedding which was inlined in case this alternative was inlined, otherwise null.
|
![]() | PointOfDefinition |
The pattern where this complex subpattern element gets matched.
|
![]() | yieldElements | |
![]() | yields |
An array with the output arguments to the subpattern,
that are the pattern variables plus the pattern elements
which the subpattern yields to the containing pattern.
|
![]() | yieldVariables |