Examples with CondactExpr jkind.lustre.CondactExpr used on opensource projects

Example 6 with CondactExpr

use of jkind.lustre.CondactExpr in project AGREE by loonwerks.

the class IdGatherer method visit.

@Override
public Set<String> visit(CondactExpr e) {
    Set<String> ids = new HashSet<>();
    for (Expr expr : e.args) {
        ids.addAll(expr.accept(this));
    }
    ids.addAll(e.call.accept(this));
    ids.addAll(e.clock.accept(this));
    return ids;
}

Example 7 with CondactExpr

use of jkind.lustre.CondactExpr in project AGREE by loonwerks.

the class PrettyPrintVisitor method visit.

@Override
public Void visit(CondactExpr e) {
    write("condact(");
    expr(e.clock);
    write(", ");
    expr(e.call);
    for (Expr arg : e.args) {
        write(", ");
        expr(arg);
    }
    write(")");
    return null;
}