equal
deleted
inserted
replaced
714 // Returns native Java library, loads if necessary |
714 // Returns native Java library, loads if necessary |
715 static void* native_java_library(); |
715 static void* native_java_library(); |
716 |
716 |
717 // Fills in path to jvm.dll/libjvm.so (used by the Disassembler) |
717 // Fills in path to jvm.dll/libjvm.so (used by the Disassembler) |
718 static void jvm_path(char *buf, jint buflen); |
718 static void jvm_path(char *buf, jint buflen); |
719 |
|
720 // Returns true if we are running in a headless jre. |
|
721 static bool is_headless_jre(); |
|
722 |
719 |
723 // JNI names |
720 // JNI names |
724 static void print_jni_name_prefix_on(outputStream* st, int args_size); |
721 static void print_jni_name_prefix_on(outputStream* st, int args_size); |
725 static void print_jni_name_suffix_on(outputStream* st, int args_size); |
722 static void print_jni_name_suffix_on(outputStream* st, int args_size); |
726 |
723 |