public abstract class Trace2targetMatch extends 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)
Returns the value of the parameter with the given name, or null if name is invalid.
|
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()
Returns the list of symbolic parameter names.
|
java.lang.String |
patternName()
Identifies the name of the pattern for which this is a match.
|
java.lang.String |
prettyPrint()
Prints the list of parameter-value pairs.
|
boolean |
set(java.lang.String parameterName,
java.lang.Object newValue)
Sets the parameter with the given name to the given value.
|
void |
setTarget(org.eclipse.emf.ecore.EObject pTarget) |
void |
setTrace(Trace pTrace) |
Trace2targetQuerySpecification |
specification() |
java.lang.Object[] |
toArray()
Converts the match to an array representation, with each pattern parameter at their respective position.
|
Trace2targetMatch |
toImmutable()
Takes an immutable snapshot of this match.
|
get, isCompatibleWith, prettyPrintFeature, prettyPrintValue, set, toStringisMutablepublic java.lang.Object get(java.lang.String parameterName)
IPatternMatchpublic org.eclipse.emf.ecore.EObject getTarget()
public Trace getTrace()
public boolean set(java.lang.String parameterName,
java.lang.Object newValue)
IPatternMatch Works only if match is mutable. See IPatternMatch.isMutable().
public void setTarget(org.eclipse.emf.ecore.EObject pTarget)
public void setTrace(Trace pTrace)
public java.lang.String patternName()
IPatternMatchpatternName in interface IPatternMatchpatternName in class BasePatternMatchpublic java.util.List<java.lang.String> parameterNames()
IPatternMatchparameterNames in interface IPatternMatchparameterNames in class BasePatternMatchpublic java.lang.Object[] toArray()
IPatternMatchpublic Trace2targetMatch toImmutable()
IPatternMatchpublic java.lang.String prettyPrint()
IPatternMatchpublic int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic 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.