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

Example 1 with ASetsContextClause

use of de.be4.classicalb.core.parser.node.ASetsContextClause in project probparsers by bendisposto.

the class MachineContext method caseASetsContextClause.

@Override
public void caseASetsContextClause(ASetsContextClause node) {
    this.setsMachineClause = node;
    List<PSet> copy = new ArrayList<PSet>(node.getSet());
    for (PSet e : copy) {
        e.apply(this);
    }
}

Example 2 with ASetsContextClause

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

the class ContextTranslator method processSets.

private ASetsContextClause processSets() {
    List<PSet> sets = new ArrayList<>();
    for (Set bSet : context.getSets()) {
        List<TIdentifierLiteral> names = new ArrayList<>();
        names.add(new TIdentifierLiteral(bSet.getName()));
        sets.add(new ADeferredSetSet(names));
    }
    return new ASetsContextClause(sets);
}