equal
deleted
inserted
replaced
133 return LEVEL_VALUES[this.ordinal()]; |
133 return LEVEL_VALUES[this.ordinal()]; |
134 } |
134 } |
135 |
135 |
136 static Level valueOf(int level) { |
136 static Level valueOf(int level) { |
137 switch (level) { |
137 switch (level) { |
138 // ordering per the highest occurences in the jdk source |
138 // ordering per the highest occurrences in the jdk source |
139 // finest, fine, finer, info first |
139 // finest, fine, finer, info first |
140 case PlatformLogger.FINEST : return Level.FINEST; |
140 case PlatformLogger.FINEST : return Level.FINEST; |
141 case PlatformLogger.FINE : return Level.FINE; |
141 case PlatformLogger.FINE : return Level.FINE; |
142 case PlatformLogger.FINER : return Level.FINER; |
142 case PlatformLogger.FINER : return Level.FINER; |
143 case PlatformLogger.INFO : return Level.INFO; |
143 case PlatformLogger.INFO : return Level.INFO; |