org.eclipse.viatra.transformation.views.traceability.patterns.util

Class Trace2targetQuerySpecification

java.lang.Object

org.eclipse.viatra.query.runtime.api.impl.BaseQuerySpecification<Matcher>

org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification<Trace2targetMatcher>

org.eclipse.viatra.transformation.views.traceability.patterns.util.Trace2targetQuerySpecification

All Implemented Interfaces:

org.eclipse.viatra.query.runtime.api.IQuerySpecification<Trace2targetMatcher>, org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQueryHeader

public final class Trace2targetQuerySpecification
extends org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification<Trace2targetMatcher>

A pattern-specific query specification that can instantiate Trace2targetMatcher in a type-safe way.

See Also:

Trace2targetMatcher, Trace2targetMatch

Method Summary

Methods

Modifier and Type	Method and Description
static Trace2targetQuerySpecification	instance()
Trace2targetMatch	newEmptyMatch()
Trace2targetMatch	newMatch(java.lang.Object... parameters)

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

getPreferredScopeClass

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

getAllAnnotations, getAnnotationsByName, getFirstAnnotationByName, getFullyQualifiedName, getInternalQueryRepresentation, getMatcher, getParameterNames, getParameters, getPositionOfParameter

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

instance

public static Trace2targetQuerySpecification instance()
                                               throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException

Returns:

the singleton instance of the query specification

Throws:

org.eclipse.viatra.query.runtime.exception.ViatraQueryException - if the pattern definition could not be loaded

newEmptyMatch

public Trace2targetMatch newEmptyMatch()

newMatch

public Trace2targetMatch newMatch(java.lang.Object... parameters)