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

Class Trace2objectQuerySpecification

java.lang.Object

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

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

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

All Implemented Interfaces:

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

public final class Trace2objectQuerySpecification
extends org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification<Trace2objectMatcher>

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

See Also:

Trace2objectMatcher, Trace2objectMatch

Method Summary

Methods

Modifier and Type	Method and Description
static Trace2objectQuerySpecification	instance()
Trace2objectMatch	newEmptyMatch()
Trace2objectMatch	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 Trace2objectQuerySpecification 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 Trace2objectMatch newEmptyMatch()

newMatch

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