use of de.bmoth.eventbus.ErrorEvent in project bmoth by hhu-stups.
the class AppView method handleInitialStateExists.
// </editor-fold>
public void handleInitialStateExists() {
if (codeArea.getText().replaceAll("\\s+", "").length() > 0) {
if (hasChanged || machineNode == null) {
handleSave();
try {
machineNode = Parser.getMachineAsSemanticAst(codeArea.getText());
} catch (ParserException e) {
EventBus eventBus = EventBusProvider.getInstance().getEventBus();
eventBus.post(new ErrorEvent("Parse error", e.toString(), e));
return;
}
}
InitialStateExistsCheckingResult result = InitialStateExistsChecker.doInitialStateExistsCheck(machineNode);
showResultAlert(result.getResult());
}
}
Aggregations