public void visit( Configuration conf, Statement s, Consumer<Statement> fs, Consumer<BooleanExpr> fe) { fs.accept(s); if (s instanceof If) { If i = (If) s; visit(conf, i.getGuard(), fs, fe); visit(conf, i.getTrueStatements(), fs, fe); visit(conf, i.getFalseStatements(), fs, fe); } else if (s instanceof SetDefaultPolicy) { SetDefaultPolicy p = (SetDefaultPolicy) s; RoutingPolicy rp = conf.getRoutingPolicies().get(p.getDefaultPolicy()); visit(conf, rp.getStatements(), fs, fe); } }
List<BooleanExpr> conjuncts = new ArrayList<>(d.getSubroutines()); if (pCur.getDefaultPolicy() != null) { BooleanExpr be = new CallExpr(pCur.getDefaultPolicy().getDefaultPolicy()); conjuncts.add(be); List<BooleanExpr> disjuncts = new ArrayList<>(d.getSubroutines()); if (pCur.getDefaultPolicy() != null) { BooleanExpr be = new CallExpr(pCur.getDefaultPolicy().getDefaultPolicy()); disjuncts.add(be);
List<BooleanExpr> conjuncts = new ArrayList<>(d.getSubroutines()); if (p.getDefaultPolicy() != null) { BooleanExpr be = new CallExpr(p.getDefaultPolicy().getDefaultPolicy()); conjuncts.add(be); List<BooleanExpr> disjuncts = new ArrayList<>(d.getSubroutines()); if (p.getDefaultPolicy() != null) { BooleanExpr be = new CallExpr(p.getDefaultPolicy().getDefaultPolicy()); disjuncts.add(be);