org.eclipse.viatra.transformation.views.traceablilty.generic

Class GenericTracedPQuery

java.lang.Object

org.eclipse.viatra.query.runtime.matchers.psystem.queries.BasePQuery

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

org.eclipse.viatra.transformation.views.traceablilty.generic.GenericReferencedPQuery

org.eclipse.viatra.transformation.views.traceablilty.generic.GenericTracedPQuery

All Implemented Interfaces:

PTraceable, PQuery, PQueryHeader

public class GenericTracedPQuery
extends GenericReferencedPQuery

This PQuery class defines an extended query for the given referenced query with the additional trace object.

pattern baseQuery<referenced><traced>(<base parameters>, <referenced parameters>, <trace>)

Required to select matches based on the notification of the Trace object.

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQuery

PQuery.PQueryStatus

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	TRACE_PARAMETER

Fields inherited from class org.eclipse.viatra.transformation.views.traceablilty.generic.GenericReferencedPQuery

singleUseCounter

Fields inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.queries.BasePQuery

pProblems, status

Constructor Summary

Constructors

Constructor and Description
GenericTracedPQuery(GenericReferencedPQuery referencedQuery)

Method Summary

Modifier and Type	Method and Description
protected java.util.Set<PBody>	doGetContainedBodies() Creates and returns the bodies of the query.
java.lang.String	getFullyQualifiedName() Identifies the pattern for which matchers can be instantiated.
java.util.List<PParameter>	getParameters() Returns a list of parameter descriptions
void	setTraceabilityId(java.lang.String id)

Methods inherited from class org.eclipse.viatra.transformation.views.traceablilty.generic.GenericReferencedPQuery

getBaseParameters, getClassifierLiteral, getReferenceParameters, getReferenceSources, getTraceabilityId

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

getClassifierLiteralSafe, getEnumLiteral, getFeatureLiteral, processDependencyException

Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.queries.BasePQuery

addAnnotation, addError, checkMutability, ensureInitialized, ensureInitializedSneaky, getAllAnnotations, getAllReferredQueries, getAnnotationsByName, getDirectReferredQueries, getDisjunctBodies, getEvaluationHints, getFirstAnnotationByName, getParameterNames, getPositionOfParameter, getPProblems, getStatus, getTypeGuarantees, isMutable, publishedAs, setBodies, setEvaluationHints, setStatus, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

TRACE_PARAMETER

public static final java.lang.String TRACE_PARAMETER

See Also:

Constant Field Values

Constructor Detail

GenericTracedPQuery

public GenericTracedPQuery(GenericReferencedPQuery referencedQuery)
                    throws QueryInitializationException

Throws:

QueryInitializationException

Method Detail

doGetContainedBodies

protected java.util.Set<PBody> doGetContainedBodies()
                                             throws QueryInitializationException

Description copied from class: BasePQuery

Creates and returns the bodies of the query. If recalled again, a new instance is created.

Overrides:

doGetContainedBodies in class GenericReferencedPQuery

Returns:

Throws:

QueryInitializationException

getParameters

public java.util.List<PParameter> getParameters()

Description copied from interface: PQueryHeader

Returns a list of parameter descriptions

Specified by:

getParameters in interface PQueryHeader

Overrides:

getParameters in class GenericReferencedPQuery

Returns:

a non-null, but possibly empty list of parameter descriptions

getFullyQualifiedName

public java.lang.String getFullyQualifiedName()

Description copied from interface: PQueryHeader

Identifies the pattern for which matchers can be instantiated.

Specified by:

getFullyQualifiedName in interface PQueryHeader

Overrides:

getFullyQualifiedName in class GenericReferencedPQuery

setTraceabilityId

public void setTraceabilityId(java.lang.String id)