public class DefaultActivationCoder extends java.lang.Object implements IActivationCoder
Constructor and Description |
---|
DefaultActivationCoder() |
Modifier and Type | Method and Description |
---|---|
ActivationTrace |
createActivationCode(org.eclipse.viatra.transformation.evm.api.Activation<?> activation) |
public ActivationTrace createActivationCode(org.eclipse.viatra.transformation.evm.api.Activation<?> activation)
createActivationCode
in interface IActivationCoder