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