public abstract class Trace2targetMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
Trace2targetMatcher
.
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.
Trace2targetMatcher
,
Trace2targetProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
org.eclipse.emf.ecore.EObject |
getTarget() |
Trace |
getTrace() |
int |
hashCode() |
static Trace2targetMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static Trace2targetMatch |
newMatch(org.eclipse.emf.ecore.EObject pTarget,
Trace pTrace)
Returns a new (partial) match.
|
static Trace2targetMatch |
newMutableMatch(org.eclipse.emf.ecore.EObject pTarget,
Trace pTrace)
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 |
setTarget(org.eclipse.emf.ecore.EObject pTarget) |
void |
setTrace(Trace pTrace) |
Trace2targetQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
Trace2targetMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public org.eclipse.emf.ecore.EObject getTarget()
public Trace getTrace()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setTarget(org.eclipse.emf.ecore.EObject pTarget)
public void setTrace(Trace pTrace)
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 Trace2targetMatch 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 Trace2targetQuerySpecification specification()
public static Trace2targetMatch newEmptyMatch()
public static Trace2targetMatch newMutableMatch(org.eclipse.emf.ecore.EObject pTarget, Trace pTrace)
pTarget
- the fixed value of pattern parameter target, or null if not bound.pTrace
- the fixed value of pattern parameter trace, or null if not bound.public static Trace2targetMatch newMatch(org.eclipse.emf.ecore.EObject pTarget, Trace pTrace)
The returned match will be immutable. Use newEmptyMatch()
to obtain a mutable match object.
pTarget
- the fixed value of pattern parameter target, or null if not bound.pTrace
- the fixed value of pattern parameter trace, or null if not bound.