Examples with SetBGoalCommand de.prob.animator.command.SetBGoalCommand used on opensource projects

Example 1 with SetBGoalCommand

use of de.prob.animator.command.SetBGoalCommand in project prob2 by bendisposto.

the class ConsistencyChecker method call.

@Override
public IModelCheckingResult call() throws Exception {
    long time = System.currentTimeMillis();
    if (goal != null) {
        try {
            SetBGoalCommand cmd = new SetBGoalCommand(goal);
            s.execute(cmd);
        } catch (ProBError e) {
            return new CheckError("Type error in specified goal.");
        }
    }
    // When goal is undefined, isFinished will be executed anyways
    s.execute(job);
    IModelCheckingResult result = job.getResult();
    if (ui != null) {
        ui.isFinished(jobId, System.currentTimeMillis() - time, result, job.getStats());
    }
    return result;
}