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 of LogRecord that stores additional information.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ExtendedLogRecord(Level pLevel, @Nullable String pMsg)

Method Summary

Modifier and Type	Method	Description
String	getSourceComponentName()
void	setSourceComponentName(String pComponentName)
String	toString()

Methods inherited from class java.util.logging.LogRecord

getInstant, getLevel, getLoggerName, getLongThreadID, getMessage, getMillis, getParameters, getResourceBundle, getResourceBundleName, getSequenceNumber, getSourceClassName, getSourceMethodName, getThreadID, getThrown, setInstant, setLevel, setLoggerName, setLongThreadID, setMessage, setMillis, setParameters, setResourceBundle, setResourceBundleName, setSequenceNumber, setSourceClassName, setSourceMethodName, setThreadID, setThrown

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

ExtendedLogRecord

public ExtendedLogRecord(Level pLevel,
 @Nullable String pMsg)

Method Details

setSourceComponentName

public void setSourceComponentName(String pComponentName)

getSourceComponentName

public String getSourceComponentName()

toString

public String toString()

Overrides:

toString in class Object