PatternElement(PatternElement, PatternGraphEmbedding, PatternGraph, String) Constructor

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

Syntax

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

original PatternElement: The original pattern element to be copy constructed.
inlinedSubpatternEmbedding PatternGraphEmbedding: The embedding which just gets inlined.
newHost PatternGraph: The pattern graph the new pattern element will be contained in.
nameSuffix String: The suffix to be added to the name of the pattern element (to avoid name collisions).