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

Example 1 with ListBuilder

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

the class MyCstrSpecVisitor method visitListInComprehension.

@Override
public ListBuilder<?> visitListInComprehension(@NotNull CstrSpecParser.ListInComprehensionContext ctx) {
    // Get the binder
    List<UserVar<?>> v = visitTypedef(ctx.typedef());
    Proposition p = Proposition.True;
    if (ctx.COMMA() != null) {
        p = (Proposition) visit(ctx.formula());
    }
    Term<?> t = (Term<?>) visit(ctx.term());
    return new ListBuilder<>(t, v.get(0), p);
}