Embedding of a subpattern into it's containing pattern

C# |
public class PatternGraphEmbedding : IPatternGraphEmbedding

All Members | Constructors | Properties | Fields | ||
Icon | Member | Description |
---|---|---|
![]() | PatternGraphEmbedding(String, LGSPMatchingPattern, array<Expression>[]()[][], array<String>[]()[][], array<String>[]()[][], array<String>[]()[][], array<String>[]()[][], array<VarType>[]()[][]) |
Constructs a PatternGraphEmbedding object.
|
![]() | PatternGraphEmbedding(PatternGraphEmbedding, PatternGraphEmbedding, PatternGraph, String) |
Instantiates a new pattern graph embedding object as a copy from an original embedding, used for inlining.
|
![]() | annotations |
The annotations of the pattern element
|
![]() | 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.
|
![]() | EmbeddedGraph |
The embedded subpattern.
|
![]() | 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.
|
![]() | Name |
The name of the usage of the subpattern.
|
![]() | neededEdges |
An array of names of edges needed by this subpattern embedding.
|
![]() | neededNodes |
An array of names of nodes needed by this subpattern embedding.
|
![]() | neededVariables |
An array of names of variable needed by this subpattern embedding.
|
![]() | neededVariableTypes |
An array of variable types (corresponding to the variable names) needed by this 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.
|
![]() | 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.
|

Object | |
![]() | PatternGraphEmbedding |