public class ConsoleDebugger extends java.lang.Object implements IDebugController
Constructor and Description |
---|
ConsoleDebugger() |
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() |
public void displayConflictingActivations(java.util.Set<org.eclipse.viatra.transformation.evm.api.Activation<?>> activations)
displayConflictingActivations
in interface IDebugController
public void displayTransformationContext(org.eclipse.viatra.transformation.evm.api.Activation<?> act)
displayTransformationContext
in interface IDebugController
public DebuggerActions getDebuggerAction()
getDebuggerAction
in interface IDebugController
public org.eclipse.viatra.transformation.evm.api.Activation<?> getSelectedActivation()
getSelectedActivation
in interface IDebugController