public abstract class TraceMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
TraceMatcher
.
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.
TraceMatcher
,
TraceProcessor
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 |
getSource() |
org.eclipse.emf.ecore.EObject |
getTarget() |
Trace |
getTrace() |
java.lang.String |
getTraceabilityId() |
int |
hashCode() |
static TraceMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static TraceMatch |
newMatch(org.eclipse.emf.ecore.EObject pSource,
java.lang.String pId,
org.eclipse.emf.ecore.EObject pTarget,
Trace pTrace,
java.lang.String pTraceabilityId)
Returns a new (partial) match.
|
static TraceMatch |
newMutableMatch(org.eclipse.emf.ecore.EObject pSource,
java.lang.String pId,
org.eclipse.emf.ecore.EObject pTarget,
Trace pTrace,
java.lang.String pTraceabilityId)
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 |
setSource(org.eclipse.emf.ecore.EObject pSource) |
void |
setTarget(org.eclipse.emf.ecore.EObject pTarget) |
void |
setTrace(Trace pTrace) |
void |
setTraceabilityId(java.lang.String pTraceabilityId) |
TraceQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
TraceMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public org.eclipse.emf.ecore.EObject getSource()
public java.lang.String getId()
public org.eclipse.emf.ecore.EObject getTarget()
public Trace getTrace()
public java.lang.String getTraceabilityId()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setSource(org.eclipse.emf.ecore.EObject pSource)
public void setId(java.lang.String pId)
public void setTarget(org.eclipse.emf.ecore.EObject pTarget)
public void setTrace(Trace pTrace)
public void setTraceabilityId(java.lang.String pTraceabilityId)
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 TraceMatch 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 TraceQuerySpecification specification()
public static TraceMatch newEmptyMatch()
public static TraceMatch newMutableMatch(org.eclipse.emf.ecore.EObject pSource, java.lang.String pId, org.eclipse.emf.ecore.EObject pTarget, Trace pTrace, java.lang.String pTraceabilityId)
pSource
- the fixed value of pattern parameter source, or null if not bound.pId
- the fixed value of pattern parameter id, or null if not bound.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.pTraceabilityId
- the fixed value of pattern parameter traceabilityId, or null if not bound.public static TraceMatch newMatch(org.eclipse.emf.ecore.EObject pSource, java.lang.String pId, org.eclipse.emf.ecore.EObject pTarget, Trace pTrace, java.lang.String pTraceabilityId)
The returned match will be immutable. Use newEmptyMatch()
to obtain a mutable match object.
pSource
- the fixed value of pattern parameter source, or null if not bound.pId
- the fixed value of pattern parameter id, or null if not bound.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.pTraceabilityId
- the fixed value of pattern parameter traceabilityId, or null if not bound.