Examples with InitialStateExistsCheckingResult de.bmoth.checkers.initialstateexists.InitialStateExistsCheckingResult used on opensource projects

Example 1 with InitialStateExistsCheckingResult

use of de.bmoth.checkers.initialstateexists.InitialStateExistsCheckingResult 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());
    }
}