< prev index next >
src/java.logging/share/classes/java/util/logging/Level.java
Print this page
*** 387,404 ****
// first look for a Level with the given value and then
// if necessary create one.
try {
int x = Integer.parseInt(name);
level = KnownLevel.findByValue(x, KnownLevel::mirrored);
! if (!level.isPresent()) {
// add new Level
Level levelObject = new Level(name, x);
// There's no need to use a reachability fence here because
// KnownLevel keeps a strong reference on the level when
// level.getClass() == Level.class.
return KnownLevel.findByValue(x, KnownLevel::mirrored).get();
- }
} catch (NumberFormatException ex) {
// Not an integer.
// Drop through.
}
--- 387,405 ----
// first look for a Level with the given value and then
// if necessary create one.
try {
int x = Integer.parseInt(name);
level = KnownLevel.findByValue(x, KnownLevel::mirrored);
! if (level.isPresent()) {
! return level.get();
! }
// add new Level
Level levelObject = new Level(name, x);
// There's no need to use a reachability fence here because
// KnownLevel keeps a strong reference on the level when
// level.getClass() == Level.class.
return KnownLevel.findByValue(x, KnownLevel::mirrored).get();
} catch (NumberFormatException ex) {
// Not an integer.
// Drop through.
}
< prev index next >