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

Example 21 with NodeCallExpr

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

the class AgreeMakeClockedLustreNodes method visit.

@Override
public Expr visit(NodeCallExpr e) {
    // check to see if we have already made a clocked version of this node
    Node clockedNode = getClockedNode(e.node);
    List<Expr> argList = new ArrayList<>();
    argList.add(new IdExpr(clockVarName));
    argList.add(new IdExpr(initVarName));
    argList.addAll(e.args);
    return new NodeCallExpr(clockedNode.id, acceptList(argList));
}