private void handleWrappedException(WrappedException ex) {
Status errorStatus =
new Status(
Status.ERROR,
Activator.PLUGIN_ID,
ERROR_DURING_SIMULATION,
ex.getCause().getMessage(),
ex.getCause());
IStatusHandler statusHandler = DebugPlugin.getDefault().getStatusHandler(errorStatus);
try {
statusHandler.handleStatus(errorStatus, getDebugTarget());
interpreter.suspend();
interpreter.tearDown();
} catch (CoreException e) {
e.printStackTrace();
}
}
public void terminate() {
terminated = true;
interpreter.tearDown();
}
