PatternElement Constructor (PatternElement, PatternGraphEmbedding, PatternGraph, String)

Instantiates a new PatternElement object as a copy from an original element, used for subpattern inlining.

Namespace: de.unika.ipd.grGen.lgsp
Assembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.2

Syntax

protected PatternElement(
	PatternElement original,
	PatternGraphEmbedding inlinedSubpatternEmbedding,
	PatternGraph newHost,
	string nameSuffix
)

original: Type: de.unika.ipd.grGen.lgspPatternElement
The original pattern element to be copy constructed.
inlinedSubpatternEmbedding: Type: de.unika.ipd.grGen.lgspPatternGraphEmbedding
The embedding which just gets inlined.
newHost: Type: de.unika.ipd.grGen.lgspPatternGraph
The pattern graph the new pattern element will be contained in.
nameSuffix: Type: SystemString
The suffix to be added to the name of the pattern element (to avoid name collisions).