hotspot/src/share/vm/prims/jvmtiEnvBase.cpp
changeset 7413 59b978f8fbdf
parent 7397 5b173b4ca846
child 8076 96d498ec7ae1
--- a/hotspot/src/share/vm/prims/jvmtiEnvBase.cpp	Mon Dec 06 15:37:00 2010 -0500
+++ b/hotspot/src/share/vm/prims/jvmtiEnvBase.cpp	Mon Dec 06 20:21:15 2010 -0500
@@ -161,6 +161,14 @@
   return major == 1 && minor == 1;  // micro version doesn't matter here
 }
 
+bool
+JvmtiEnvBase::use_version_1_2_semantics() {
+  int major, minor, micro;
+
+  JvmtiExport::decode_version_values(_version, &major, &minor, &micro);
+  return major == 1 && minor == 2;  // micro version doesn't matter here
+}
+
 
 JvmtiEnvBase::JvmtiEnvBase(jint version) : _env_event_enable() {
   _version = version;