public final class Helpers
extends org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup
Use the static instance as any org.eclipse.viatra.query.runtime.api.IPatternGroup
, to conveniently prepare
a VIATRA Query engine for matching all patterns originally defined in file helpers.vql,
in order to achieve better performance than one-by-one on-demand matcher initialization.
From package org.eclipse.viatra.transformation.views.traceability.patterns, the group contains the definition of the following patterns:
IPatternGroup
Modifier and Type | Method and Description |
---|---|
EmptyTraceQuerySpecification |
getEmptyTrace() |
EmptyTraceMatcher |
getEmptyTrace(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
Param2targetQuerySpecification |
getParam2target() |
Param2targetMatcher |
getParam2target(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
TraceQuerySpecification |
getTrace() |
TraceMatcher |
getTrace(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
Trace2objectQuerySpecification |
getTrace2object() |
Trace2objectMatcher |
getTrace2object(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
Trace2paramQuerySpecification |
getTrace2param() |
Trace2paramMatcher |
getTrace2param(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
Trace2targetQuerySpecification |
getTrace2target() |
Trace2targetMatcher |
getTrace2target(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
static Helpers |
instance()
Access the pattern group.
|
public static Helpers instance() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
- if there was an error loading the generated code of pattern specificationspublic EmptyTraceQuerySpecification getEmptyTrace() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public EmptyTraceMatcher getEmptyTrace(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public Trace2targetQuerySpecification getTrace2target() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public Trace2targetMatcher getTrace2target(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public Trace2paramQuerySpecification getTrace2param() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public Trace2paramMatcher getTrace2param(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public Trace2objectQuerySpecification getTrace2object() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public Trace2objectMatcher getTrace2object(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public Param2targetQuerySpecification getParam2target() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public Param2targetMatcher getParam2target(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public TraceQuerySpecification getTrace() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public TraceMatcher getTrace(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException