public abstract class Trace2paramMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
Trace2paramMatcher
.
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.
Trace2paramMatcher
,
Trace2paramProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
java.lang.String |
getId() |
org.eclipse.emf.ecore.EObject |
getParam() |
Trace |
getTrace() |
int |
hashCode() |
static Trace2paramMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static Trace2paramMatch |
newMatch(org.eclipse.emf.ecore.EObject pParam,
Trace pTrace,
java.lang.String pId)
Returns a new (partial) match.
|
static Trace2paramMatch |
newMutableMatch(org.eclipse.emf.ecore.EObject pParam,
Trace pTrace,
java.lang.String pId)
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 |
setId(java.lang.String pId) |
void |
setParam(org.eclipse.emf.ecore.EObject pParam) |
void |
setTrace(Trace pTrace) |
Trace2paramQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
Trace2paramMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public org.eclipse.emf.ecore.EObject getParam()
public Trace getTrace()
public java.lang.String getId()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setParam(org.eclipse.emf.ecore.EObject pParam)
public void setTrace(Trace pTrace)
public void setId(java.lang.String pId)
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 Trace2paramMatch 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 Trace2paramQuerySpecification specification()
public static Trace2paramMatch newEmptyMatch()
public static Trace2paramMatch newMutableMatch(org.eclipse.emf.ecore.EObject pParam, Trace pTrace, java.lang.String pId)
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.pId
- the fixed value of pattern parameter id, or null if not bound.public static Trace2paramMatch newMatch(org.eclipse.emf.ecore.EObject pParam, Trace pTrace, java.lang.String pId)
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.pId
- the fixed value of pattern parameter id, or null if not bound.