equal
deleted
inserted
replaced
82 // Make sure class name is in the correct format |
82 // Make sure class name is in the correct format |
83 public boolean isClassAlive(String name) { |
83 public boolean isClassAlive(String name) { |
84 return isClassAlive0(name.replace('.', '/')); |
84 return isClassAlive0(name.replace('.', '/')); |
85 } |
85 } |
86 private native boolean isClassAlive0(String name); |
86 private native boolean isClassAlive0(String name); |
|
87 public native boolean isMonitorInflated(Object obj); |
|
88 public native void forceSafepoint(); |
87 |
89 |
88 // JVMTI |
90 // JVMTI |
89 public native void addToBootstrapClassLoaderSearch(String segment); |
91 public native void addToBootstrapClassLoaderSearch(String segment); |
90 public native void addToSystemClassLoaderSearch(String segment); |
92 public native void addToSystemClassLoaderSearch(String segment); |
91 |
93 |