public abstract class SameBooleanTransitionTypeMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
SameBooleanTransitionTypeMatcher
.
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.
SameBooleanTransitionTypeMatcher
,
SameBooleanTransitionTypeProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
TypedTransition |
getTransition1() |
TypedTransition |
getTransition2() |
int |
hashCode() |
static SameBooleanTransitionTypeMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static SameBooleanTransitionTypeMatch |
newMatch(TypedTransition pTransition1,
TypedTransition pTransition2)
Returns a new (partial) match.
|
static SameBooleanTransitionTypeMatch |
newMutableMatch(TypedTransition pTransition1,
TypedTransition pTransition2)
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 |
setTransition1(TypedTransition pTransition1) |
void |
setTransition2(TypedTransition pTransition2) |
SameBooleanTransitionTypeQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
SameBooleanTransitionTypeMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public TypedTransition getTransition1()
public TypedTransition getTransition2()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setTransition1(TypedTransition pTransition1)
public void setTransition2(TypedTransition pTransition2)
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 SameBooleanTransitionTypeMatch 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 SameBooleanTransitionTypeQuerySpecification specification()
public static SameBooleanTransitionTypeMatch newEmptyMatch()
public static SameBooleanTransitionTypeMatch newMutableMatch(TypedTransition pTransition1, TypedTransition pTransition2)
pTransition1
- the fixed value of pattern parameter transition1, or null if not bound.pTransition2
- the fixed value of pattern parameter transition2, or null if not bound.public static SameBooleanTransitionTypeMatch newMatch(TypedTransition pTransition1, TypedTransition pTransition2)
The returned match will be immutable. Use newEmptyMatch()
to obtain a mutable match object.
pTransition1
- the fixed value of pattern parameter transition1, or null if not bound.pTransition2
- the fixed value of pattern parameter transition2, or null if not bound.