fr.umlv.tatoo.cc.common.log
Class UserDefinedLevelMap<K extends Enum<K> & DiagnosticReporter.Key>

java.lang.Object
  fr.umlv.tatoo.cc.common.log.UserDefinedLevelMap<K>

public class UserDefinedLevelMap<K extends Enum<K> & DiagnosticReporter.Key>
extends Object

Constructor Summary

UserDefinedLevelMap(Class<K> keyType)

Method Summary

void	changeKeyLevel(K key, DiagnosticReporter.Level level)
DiagnosticReporter.Level	getLevel(DiagnosticReporter.Key key)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UserDefinedLevelMap

public UserDefinedLevelMap(Class<K> keyType)

Method Detail

getLevel

public DiagnosticReporter.Level getLevel(DiagnosticReporter.Key key)

changeKeyLevel

public void changeKeyLevel(K key,
                           DiagnosticReporter.Level level)