src/share/vm/runtime/java.hpp

changeset 3884
f8de958e5b2c
parent 3767
9d679effd28c
child 4153
b9a9ed0f8eeb
     1.1 --- a/src/share/vm/runtime/java.hpp	Mon Jun 18 09:52:31 2012 +0200
     1.2 +++ b/src/share/vm/runtime/java.hpp	Mon Jun 18 12:29:21 2012 -0700
     1.3 @@ -74,6 +74,7 @@
     1.4   private:
     1.5  
     1.6    static JDK_Version _current;
     1.7 +  static const char* _runtime_name;
     1.8  
     1.9    // In this class, we promote the minor version of release to be the
    1.10    // major version for releases >= 5 in anticipation of the JDK doing the
    1.11 @@ -181,6 +182,13 @@
    1.12  
    1.13    void to_string(char* buffer, size_t buflen) const;
    1.14  
    1.15 +  static const char* runtime_name() {
    1.16 +    return _runtime_name;
    1.17 +  }
    1.18 +  static void set_runtime_name(const char* name) {
    1.19 +    _runtime_name = name;
    1.20 +  }
    1.21 +
    1.22    // Convenience methods for queries on the current major/minor version
    1.23    static bool is_jdk12x_version() {
    1.24      return current().compare_major(2) == 0;

mercurial