org.eclipse.viatra.transformation.tracer.activationcoder

Interface IActivationCoder

All Known Implementing Classes:

DefaultActivationCoder

public interface IActivationCoder

Interface that defines methods for for creating traces based on individual rule activations.

Method Summary

Methods

Modifier and Type	Method and Description
ActivationTrace	createActivationCode(org.eclipse.viatra.transformation.evm.api.Activation<?> activation)

Method Detail

createActivationCode

ActivationTrace createActivationCode(org.eclipse.viatra.transformation.evm.api.Activation<?> activation)