diff src/share/vm/prims/jvmtiEnvBase.hpp @ 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 e6b1331a51d2
line wrap: on
line diff
--- a/src/share/vm/prims/jvmtiEnvBase.hpp	Mon Dec 06 15:37:00 2010 -0500
+++ b/src/share/vm/prims/jvmtiEnvBase.hpp	Mon Dec 06 20:21:15 2010 -0500
@@ -66,7 +66,8 @@
 
   enum {
     JDK15_JVMTI_VERSION = JVMTI_VERSION_1_0 +  33,  /* version: 1.0.33  */
-    JDK16_JVMTI_VERSION = JVMTI_VERSION_1_1 + 102   /* version: 1.1.102 */
+    JDK16_JVMTI_VERSION = JVMTI_VERSION_1_1 + 102,  /* version: 1.1.102 */
+    JDK17_JVMTI_VERSION = JVMTI_VERSION_1_2 +   1   /* version: 1.2.1   */
   };
 
   static jvmtiPhase  get_phase()                    { return _phase; }
@@ -136,6 +137,7 @@
 
   bool use_version_1_0_semantics();  // agent asked for version 1.0
   bool use_version_1_1_semantics();  // agent asked for version 1.1
+  bool use_version_1_2_semantics();  // agent asked for version 1.2
 
   bool is_retransformable()                        { return _is_retransformable; }