public abstract class Param2containmentMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
Param2containmentMatcher
.
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.
Param2containmentMatcher
,
Param2containmentProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
Containment |
getContainment() |
java.lang.Object |
getSource() |
java.lang.Object |
getTarget() |
Trace |
getTrace() |
int |
hashCode() |
static Param2containmentMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static Param2containmentMatch |
newMatch(java.lang.Object pSource,
java.lang.Object pTarget,
Trace pTrace,
Containment pContainment)
Returns a new (partial) match.
|
static Param2containmentMatch |
newMutableMatch(java.lang.Object pSource,
java.lang.Object pTarget,
Trace pTrace,
Containment pContainment)
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 |
setContainment(Containment pContainment) |
void |
setSource(java.lang.Object pSource) |
void |
setTarget(java.lang.Object pTarget) |
void |
setTrace(Trace pTrace) |
Param2containmentQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
Param2containmentMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public java.lang.Object getSource()
public java.lang.Object getTarget()
public Trace getTrace()
public Containment getContainment()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setSource(java.lang.Object pSource)
public void setTarget(java.lang.Object pTarget)
public void setTrace(Trace pTrace)
public void setContainment(Containment pContainment)
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 Param2containmentMatch 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 Param2containmentQuerySpecification specification()
public static Param2containmentMatch newEmptyMatch()
public static Param2containmentMatch newMutableMatch(java.lang.Object pSource, java.lang.Object pTarget, Trace pTrace, Containment pContainment)
pSource
- the fixed value of pattern parameter source, 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.pContainment
- the fixed value of pattern parameter containment, or null if not bound.public static Param2containmentMatch newMatch(java.lang.Object pSource, java.lang.Object pTarget, Trace pTrace, Containment pContainment)
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.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.pContainment
- the fixed value of pattern parameter containment, or null if not bound.