Package org.sosy_lab.common.log

@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.

Related Packages

Package	Description
org.sosy_lab.common	This package contains general utilities that do not fit anywhere else.

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