Examples with ExplodedSet org.btrplace.safeplace.spec.term.ExplodedSet used on opensource projects

Example 1 with ExplodedSet

use of org.btrplace.safeplace.spec.term.ExplodedSet in project scheduler by btrplace.

the class MyCstrSpecVisitor method visitSetInExtension.

@Override
public ExplodedSet visitSetInExtension(@NotNull CstrSpecParser.SetInExtensionContext ctx) {
    List<Term> s = new ArrayList<>();
    Type ty = null;
    for (CstrSpecParser.TermContext t : ctx.term()) {
        Term<?> tr = (Term<?>) visit(t);
        if (ty == null) {
            ty = tr.type();
        }
        assertEqualsTypes(t.getStart(), ty, tr.type());
        s.add(tr);
    }
    return new ExplodedSet(s, ty);
}