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

Interface IEVMListener

All Known Implementing Classes:

AbstractEVMListener, TraceCoder

public interface IEVMListener

Interface that defines the methods of EVM listener objects. The interface contains callback methods for various EVM events. Through these methods IEVMListener implementations can observe the internal state of an EVM program.

Method Summary

Modifier and Type	Method and Description
void	activationChanged(Activation<?> activation, ActivationState oldState, EventType event)
void	activationCreated(Activation<?> activation, ActivationState inactiveState)
void	activationRemoved(Activation<?> activation, ActivationState oldState)
void	addedRule(RuleSpecification<?> specification, EventFilter<?> filter)
void	afterFiring(Activation<?> activation)
void	beforeFiring(Activation<?> activation)
void	disposeListener()
void	endTransaction(java.lang.String transactionID)
void	initializeListener(ViatraQueryEngine engine)
void	removedRule(RuleSpecification<?> specification, EventFilter<?> filter)
void	startTransaction(java.lang.String transactionID)

Method Detail

initializeListener

void initializeListener(ViatraQueryEngine engine)

beforeFiring

void beforeFiring(Activation<?> activation)

afterFiring

void afterFiring(Activation<?> activation)

startTransaction

void startTransaction(java.lang.String transactionID)

endTransaction

void endTransaction(java.lang.String transactionID)

activationChanged

void activationChanged(Activation<?> activation,
                       ActivationState oldState,
                       EventType event)

activationCreated

void activationCreated(Activation<?> activation,
                       ActivationState inactiveState)

activationRemoved

void activationRemoved(Activation<?> activation,
                       ActivationState oldState)

addedRule

void addedRule(RuleSpecification<?> specification,
               EventFilter<?> filter)

removedRule

void removedRule(RuleSpecification<?> specification,
                 EventFilter<?> filter)

disposeListener

void disposeListener()