Package org.sosy_lab.common.log
Class ExtendedLogRecord
- java.lang.Object
-
- java.util.logging.LogRecord
-
- org.sosy_lab.common.log.ExtendedLogRecord
-
- All Implemented Interfaces:
Serializable
public class ExtendedLogRecord extends LogRecord
An extension ofLogRecordthat stores additional information.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description ExtendedLogRecord(Level pLevel, @Nullable String pMsg)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description StringgetSourceComponentName()voidsetSourceComponentName(String pComponentName)StringtoString()-
Methods inherited from class java.util.logging.LogRecord
getInstant, getLevel, getLoggerName, getMessage, getMillis, getParameters, getResourceBundle, getResourceBundleName, getSequenceNumber, getSourceClassName, getSourceMethodName, getThreadID, getThrown, setInstant, setLevel, setLoggerName, setMessage, setMillis, setParameters, setResourceBundle, setResourceBundleName, setSequenceNumber, setSourceClassName, setSourceMethodName, setThreadID, setThrown
-
-