org.eclipse.viatra.transformation.tracer.tracecoder

Class TraceCoder

java.lang.Object

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

org.eclipse.viatra.transformation.tracer.tracecoder.TraceCoder

All Implemented Interfaces:

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

public class TraceCoder
extends org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMListener

Adapter implementation that creates transformation traces based on the ongoing transformation.

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	beforeFiring(org.eclipse.viatra.transformation.evm.api.Activation<?> activation)
void	endTransaction(java.lang.String transactionID)

Methods inherited from class org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMListener

activationChanged, activationCreated, activationRemoved, addedRule, afterFiring, disposeListener, initializeListener, removedRule, startTransaction

Methods inherited from class java.lang.Object

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

Constructor Detail

TraceCoder

public TraceCoder(IActivationCoder activationCoder,
          ITraceModelSerializer serializer)

TraceCoder

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

TraceCoder

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

Method Detail

beforeFiring

public void beforeFiring(org.eclipse.viatra.transformation.evm.api.Activation<?> activation)

Specified by:

beforeFiring in interface org.eclipse.viatra.transformation.evm.api.adapter.IEVMListener

Overrides:

beforeFiring in class org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMListener

endTransaction

public void endTransaction(java.lang.String transactionID)

Specified by:

endTransaction in interface org.eclipse.viatra.transformation.evm.api.adapter.IEVMListener

Overrides:

endTransaction in class org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMListener