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 ofLogRecord
that 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 String
getSourceComponentName()
void
setSourceComponentName(String pComponentName)
String
toString()
-
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
-
-