Example #1
0
 @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;
 }