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

Example 1 with FoldRightExpr

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

the class AgreeASTBuilder method caseFoldRightExpr.

@Override
public Expr caseFoldRightExpr(FoldRightExpr expr) {
    AgreeTypeSystem.TypeDef agreeType = AgreeTypeSystem.infer(expr.getArray());
    int size = 0;
    if (agreeType instanceof AgreeTypeSystem.ArrayTypeDef) {
        size = ((AgreeTypeSystem.ArrayTypeDef) agreeType).size;
    } else {
        throw new AgreeException("ERROR: caseFoldRightExpr");
    }
    Expr array = doSwitch(expr.getArray());
    Expr accExpr = doSwitch(expr.getInitial());
    NamedID binding = expr.getBinding();
    NamedID accBinding = expr.getAccumulator();
    for (int i = size - 1; i >= 0; i--) {
        Expr arrayAccess = new ArrayAccessExpr(array, i);
        accExpr = doSwitch(expr.getExpr()).accept(new SubstitutionVisitor(binding.getName(), arrayAccess)).accept(new SubstitutionVisitor(accBinding.getName(), accExpr));
    }
    return accExpr;
}