@Override public void visit(IfStmt n, Void arg) { out.println("IfStmt: " + (extended ? n : n.getCondition())); super.visit(n, arg); }
@Override public IfStmt doMerge(IfStmt first, IfStmt second) { IfStmt is = new IfStmt(); is.setCondition(mergeSingle(first.getCondition(),second.getCondition())); is.setElseStmt(mergeSingle(first.getElseStmt(),second.getElseStmt())); is.setThenStmt(mergeSingle(first.getThenStmt(),second.getThenStmt())); return is; }
@Override public boolean doIsEquals(IfStmt first, IfStmt second) { if(!isEqualsUseMerger(first.getCondition(),second.getCondition())) return false; if(!isEqualsUseMerger(first.getElseStmt(),second.getElseStmt())) return false; if(!isEqualsUseMerger(first.getThenStmt(),second.getThenStmt())) return false; return true; } }
@Override public Boolean visit(IfStmt n, Void arg) { if (n.getElseStmt().isPresent()) { // An if-then-else statement can complete normally iff the then-statement can // complete normally or the else-statement can complete normally. return canCompleteNormally(n.getThenStmt()) || canCompleteNormally(n.getElseStmt().get()); } else { // An if-then statement can complete normally iff it is reachable. return isReachable(n); } }
Expression c = n.getCondition(), e; BinaryExpr be, be2; List<Statement> stmts; || ! (be2.getLeft() instanceof FieldAccessExpr) || ! ((e = getExpressionFromStmt(n.getThenStmt())) instanceof MethodCallExpr) || ! (((MethodCallExpr)e).getNameAsString()).equals("throwFeatMissing")) { reportDeletedCheckModified("The featOkTst was modified:\n" + n.toString() + '\n'); BlockStmt parent = (BlockStmt) n.getParentNode().get(); stmts = parent.getStatements(); stmts.set(stmts.indexOf(n), new EmptyStmt()); //dont remove
@Override public Boolean visit(IfStmt n, Void arg) { if (n.getElseStmt().isPresent()) { // An if-then-else statement can complete normally iff the then-statement can // complete normally or the else-statement can complete normally. return canCompleteNormally(n.getThenStmt()) || canCompleteNormally(n.getElseStmt().get()); } else { // An if-then statement can complete normally iff it is reachable. return isReachable(n); } }
@Override public Boolean visit(IfStmt n, Void arg) { if (n.getElseStmt().isPresent()) { // An if-then-else statement can complete normally iff the then-statement can // complete normally or the else-statement can complete normally. return canCompleteNormally(n.getThenStmt()) || canCompleteNormally(n.getElseStmt().get()); } else { // An if-then statement can complete normally iff it is reachable. return isReachable(n); } }
public void visit(IfStmt stmt, Void arg) { System.out.println(stmt.getCondition()); super.visit(stmt, null); }