Examples with EventBMachine de.prob.model.eventb.EventBMachine used on opensource projects

Example 6 with EventBMachine

use of de.prob.model.eventb.EventBMachine in project prob2 by bendisposto.

the class EventBModelTranslator method extractMachineHierarchy.

public List<EventBMachine> extractMachineHierarchy(final AbstractElement mainComponent, EventBModel model) {
    if (mainComponent instanceof Context) {
        return Collections.emptyList();
    }
    List<EventBMachine> machines = new ArrayList<>();
    if (mainComponent instanceof EventBMachine) {
        EventBMachine machine = (EventBMachine) mainComponent;
        machines.add(machine);
        machines.addAll(extractMachines(machine, model));
    }
    return machines;
}