de.learnlib.logging

Class LearnLogRecord

java.lang.Object

java.util.logging.LogRecord

de.learnlib.logging.LearnLogRecord

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

PlottableLogRecord, StatisticLogRecord

public class LearnLogRecord
extends LogRecord

Author:

falkhowar

See Also:

Serialized Form

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LearnLogRecord(Level lvl, String message, Category category)

Method Summary

Methods

Modifier and Type	Method and Description
Category	getCategory()

Methods inherited from class java.util.logging.LogRecord

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

Methods inherited from class java.lang.Object

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

Constructor Detail

LearnLogRecord

protected LearnLogRecord(Level lvl,
              String message,
              Category category)

Method Detail

getCategory

public Category getCategory()