@Override public void caseEnterMonitorStmt(EnterMonitorStmt stmt) { usedAsObject = stmt.getOp() == l; doBreak = true; return; }
@Override public void caseEnterMonitorStmt(EnterMonitorStmt stmt) { usedAsObject = stmt.getOp() == l; if (usedAsObject) { doBreak = true; } return; }
public EnterMonitorStmt newEnterMonitorStmt(EnterMonitorStmt s) { return new GEnterMonitorStmt(s.getOp()); }
public void caseEnterMonitorStmt(EnterMonitorStmt s) { emitValue(s.getOp()); emit("monitorenter", -1); }
public void caseEnterMonitorStmt(EnterMonitorStmt stmt) { String varName = printValueAssignment(stmt.getOp(), "monitor"); printStmt(stmt, varName); }
@Override public void caseEnterMonitorStmt(EnterMonitorStmt s) { result = result.add(mgr.NULL_POINTER_EXCEPTION); result = result.add(mgr.ILLEGAL_MONITOR_STATE_EXCEPTION); result = result.add(mightThrow(s.getOp())); }
@Override public void caseEnterMonitorStmt(EnterMonitorStmt s) { result = result.add(mgr.NULL_POINTER_EXCEPTION); result = result.add(mightThrow(s.getOp())); }
public void caseEnterMonitorStmt(EnterMonitorStmt stmt) { stmt.setOp(this.uv.visit(stmt.getOp(), RefType.v("java.lang.Object"), stmt)); }
private IterableSet get_BodyApproximation(AugmentedStmt head, IterableSet synchSet) { IterableSet body = (IterableSet) synchSet.clone(); Value local = ((EnterMonitorStmt) head.get_Stmt()).getOp(); Integer level = as2ml.get(head).get(local);
hasChanged = unitMonitors.put(curUnit, ems.getOp()); } else if (curUnit instanceof ExitMonitorStmt) {
Value local = ((EnterMonitorStmt) headAs.get_Stmt()).getOp(); IterableSet synchSet = new IterableSet();
if ((ems.getOp() == local) && (predLevel >= 0)) { predLevel++;
newTn.beginning = (Stmt) units.getSuccOf(stmt); if (stmt instanceof EnterMonitorStmt) { newTn.origLock = ((EnterMonitorStmt) stmt).getOp();
if (synchSet != null) { IterableSet synchBody = get_BodyApproximation(as, synchSet); Value local = ((EnterMonitorStmt) as.get_Stmt()).getOp(); Value copiedLocal = null;