 | PatternElement Class |
An element of a rule pattern.
Inheritance HierarchySystemObject
de.unika.ipd.grGen.lgspPatternElement
de.unika.ipd.grGen.lgspPatternEdge
de.unika.ipd.grGen.lgspPatternNode
de.unika.ipd.grGen.lgspPatternElement
de.unika.ipd.grGen.lgspPatternEdge
de.unika.ipd.grGen.lgspPatternNode
Namespace: de.unika.ipd.grGen.lgsp
Assembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.2
SyntaxC#
public abstract class PatternElement : IPatternElement
The PatternElement type exposes the following members.
Constructors| Name | Description | |
|---|---|---|
 | PatternElement(PatternElement, String) |
Instantiates a new PatternElement object as a copy from an original element, used for independent inlining.
|
| PatternElement(PatternElement, PatternGraphEmbedding, PatternGraph, String) |
Instantiates a new PatternElement object as a copy from an original element, used for subpattern inlining.
|
| PatternElement(Int32, String, String, String, GrGenType, Boolean, Single, Int32, Boolean, StorageAccess, StorageAccessIndex, IndexAccess, NameLookup, UniqueLookup, PatternElement, Boolean, Expression) |
Instantiates a new PatternElement object.
|
Properties| Name | Description | |
|---|---|---|
 | Annotations |
The annotations of the pattern element
|
| DefToBeYieldedTo |
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.
|
| Initialization |
The initialization expression for the element if some was defined, otherwise null.
|
| Name |
The name of the pattern element.
|
| PointOfDefinition |
The pattern where this element gets matched (null if rule parameter).
|
| UnprefixedName |
The pure name of the pattern element as specified in the .grg without any prefixes.
|
Methods| Name | Description | |
|---|---|---|
 | GetPatternElementThisElementDependsOnOutsideOfGraphConnectedness |
Returns the pattern element we depend on,
for a storage lookup, or an indexed storage lookup, or an index lookup
|
| ToString |
Converts this instance into a string representation.
(Overrides ObjectToString.) |
Fields| Name | Description | |
|---|---|---|
 | AllowedTypes |
An array of allowed types for this pattern element.
If it is null, all subtypes of the type specified by typeID (including itself)
are allowed for this pattern element.
|
| annotations |
The annotations of the pattern element
|
| AssignmentSource |
If not null this pattern element is to be bound by assigning the given assignmentSource to the pattern element.
This is needed to fill the pattern parameters of a pattern embedding which was inlined.
|
| Cost |
Default cost/priority from frontend, user priority if given.
|
| defToBeYieldedTo |
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.
|
| ElementBeforeCasting |
If not null this pattern element is to be bound by casting the given ElementBeforeCasting to the pattern element type or causing matching to fail.
|
| IndexAccess |
If not null this pattern element is to be determined by an index lookup,
with details specified by the concrete index access type contained in this field.
|
| initialization |
The initialization expression for the element if some was defined, otherwise null.
|
| IsAllowedType |
An array containing a bool for each node/edge type (order defined by the TypeIDs)
which is true iff the corresponding type is allowed for this pattern element.
It should be null if allowedTypes is null or empty or has only one element.
|
| MaybeNull |
Tells whether this pattern element may be null.
May only be true if pattern element is handed in as rule parameter.
|
| name |
The name of the pattern element.
|
| NameLookup |
If not null this pattern element is to be determined by a name map lookup
|
| originalElement |
Links to the original pattern element in case this element was inlined, otherwise null;
the point of definition of the original element references the original containing pattern
|
| OriginalIndependentElement |
Links to the original pattern element in case this element stems from inlining an independent
(those elements exist only in search planning, they are not contained in any pattern).
|
| originalSubpatternEmbedding |
Links to the original subpattern embedding which was inlined in case this element was inlined, otherwise null.
|
| ParameterIndex |
Specifies to which rule parameter this pattern element corresponds.
Only valid if pattern element is handed in as rule parameter.
|
| pointOfDefinition |
The pattern where this element gets matched (null if rule parameter).
|
| PresetBecauseOfIndependentInlining |
This element was declared in an independent pattern, but is now to be matched as preset,
because it was inlinded in the containing pattern to speed up matching
|
| Storage |
If not null this pattern element is to be bound by iterating the given storage
(which may mean trying the single value if it is elementary).
|
| StorageIndex |
If not null this pattern element is to be determined by a storage indexed lookup,
with the accessor given here applied as index into the storage given in the Storage field.
|
| TempPlanMapping |
plan graph node corresponding to this pattern element, used in plan graph generation, just hacked into this place
|
| TypeID |
The type ID of the pattern element.
|
| typeName |
The name of the type interface of the pattern element.
|
| UniqueLookup |
If not null this pattern element is to be determined by a unique index lookup
|
| unprefixedName |
Pure name of the pattern element as specified in the .grg file without any prefixes.
|
| visited |
visited flag used to compute pattern connectedness for inlining, just hacked into this place
|
See Also