public class LearnLogger extends Logger
global, GLOBAL_LOGGER_NAME
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.
|
addHandler, config, config, entering, entering, entering, exiting, exiting, fine, fine, finer, finer, finest, finest, getAnonymousLogger, getAnonymousLogger, getFilter, getGlobal, getHandlers, getLevel, getLogger, getName, getParent, getResourceBundle, getResourceBundleName, getUseParentHandlers, info, info, isLoggable, log, log, log, log, log, log, log, logp, logp, logp, logp, logp, logp, logrb, logrb, logrb, logrb, logrb, logrb, removeHandler, setFilter, setLevel, setParent, setResourceBundle, setUseParentHandlers, severe, severe, throwing, warning, warning
public static LearnLogger getLogger(String name)
name
- public static LearnLogger getLogger(Class<?> clazz)
LearnLogger.getLogger(clazz.getName())
clazz
- the class from which to retrieve the name@Deprecated public static void defaultSetup()
public static void setGlobalFilter(Filter f)
public void logPhase(String phase)
phase
- public void logQuery(String phase)
phase
- public void logConfig(String config)
config
- public void logCounterexample(String ce)
ce
- public void logEvent(String desc)
desc
- public void logProfilingInfo(StatisticData profiling)
profiling
- public void logStatistic(StatisticData statistics)
statistics
- public void logModel(Object o)
o
- public void logDataStructure(Object o)
o
- Copyright © 2015. All rights reserved.