Examples with PrevExpr com.rockwellcollins.atc.agree.agree.PrevExpr used on opensource projects

Example 1 with PrevExpr

use of com.rockwellcollins.atc.agree.agree.PrevExpr in project AGREE by loonwerks.

the class AgreeASTBuilder method casePrevExpr.

@Override
public Expr casePrevExpr(PrevExpr expr) {
    Expr delayExpr = doSwitch(expr.getDelay());
    Expr initExpr = doSwitch(expr.getInit());
    Expr preExpr = new UnaryExpr(UnaryOp.PRE, delayExpr);
    Expr res = new BinaryExpr(initExpr, BinaryOp.ARROW, preExpr);
    return res;
}