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