equal
deleted
inserted
replaced
247 while (frame != null) { |
247 while (frame != null) { |
248 List monitors = frame.getMonitors(); |
248 List monitors = frame.getMonitors(); |
249 OopHandle givenHandle = obj.getHandle(); |
249 OopHandle givenHandle = obj.getHandle(); |
250 for (Iterator itr = monitors.iterator(); itr.hasNext();) { |
250 for (Iterator itr = monitors.iterator(); itr.hasNext();) { |
251 MonitorInfo mi = (MonitorInfo) itr.next(); |
251 MonitorInfo mi = (MonitorInfo) itr.next(); |
|
252 if (mi.eliminated() && frame.isCompiledFrame()) continue; // skip eliminated monitor |
252 if (givenHandle.equals(mi.owner())) { |
253 if (givenHandle.equals(mi.owner())) { |
253 res++; |
254 res++; |
254 } |
255 } |
255 } |
256 } |
256 frame = (JavaVFrame) frame.javaSender(); |
257 frame = (JavaVFrame) frame.javaSender(); |