equal
deleted
inserted
replaced
739 } |
739 } |
740 |
740 |
741 // Save JNI local handles for any objects that this frame owns. |
741 // Save JNI local handles for any objects that this frame owns. |
742 jvmtiError |
742 jvmtiError |
743 JvmtiEnvBase::get_locked_objects_in_frame(JavaThread* calling_thread, JavaThread* java_thread, |
743 JvmtiEnvBase::get_locked_objects_in_frame(JavaThread* calling_thread, JavaThread* java_thread, |
744 javaVFrame *jvf, GrowableArray<jvmtiMonitorStackDepthInfo*>* owned_monitors_list, int stack_depth) { |
744 javaVFrame *jvf, GrowableArray<jvmtiMonitorStackDepthInfo*>* owned_monitors_list, jint stack_depth) { |
745 jvmtiError err = JVMTI_ERROR_NONE; |
745 jvmtiError err = JVMTI_ERROR_NONE; |
746 ResourceMark rm; |
746 ResourceMark rm; |
747 |
747 |
748 GrowableArray<MonitorInfo*>* mons = jvf->monitors(); |
748 GrowableArray<MonitorInfo*>* mons = jvf->monitors(); |
749 if (mons->is_empty()) { |
749 if (mons->is_empty()) { |