public abstract class RedefinableElementRedefinitionContextMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch
RedefinableElementRedefinitionContextMatcher
.
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.
RedefinableElementRedefinitionContextMatcher
,
RedefinableElementRedefinitionContextProcessor
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Object |
get(java.lang.String parameterName) |
org.eclipse.uml2.uml.RedefinableElement |
getSource() |
org.eclipse.uml2.uml.Classifier |
getTarget() |
int |
hashCode() |
static RedefinableElementRedefinitionContextMatch |
newEmptyMatch()
Returns an empty, mutable match.
|
static RedefinableElementRedefinitionContextMatch |
newMatch(org.eclipse.uml2.uml.RedefinableElement pSource,
org.eclipse.uml2.uml.Classifier pTarget)
Returns a new (partial) match.
|
static RedefinableElementRedefinitionContextMatch |
newMutableMatch(org.eclipse.uml2.uml.RedefinableElement pSource,
org.eclipse.uml2.uml.Classifier pTarget)
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 |
setSource(org.eclipse.uml2.uml.RedefinableElement pSource) |
void |
setTarget(org.eclipse.uml2.uml.Classifier pTarget) |
RedefinableElementRedefinitionContextQuerySpecification |
specification() |
java.lang.Object[] |
toArray() |
RedefinableElementRedefinitionContextMatch |
toImmutable() |
public java.lang.Object get(java.lang.String parameterName)
public org.eclipse.uml2.uml.RedefinableElement getSource()
public org.eclipse.uml2.uml.Classifier getTarget()
public boolean set(java.lang.String parameterName, java.lang.Object newValue)
public void setSource(org.eclipse.uml2.uml.RedefinableElement pSource)
public void setTarget(org.eclipse.uml2.uml.Classifier pTarget)
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 RedefinableElementRedefinitionContextMatch 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 RedefinableElementRedefinitionContextQuerySpecification specification()
public static RedefinableElementRedefinitionContextMatch newEmptyMatch()
public static RedefinableElementRedefinitionContextMatch newMutableMatch(org.eclipse.uml2.uml.RedefinableElement pSource, org.eclipse.uml2.uml.Classifier pTarget)
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.public static RedefinableElementRedefinitionContextMatch newMatch(org.eclipse.uml2.uml.RedefinableElement pSource, org.eclipse.uml2.uml.Classifier pTarget)
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.