LearnLogger (LearnLib 0.13.0 API)

All Superinterfaces:

org.slf4j.Logger

All Known Implementing Classes:

Slf4jDelegator
```
public interface LearnLogger
extends org.slf4j.Logger
```
LearnLib specific logger. Adds some methods to Logger for logging artifacts specific to learning.

Author:

falkhowar

Field Summary
- Fields inherited from interface org.slf4j.Logger
  ROOT_LOGGER_NAME

Method Summary

All Methods Static Methods Instance Methods Default Methods
Modifier and Type	Method and Description
`static LearnLogger`	`getLogger(Class<?> clazz)` Convenience method for easing the common practice of using a class name as the name for the logger.
`static LearnLogger`	`getLogger(String name)` get an instance of a logger for name. assumes that there is no ordinary logger of the same name.
`default void`	`logConfig(String config)` logs setup details.
`default void`	`logCounterexample(String ce)` log counterexample.
`default void`	`logDataStructure(Object o)` log a data structure.
`default void`	`logEvent(String desc)` logs an event.
`default void`	`logModel(Object o)` log a model.
`default void`	`logPhase(String phase)` logs a learning phase at level INFO.
`default void`	`logProfilingInfo(StatisticData profiling)` log a piece of profiling info.
`default void`	`logQuery(String phase)` logs a learning query at level INFO.
`default void`	`logStatistic(StatisticData statistics)` log statistic info.
`default void`	`logSystem(String msg)` logs a system message at level INFO.

Methods inherited from interface org.slf4j.Logger
debug, debug, debug, debug, debug, debug, debug, debug, debug, debug, error, error, error, error, error, error, error, error, error, error, getName, info, info, info, info, info, info, info, info, info, info, isDebugEnabled, isDebugEnabled, isErrorEnabled, isErrorEnabled, isInfoEnabled, isInfoEnabled, isTraceEnabled, isTraceEnabled, isWarnEnabled, isWarnEnabled, trace, trace, trace, trace, trace, trace, trace, trace, trace, trace, warn, warn, warn, warn, warn, warn, warn, warn, warn, warn

- Method Detail
  - getLogger
```
static LearnLogger getLogger(Class<?> clazz)
```
    Convenience method for easing the common practice of using a class name as the name for the logger. Calling this method is equivalent to
```
 LearnLogger.getLogger(clazz.getName())
 
```
    Parameters:
    
    clazz - the class from which to retrieve the name
    
    Returns:
    
    the logger for the given class name
  - getLogger
```
static LearnLogger getLogger(String name)
```
    get an instance of a logger for name. assumes that there is no ordinary logger of the same name.
  - logSystem
```
default void logSystem(String msg)
```
    logs a system message at level INFO.
  - logPhase
```
default void logPhase(String phase)
```
    logs a learning phase at level INFO.
  - logQuery
```
default void logQuery(String phase)
```
    logs a learning query at level INFO.
  - logConfig
```
default void logConfig(String config)
```
    logs setup details.
  - logCounterexample
```
default void logCounterexample(String ce)
```
    log counterexample.
  - logEvent
```
default void logEvent(String desc)
```
    logs an event. E.g., creation of new table row.
  - logProfilingInfo
```
default void logProfilingInfo(StatisticData profiling)
```
    log a piece of profiling info.
  - logStatistic
```
default void logStatistic(StatisticData statistics)
```
    log statistic info.
  - logModel
```
default void logModel(Object o)
```
    log a model.
  - logDataStructure
```
default void logDataStructure(Object o)
```
    log a data structure.

Interface LearnLogger

Field Summary

Fields inherited from interface org.slf4j.Logger

Method Summary

Methods inherited from interface org.slf4j.Logger

Method Detail

getLogger

getLogger

logSystem

logPhase

logQuery

logConfig

logCounterexample

logEvent

logProfilingInfo

logStatistic

logModel

logDataStructure