Class Hierarchy
- java.lang.Object
- org.sosy_lab.common.log.BasicLogManager (implements java.lang.AutoCloseable, org.sosy_lab.common.log.LogManager)
- java.util.logging.Formatter
- org.sosy_lab.common.log.ConsoleLogFormatter
- org.sosy_lab.common.log.TimestampedLogFormatter
- org.sosy_lab.common.log.FileLogFormatter
- org.sosy_lab.common.log.ForwardingLogManager (implements org.sosy_lab.common.log.LogManager)
- org.sosy_lab.common.log.LogManagerWithoutDuplicates (implements org.sosy_lab.common.log.LogManager)
- java.util.logging.Handler
- org.sosy_lab.common.log.StringBuildingLogHandler
- org.sosy_lab.common.log.LoggingOptions
- java.util.logging.LogRecord (implements java.io.Serializable)
- org.sosy_lab.common.log.ExtendedLogRecord
Interface Hierarchy
- org.sosy_lab.common.log.BasicLogManager.LogManagerMXBean
- org.sosy_lab.common.log.LogManager
Enum Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
- org.sosy_lab.common.log.NullLogManager (implements org.sosy_lab.common.log.LogManager)
- org.sosy_lab.common.log.TestLogManager (implements org.sosy_lab.common.log.LogManager)
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)