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.
-
ClassDescriptionDefault implementation of
LogManager.Class to handle formatting for console output.An extension ofLogRecordthat stores additional information.Deprecated.Main interface for basic logging framework.LogManager implementation which helps to get log messages printed only once, and avoid duplicate messages.Deprecated.UseLogManager.createNullLogManager()instead.This class may be used to read the log into a String.Deprecated.UseLogManager.createTestLogManager()instead.Log formatter that produces output containing a timestamp.
TimestampedLogFormatterinstead.