PatternEdge Constructor (Boolean, Int32, EdgeType, String, String, String, GrGenType, Boolean, Single, Int32, Boolean, StorageAccess, StorageAccessIndex, IndexAccess, NameLookup, UniqueLookup, PatternElement, Boolean, Expression)

public PatternEdge(
	bool fixedDirection,
	int typeID,
	EdgeType type,
	string typeName,
	string name,
	string unprefixedName,
	GrGenType[] allowedTypes,
	bool[] isAllowedType,
	float cost,
	int parameterIndex,
	bool maybeNull,
	StorageAccess storage,
	StorageAccessIndex storageIndex,
	IndexAccess indexAccess,
	NameLookup nameLookup,
	UniqueLookup uniqueLookup,
	PatternElement elementBeforeCasting,
	bool defToBeYieldedTo,
	Expression initialization
)

Parameters

fixedDirection

Type: SystemBoolean
Whether this pattern edge should be matched with a fixed direction or not.

typeID

Type: SystemInt32
The type ID of the pattern edge.

type

Type: de.unika.ipd.grGen.libGrEdgeType
The GrGen type of the pattern edge.

typeName

Type: SystemString
The name of the type interface of the pattern element.

name

Type: SystemString
The name of the pattern edge.

unprefixedName

Type: SystemString
Pure name of the pattern element as specified in the .grg without any prefixes

allowedTypes

Type: de.unika.ipd.grGen.libGrGrGenType
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.

isAllowedType

Type: SystemBoolean
An array containing a bool for each 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.

cost

Type: SystemSingle
default cost/priority from frontend, user priority if given

parameterIndex

Type: SystemInt32
Specifies to which rule parameter this pattern element corresponds

maybeNull

Type: SystemBoolean
Tells whether this pattern edge may be null (is a parameter if true).

storage

Type: de.unika.ipd.grGen.lgspStorageAccess
If not null this edge is to be bound by iterating the given storage.

storageIndex

Type: de.unika.ipd.grGen.lgspStorageAccessIndex
If not null this edge is to be determined by a storage lookup, with the accessor given here applied as index into the storage given in the storage parameter.

indexAccess

Type: de.unika.ipd.grGen.lgspIndexAccess
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.

nameLookup

Type: de.unika.ipd.grGen.lgspNameLookup
If not null this pattern element is to be determined by a name map lookup.

uniqueLookup

Type: de.unika.ipd.grGen.lgspUniqueLookup
If not null this pattern element is to be determined by a unique index lookup.

elementBeforeCasting

Type: de.unika.ipd.grGen.lgspPatternElement
If not null this pattern node is to be bound by casting the given elementBeforeCasting to the pattern node type or causing matching to fail.

defToBeYieldedTo

Type: SystemBoolean
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

Type: Expression
The initialization expression for the edge if some was defined, only possible for defToBeYieldedTo edges, otherwise null.

Reference