GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
PatternGraphEmbedding Class
Namespacesde.unika.ipd.grGen.lgspPatternGraphEmbedding
Embedding of a subpattern into it's containing pattern
Declaration Syntax
C#
public class PatternGraphEmbedding : IPatternGraphEmbedding
Members
All MembersConstructorsPropertiesFields



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

Inheritance Hierarchy
Object
PatternGraphEmbedding

Assembly: lgspBackend (Module: lgspBackend) Version: 4.4.0.0 (4.4.0.0)