de.learnlib.logging

Class StatisticLogRecord

java.lang.Object

java.util.logging.LogRecord

de.learnlib.logging.LearnLogRecord

de.learnlib.logging.StatisticLogRecord

All Implemented Interfaces:

Serializable

public class StatisticLogRecord
extends LearnLogRecord

Author:

falkhowar

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
StatisticLogRecord(Level lvl, StatisticData data, Category category)

Method Summary

Methods

Modifier and Type	Method and Description
StatisticData	getData()

Methods inherited from class de.learnlib.logging.LearnLogRecord

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

StatisticLogRecord

public StatisticLogRecord(Level lvl,
                  StatisticData data,
                  Category category)

Method Detail

getData

public StatisticData getData()