diff src/share/vm/prims/jvmtiEnvBase.cpp @ 1988:684faacebf20

7003782: Update JVMTI version to 1.2 for jdk7 Summary: Update minor version to 1.2 for jdk7 Reviewed-by: phh, dcubed
author kamg
date Mon, 06 Dec 2010 20:21:15 -0500
parents f95d63e2154a
children 3582bf76420e
line wrap: on
line diff
--- a/src/share/vm/prims/jvmtiEnvBase.cpp	Mon Dec 06 15:37:00 2010 -0500
+++ b/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;