org.eclipse.viatra.integration.uml.derivedfeatures

Class RedefinableElementRedefinedElementMatch

java.lang.Object

org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch

org.eclipse.viatra.integration.uml.derivedfeatures.RedefinableElementRedefinedElementMatch

All Implemented Interfaces:

java.lang.Cloneable, org.eclipse.viatra.query.runtime.api.IPatternMatch

public abstract class RedefinableElementRedefinedElementMatch
extends org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch

Pattern-specific match representation of the org.eclipse.viatra.integration.uml.derivedfeatures.redefinableElementRedefinedElement pattern, to be used in conjunction with RedefinableElementRedefinedElementMatcher.

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.

See Also:

RedefinableElementRedefinedElementMatcher, RedefinableElementRedefinedElementProcessor

Method Summary

Methods

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.RedefinableElement	getTarget()
int	hashCode()
static RedefinableElementRedefinedElementMatch	newEmptyMatch() Returns an empty, mutable match.
static RedefinableElementRedefinedElementMatch	newMatch(org.eclipse.uml2.uml.RedefinableElement pSource, org.eclipse.uml2.uml.RedefinableElement pTarget) Returns a new (partial) match.
static RedefinableElementRedefinedElementMatch	newMutableMatch(org.eclipse.uml2.uml.RedefinableElement pSource, org.eclipse.uml2.uml.RedefinableElement 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.RedefinableElement pTarget)
RedefinableElementRedefinedElementQuerySpecification	specification()
java.lang.Object[]	toArray()
RedefinableElementRedefinedElementMatch	toImmutable()

Methods inherited from class org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch

get, isCompatibleWith, prettyPrintFeature, prettyPrintValue, set, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.viatra.query.runtime.api.IPatternMatch

isMutable

Method Detail

get

public java.lang.Object get(java.lang.String parameterName)

getSource

public org.eclipse.uml2.uml.RedefinableElement getSource()

getTarget

public org.eclipse.uml2.uml.RedefinableElement getTarget()

set

public boolean set(java.lang.String parameterName,
          java.lang.Object newValue)

setSource

public void setSource(org.eclipse.uml2.uml.RedefinableElement pSource)

setTarget

public void setTarget(org.eclipse.uml2.uml.RedefinableElement pTarget)

patternName

public java.lang.String patternName()

Specified by:

patternName in interface org.eclipse.viatra.query.runtime.api.IPatternMatch

Overrides:

patternName in class org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch

parameterNames

public java.util.List<java.lang.String> parameterNames()

Specified by:

parameterNames in interface org.eclipse.viatra.query.runtime.api.IPatternMatch

Overrides:

parameterNames in class org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch

toArray

public java.lang.Object[] toArray()

toImmutable

public RedefinableElementRedefinedElementMatch toImmutable()

prettyPrint

public java.lang.String prettyPrint()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

specification

public RedefinableElementRedefinedElementQuerySpecification specification()

newEmptyMatch

public static RedefinableElementRedefinedElementMatch newEmptyMatch()

Returns an empty, mutable match. Fields of the mutable match can be filled to create a partial match, usable as matcher input.

Returns:

the empty match.

newMutableMatch

public static RedefinableElementRedefinedElementMatch newMutableMatch(org.eclipse.uml2.uml.RedefinableElement pSource,
                                                      org.eclipse.uml2.uml.RedefinableElement pTarget)

Returns a mutable (partial) match. Fields of the mutable match can be filled to create a partial match, usable as matcher input.

Parameters:

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.

Returns:

the new, mutable (partial) match object.

newMatch

public static RedefinableElementRedefinedElementMatch newMatch(org.eclipse.uml2.uml.RedefinableElement pSource,
                                               org.eclipse.uml2.uml.RedefinableElement pTarget)

Returns a new (partial) match. This can be used e.g. to call the matcher with a partial match.

The returned match will be immutable. Use newEmptyMatch() to obtain a mutable match object.

Parameters:

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.

Returns:

the (partial) match object.