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

Example 1 with ADeferredSetSet

use of de.be4.classicalb.core.parser.node.ADeferredSetSet 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);
}