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

Example 1 with CastExpr

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

the class AgreeASTBuilder method caseFloorCast.

@Override
public Expr caseFloorCast(FloorCast floor) {
    Expr expr = doSwitch(floor.getExpr());
    Expr castExpr = new CastExpr(NamedType.INT, expr);
    return castExpr;
}

Example 2 with CastExpr

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

the class AgreeASTBuilder method caseRealCast.

@Override
public Expr caseRealCast(RealCast real) {
    Expr expr = doSwitch(real.getExpr());
    Expr castExpr = new CastExpr(NamedType.REAL, expr);
    return castExpr;
}