hotspot/src/share/vm/runtime/java.hpp
changeset 13106 cecfb99d6cff
parent 12630 ddf6ee008138
child 13963 e5b53c306fb5
equal deleted inserted replaced
13105:68f3bf10f08e 13106:cecfb99d6cff
    72   friend class Universe;
    72   friend class Universe;
    73   friend void JDK_Version_init();
    73   friend void JDK_Version_init();
    74  private:
    74  private:
    75 
    75 
    76   static JDK_Version _current;
    76   static JDK_Version _current;
       
    77   static const char* _runtime_name;
    77 
    78 
    78   // In this class, we promote the minor version of release to be the
    79   // In this class, we promote the minor version of release to be the
    79   // major version for releases >= 5 in anticipation of the JDK doing the
    80   // major version for releases >= 5 in anticipation of the JDK doing the
    80   // same thing.  For example, we represent "1.5.0" as major version 5 (we
    81   // same thing.  For example, we represent "1.5.0" as major version 5 (we
    81   // drop the leading 1 and use 5 as the 'major').
    82   // drop the leading 1 and use 5 as the 'major').
   179     }
   180     }
   180   }
   181   }
   181 
   182 
   182   void to_string(char* buffer, size_t buflen) const;
   183   void to_string(char* buffer, size_t buflen) const;
   183 
   184 
       
   185   static const char* runtime_name() {
       
   186     return _runtime_name;
       
   187   }
       
   188   static void set_runtime_name(const char* name) {
       
   189     _runtime_name = name;
       
   190   }
       
   191 
   184   // Convenience methods for queries on the current major/minor version
   192   // Convenience methods for queries on the current major/minor version
   185   static bool is_jdk12x_version() {
   193   static bool is_jdk12x_version() {
   186     return current().compare_major(2) == 0;
   194     return current().compare_major(2) == 0;
   187   }
   195   }
   188 
   196