translateStmt(stmt);
}
// create intermediate Catch statements for every catch block
for (Trap trap : body.getTraps()) {
Catch ct = new Catch();
method.addStatement(ct);
// remember the Catch statement associated with the trap
catchers.put(trap, ct);
// add the catch block as successor
ct.addSucc(translations.get(trap.getHandlerUnit()).getFirst());
}
// connect according to normal flow
AssertionContext assertionContext = new AssertionContext(jt, definitions, translations, sootMethod);
BriefUnitGraph normalFlow = new BriefUnitGraph(body);