public interface IDebuggerHostEndpoint
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getID() |
void |
terminated() |
void |
transformationStateChanged(TransformationState state) |
java.lang.String getID()
void transformationStateChanged(TransformationState state)
void terminated() throws ViatraDebuggerException
ViatraDebuggerException