@Override public void visit(MonitorExitInstruction insn) { MonitorExitStatement stmt = new MonitorExitStatement(); stmt.setLocation(currentLocation); stmt.setObjectRef(Expr.var(insn.getObjectRef().getIndex())); statements.add(stmt); }
@Override public void visit(MonitorExitInstruction insn) { escaping[insn.getObjectRef().getIndex()] = true; }