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