de.learnlib.logging

Class LearnLogger

java.lang.Object

java.util.logging.Logger

de.learnlib.logging.LearnLogger

public class LearnLogger
extends Logger

LearnLib specific logger. Adds some methods to Logger for logging artifacts specific to learning.

Author:

falkhowar

Field Summary

Fields inherited from class java.util.logging.Logger

global, GLOBAL_LOGGER_NAME

Method Summary

Methods

Modifier and Type	Method and Description
static void	defaultSetup() Deprecated. The use of this method is discouraged as it interferes with (proper) file-based or class-based configuration of logging.
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.
void	logConfig(String config) logs setup details
void	logCounterexample(String ce) log counterexample
void	logDataStructure(Object o) log a data structure
void	logEvent(String desc) logs an event.
void	logModel(Object o) log a model
void	logPhase(String phase) logs a learning phase at level INFO.
void	logProfilingInfo(StatisticData profiling) log a piece of profiling info
void	logQuery(String phase) logs a learning query at level INFO.
void	logStatistic(StatisticData statistics) log statistic info
static void	setGlobalFilter(Filter f) apply a filter to all handlers of the root logger.

Methods inherited from class java.util.logging.Logger

addHandler, config, entering, entering, entering, exiting, exiting, fine, finer, finest, getAnonymousLogger, getAnonymousLogger, getFilter, getGlobal, getHandlers, getLevel, getLogger, getName, getParent, getResourceBundle, getResourceBundleName, getUseParentHandlers, info, isLoggable, log, log, log, log, log, logp, logp, logp, logp, logrb, logrb, logrb, logrb, removeHandler, setFilter, setLevel, setParent, setUseParentHandlers, severe, throwing, warning

Methods inherited from class java.lang.Object

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

Method Detail

getLogger

public static LearnLogger getLogger(String name)

get an instance of a logger for name. assumes that there is no ordinary logger of the same name.

Parameters:

name -

Returns:

getLogger

public 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

defaultSetup

@Deprecated
public static void defaultSetup()

Deprecated. The use of this method is discouraged as it interferes with (proper) file-based or class-based configuration of logging.

remove all handlers of root logger and add a console hander with LLConsoleFormatter instead.

setGlobalFilter

public static void setGlobalFilter(Filter f)

apply a filter to all handlers of the root logger.

logPhase

public void logPhase(String phase)

logs a learning phase at level INFO.

Parameters:

phase -

logQuery

public void logQuery(String phase)

logs a learning query at level INFO.

Parameters:

phase -

logConfig

public void logConfig(String config)

logs setup details

Parameters:

config -

logCounterexample

public void logCounterexample(String ce)

log counterexample

Parameters:

ce -

logEvent

public void logEvent(String desc)

logs an event. E.g., creation of new table row

Parameters:

desc -

logProfilingInfo

public void logProfilingInfo(StatisticData profiling)

log a piece of profiling info

Parameters:

profiling -

logStatistic

public void logStatistic(StatisticData statistics)

log statistic info

Parameters:

statistics -

logModel

public void logModel(Object o)

log a model

Parameters:

o -

logDataStructure

public void logDataStructure(Object o)

log a data structure

Parameters:

o -