public final class ViewerTraceabilityUtil
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.util.Collection<Containment> |
deleteTracesAndContainments(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine,
java.lang.Object source,
java.lang.Object target) |
static java.util.Collection<Edge> |
deleteTracesAndEdges(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine,
java.lang.Object source,
java.lang.Object target) |
static java.util.Collection<Item> |
deleteTracesAndItems(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine,
java.lang.Object source) |
static java.util.Collection<Containment> |
traceTocontainment(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine,
java.lang.Object source,
java.lang.Object target) |
static java.util.Collection<Edge> |
traceToEdge(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine,
java.lang.Object source,
java.lang.Object target) |
static java.util.Collection<Item> |
traceToItem(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine,
java.lang.Object source) |
public static java.util.Collection<Item> traceToItem(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine, java.lang.Object source)
public static java.util.Collection<Edge> traceToEdge(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine, java.lang.Object source, java.lang.Object target)
public static java.util.Collection<Containment> traceTocontainment(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine, java.lang.Object source, java.lang.Object target)
public static java.util.Collection<Item> deleteTracesAndItems(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine, java.lang.Object source)
public static java.util.Collection<Edge> deleteTracesAndEdges(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine, java.lang.Object source, java.lang.Object target)
public static java.util.Collection<Containment> deleteTracesAndContainments(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine, java.lang.Object source, java.lang.Object target)