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 IDebugControllerpublic void displayTransformationContext(org.eclipse.viatra.transformation.evm.api.Activation<?> act)
displayTransformationContext in interface IDebugControllerpublic DebuggerActions getDebuggerAction()
getDebuggerAction in interface IDebugControllerpublic org.eclipse.viatra.transformation.evm.api.Activation<?> getSelectedActivation()
getSelectedActivation in interface IDebugController