public interface IDebugController
TransformationDebugListener
class, to inform the user about the
transformation context, and receive user input.Modifier and Type | Method and Description |
---|---|
void |
displayConflictingActivations(java.util.Set<org.eclipse.viatra.transformation.evm.api.Activation<?>> activations) |
void |
displayTransformationContext(org.eclipse.viatra.transformation.evm.api.Activation<?> act) |
DebuggerActions |
getDebuggerAction() |
org.eclipse.viatra.transformation.evm.api.Activation<?> |
getSelectedActivation() |
void displayTransformationContext(org.eclipse.viatra.transformation.evm.api.Activation<?> act)
void displayConflictingActivations(java.util.Set<org.eclipse.viatra.transformation.evm.api.Activation<?>> activations)
DebuggerActions getDebuggerAction()
org.eclipse.viatra.transformation.evm.api.Activation<?> getSelectedActivation()