org.eclipse.viatra.transformation.tracer.traceexecutor

Class TraceExecutor

java.lang.Object

org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter

org.eclipse.viatra.transformation.tracer.traceexecutor.TraceExecutor

All Implemented Interfaces:

org.eclipse.viatra.transformation.evm.api.adapter.IEVMAdapter

public class TraceExecutor
extends org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter

Adapter implementation that loads transformation traces and executes the transformation according to them

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	TraceExecutor.TraceExecutorConflictSet
class	TraceExecutor.TraceExecutorIterator

Constructor Summary

Constructors

Constructor and Description
TraceExecutor(IActivationCoder activationCoder, ITraceModelSerializer serializer)
TraceExecutor(IActivationCoder activationCoder, org.eclipse.emf.common.util.URI location)
TraceExecutor(org.eclipse.emf.common.util.URI location)

Method Summary

Methods

Modifier and Type	Method and Description
org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet	getConflictSet(org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet set)
java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>>	getExecutableActivations(java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> iterator)

Methods inherited from class java.lang.Object

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

Constructor Detail

TraceExecutor

public TraceExecutor(IActivationCoder activationCoder,
             ITraceModelSerializer serializer)

TraceExecutor

public TraceExecutor(IActivationCoder activationCoder,
             org.eclipse.emf.common.util.URI location)

TraceExecutor

public TraceExecutor(org.eclipse.emf.common.util.URI location)

Method Detail

getConflictSet

public org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet getConflictSet(org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet set)

Specified by:

getConflictSet in interface org.eclipse.viatra.transformation.evm.api.adapter.IEVMAdapter

Overrides:

getConflictSet in class org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter

getExecutableActivations

public java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> getExecutableActivations(java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> iterator)

Specified by:

getExecutableActivations in interface org.eclipse.viatra.transformation.evm.api.adapter.IEVMAdapter

Overrides:

getExecutableActivations in class org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter