@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault @FieldsAreNonnullByDefault

Package org.sosy_lab.common.log

This package provides a logging framework. It is based on the JDK-internal logging, but provides many additional features such as lazy log message creation, and convenience methods for exceptions.

Interface Summary

Interface	Description
BasicLogManager.LogManagerMXBean
LogManager	Main interface for basic logging framework.

Class Summary

Class	Description
BasicLogManager	Default implementation of LogManager.
ConsoleLogFormatter	Class to handle formatting for console output.
ExtendedLogRecord	An extension of LogRecord that stores additional information.
FileLogFormatter	Deprecated. use TimestampedLogFormatter instead.
ForwardingLogManager
LoggingOptions
LogManagerWithoutDuplicates	LogManager implementation which helps to get log messages printed only once, and avoid duplicate messages.
StringBuildingLogHandler	This class may be used to read the log into a String.
TimestampedLogFormatter	Log formatter that produces output containing a timestamp.

Enum Summary

Enum	Description
NullLogManager	Deprecated. Use LogManager.createNullLogManager() instead.
TestLogManager	Deprecated. Use LogManager.createTestLogManager() instead.