Click or drag to resize

PatternVariable Class

A pattern variable of a rule pattern.
Inheritance Hierarchy
SystemObject
  de.unika.ipd.grGen.lgspPatternVariable

Namespace: de.unika.ipd.grGen.lgsp
Assembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntax
C#
public class PatternVariable : IPatternVariable, 
	IPatternElement

The PatternVariable type exposes the following members.

Constructors
 NameDescription
Public methodPatternVariable(PatternVariable, String) Instantiates a new PatternVariable object as a copy from an original variable under renaming.
Public methodPatternVariable(PatternVariable, PatternGraphEmbedding, PatternGraph, String) Instantiates a new PatternVariable object as a copy from an original variable, used for inlining.
Public methodPatternVariable(VarType, String, String, Int32, Boolean, Expression) Instantiates a new PatternVariable object.
Top
Properties
 NameDescription
Public propertyAnnotations The annotations of the pattern element
Public propertyDefToBeYieldedTo Iff true the element is only defined in its PointOfDefinition pattern, it gets matched in another, nested or called pattern which yields it to the containing pattern.
Public propertyName The name of the variable.
Public propertyPointOfDefinition The pattern where this element gets matched (null if rule parameter).
Public propertyType The GrGen type of the pattern variable.
Public propertyUnprefixedName The pure name of the pattern element as specified in the .grg without any prefixes.
Top
Fields
 NameDescription
Public fieldannotations The annotations of the pattern element
Public fieldAssignmentDependencies If AssignmentSource is not null this gives the original embedding which was inlined. It is given as quick access to the needed nodes, edges, and variables for scheduling.
Public fieldAssignmentSource If not null this pattern element is to be bound by assigning the value of the given assignmentSource expression to the variable. This is needed to fill the pattern parameters of a pattern embedding which was inlined.
Public fielddefToBeYieldedTo Iff true the element is only defined in its PointOfDefinition pattern, it gets matched in another, nested or called pattern which yields it to the containing pattern.
Public fieldinitialization The initialization expression for the variable if some was defined, otherwise null.
Public fieldname The name of the variable.
Public fieldoriginalSubpatternEmbedding Links to the original subpattern embedding which was inlined in case this variable was inlined, otherwise null.
Public fieldoriginalVariable Links to the original pattern variable in case this variable was inlined, otherwise null; the point of definition of the original variable references the original containing pattern
Public fieldParameterIndex Specifies to which rule parameter this variable corresponds.
Public fieldpointOfDefinition The pattern where this element gets matched (null if rule parameter).
Public fieldtype The GrGen type of the pattern variable.
Public fieldunprefixedName Pure name of the variable as specified in the .grg without any prefixes.
Top
See Also