public class GenericTracedPQuery extends GenericReferencedPQuery
pattern baseQuery<referenced><traced>(<base parameters>, <referenced parameters>, <trace>)Required to select matches based on the notification of the Trace object.
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TRACE_PARAMETER |
Constructor and Description |
---|
GenericTracedPQuery(GenericReferencedPQuery referencedQuery) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getFullyQualifiedName() |
void |
setTraceabilityId(java.lang.String id) |
getParameters, getReferenceParameters, getReferenceSources, getTraceabilityId
checkMutability, ensureInitialized, ensureInitializedSneaky, getAllAnnotations, getAllReferredQueries, getAnnotationsByName, getDirectReferredQueries, getDisjunctBodies, getEvaluationHints, getFirstAnnotationByName, getParameterNames, getPositionOfParameter, getPProblems, getStatus, getTypeGuarantees, isMutable, publishedAs
public static final java.lang.String TRACE_PARAMETER
public GenericTracedPQuery(GenericReferencedPQuery referencedQuery) throws org.eclipse.viatra.query.runtime.matchers.psystem.queries.QueryInitializationException
org.eclipse.viatra.query.runtime.matchers.psystem.queries.QueryInitializationException
public java.lang.String getFullyQualifiedName()
getFullyQualifiedName
in interface org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQueryHeader
getFullyQualifiedName
in class GenericReferencedPQuery
public void setTraceabilityId(java.lang.String id)