mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-26 14:24:46 +02:00
7176856: add the JRE name to the error log
Reviewed-by: coleenp, jrose, kvn, twisti
This commit is contained in:
parent
118f552a6e
commit
3927b8d331
5 changed files with 42 additions and 1 deletions
|
@ -74,6 +74,7 @@ class JDK_Version VALUE_OBJ_CLASS_SPEC {
|
|||
private:
|
||||
|
||||
static JDK_Version _current;
|
||||
static const char* _runtime_name;
|
||||
|
||||
// In this class, we promote the minor version of release to be the
|
||||
// major version for releases >= 5 in anticipation of the JDK doing the
|
||||
|
@ -181,6 +182,13 @@ class JDK_Version VALUE_OBJ_CLASS_SPEC {
|
|||
|
||||
void to_string(char* buffer, size_t buflen) const;
|
||||
|
||||
static const char* runtime_name() {
|
||||
return _runtime_name;
|
||||
}
|
||||
static void set_runtime_name(const char* name) {
|
||||
_runtime_name = name;
|
||||
}
|
||||
|
||||
// Convenience methods for queries on the current major/minor version
|
||||
static bool is_jdk12x_version() {
|
||||
return current().compare_major(2) == 0;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue