Examples with ASeesModelClause de.be4.classicalb.core.parser.node.ASeesModelClause used on opensource projects

Example 1 with ASeesModelClause

use of de.be4.classicalb.core.parser.node.ASeesModelClause in project prob2 by bendisposto.

the class EventBMachineTranslator method processContexts.

private ASeesModelClause processContexts() {
    List<Context> sees = machine.getSees();
    List<TIdentifierLiteral> contextNames = new ArrayList<>();
    for (Context context : sees) {
        contextNames.add(new TIdentifierLiteral(context.getName()));
    }
    return new ASeesModelClause(contextNames);
}