fr.umlv.tatoo.cc.common.log
Class UserDefinedLevelMap
java.lang.Object
fr.umlv.tatoo.cc.common.log.UserDefinedLevelMap
public class UserDefinedLevelMap
- extends Object
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
UserDefinedLevelMap
public UserDefinedLevelMap()
getLevel
public DiagnosticReporter.Level getLevel(DiagnosticReporter.Key key)
changeKeyLevel
public void changeKeyLevel(DiagnosticReporter.Key key,
DiagnosticReporter.Level level)