ThrowableSet.Pair catchableAs = thrownSet.whichCatchableAs(catcher); if (!catchableAs.getCaught().equals(ThrowableSet.Manager.v().EMPTY)) { result = addDestToMap(result, unit, trap, catchableAs.getCaught());
if (trapsForUnit != null) { for (Trap t : trapsForUnit) { Pair p = curStmtSet.whichCatchableAs(t.getException().getType()); curStmtSet = curStmtSet.remove(p.getCaught());
thrownSet = throwAnalysis.mightThrow(unit); ThrowableSet.Pair catchableAs = thrownSet.whichCatchableAs(catcher); if (catchableAs.getCaught() != ThrowableSet.Manager.v().EMPTY) { result = addDestToMap(result, unit, trap, catchableAs.getCaught());
thrownSet = throwAnalysis.mightThrow(unit); ThrowableSet.Pair catchableAs = thrownSet.whichCatchableAs(catcher); if (catchableAs.getCaught() != ThrowableSet.Manager.v().EMPTY) { result = addDestToMap(result, unit, trap, catchableAs.getCaught());