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

Example 1 with ActivateUnitPluginCommand

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

the class UnitAnalysis method run.

public CompoundPrologTerm run(final String filename) throws IOException, ModelTranslationError {
    StateSpace s = api.eventb_load(filename);
    final ActivateUnitPluginCommand activatePlugin = new ActivateUnitPluginCommand();
    GetPluginResultCommand pluginResultCommand = new GetPluginResultCommand("Grounded Result State");
    s.execute(activatePlugin, pluginResultCommand);
    return pluginResultCommand.getResult();
}