public abstract class Param2itemMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
Param2itemMatcher
.
Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned. Each instance is a (possibly partial) substitution of pattern parameters, usable to represent a match of the pattern in the result of a query, or to specify the bound (fixed) input parameters when issuing a query.
Param2itemMatcher
,
Param2itemProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
Item |
getItem() |
java.lang.Object |
getParam() |
Trace |
getTrace() |
int |
hashCode() |
static Param2itemMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static Param2itemMatch |
newMatch(java.lang.Object pParam,
Trace pTrace,
Item pItem)
Returns a new (partial) match.
|
static Param2itemMatch |
newMutableMatch(java.lang.Object pParam,
Trace pTrace,
Item pItem)
Returns a mutable (partial) match.
|
java.util.List<java.lang.String> |
parameterNames() |
java.lang.String |
patternName() |
java.lang.String |
prettyPrint() |
boolean |
set(java.lang.String parameterName,
java.lang.Object newValue) |
void |
setItem(Item pItem) |
void |
setParam(java.lang.Object pParam) |
void |
setTrace(Trace pTrace) |
Param2itemQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
Param2itemMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public java.lang.Object getParam()
public Trace getTrace()
public Item getItem()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setParam(java.lang.Object pParam)
public void setTrace(Trace pTrace)
public void setItem(Item pItem)
public java.lang.String patternName()
patternName
in interface org.eclipse.viatra.query.runtime.api.IPatternMatch
patternName
in class org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
public java.util.List<java.lang.String> parameterNames()
parameterNames
in interface org.eclipse.viatra.query.runtime.api.IPatternMatch
parameterNames
in class org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
public java.lang.Object[] toArray()
public Param2itemMatch toImmutable()
public java.lang.String prettyPrint()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public Param2itemQuerySpecification specification()
public static Param2itemMatch newEmptyMatch()
public static Param2itemMatch newMutableMatch(java.lang.Object pParam, Trace pTrace, Item pItem)
pParam
- the fixed value of pattern parameter param, or null if not bound.pTrace
- the fixed value of pattern parameter trace, or null if not bound.pItem
- the fixed value of pattern parameter item, or null if not bound.public static Param2itemMatch newMatch(java.lang.Object pParam, Trace pTrace, Item pItem)
The returned match will be immutable. Use newEmptyMatch()
to obtain a mutable match object.
pParam
- the fixed value of pattern parameter param, or null if not bound.pTrace
- the fixed value of pattern parameter trace, or null if not bound.pItem
- the fixed value of pattern parameter item, or null if not bound.