|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.common.logging.ChocoLogging
public final class ChocoLogging
A final class which handles choco logging statements. Most of choco class propose a static final field LOGGER.
Field Summary | |
---|---|
static Logger[] |
CHOCO_LOGGERS
|
static Handler |
DEFAULT_HANDLER
|
static Formatter |
DETAILED_FORMATTER
|
static Handler |
DETAILED_HANDLER
|
static Handler |
ERROR_HANDLER
|
static Formatter |
LIGHT_FORMATTER
|
static String |
START_MESSAGE
|
Method Summary | |
---|---|
static OutputStream |
addErrorFileHandler(File file)
add a new handler whichs receive error logs |
static OutputStream |
addFileHandler(File file)
add a new handler whichs receive logs |
static OutputStream |
addFileHandler(File file,
Level level,
Formatter formatter)
|
protected static void |
addHandler(Handler handler,
Logger... loggers)
|
protected static void |
clearHandlers()
|
protected static void |
clearHandlers(Logger logger)
|
static void |
flushLog(Logger logger)
|
static void |
flushLogs()
flush pending logs |
protected static Logger |
getAPILogger()
|
static Logger |
getBranchingLogger()
|
protected static Logger |
getChocoLogger()
|
protected static Logger |
getCoreLogger()
|
static Formatter |
getDefaultFormatter()
|
static Logger |
getEngineLogger()
|
static int |
getEveryXNodes()
|
static int |
getLoggingMaxDepth()
get the maximal search depth for logging statements |
static Logger |
getMainLogger()
|
static Logger |
getSearchLogger()
|
static Logger |
getTestLogger()
|
static void |
main(String[] args)
|
static Logger |
makeUserLogger(String name)
create a new user logger with valid name |
static void |
setDefaultHandler()
set the default handler (out and err) for all loggers |
static OutputStream |
setErrorFileHandler(File file)
remove handlers and write error logs into a file (warning and severe message) |
static void |
setEveryXNodes(int everyXnodes)
|
static OutputStream |
setFileHandler(File file)
remove handlers and write logs into a file |
static OutputStream |
setFileHandler(File file,
Level level,
Formatter formatter)
|
static void |
setHandler(Logger logger,
Handler handler)
remove other handlers and set the only handler for this logger |
static void |
setLevel(Level level,
Handler... handlers)
|
static void |
setLevel(Level level,
Logger... loggers)
|
static void |
setLevel(Level level,
Logger logger)
|
static void |
setLoggingMaxDepth(int loggingMaxDepth)
set the maximal search depth for logging statements |
static void |
setVerbosity(Verbosity verbosity)
set the choco verbosity level |
static void |
toDefault()
Set verbosity to DEFAULT (syntaxic sugar) |
static String |
toDotty()
|
static void |
toQuiet()
Set verbosity to QUIET (syntaxic sugar) |
static void |
toSearch()
Set verbosity to SEARCH (syntaxic sugar) |
static void |
toSilent()
Set verbosity to SILENT (syntaxic sugar) |
static void |
toSolution()
Set verbosity to SOLUTION (syntaxic sugar) |
static void |
toVerbose()
Set verbosity to SILENT (syntaxic sugar) |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final String START_MESSAGE
public static final Formatter LIGHT_FORMATTER
public static final Formatter DETAILED_FORMATTER
public static final Handler DEFAULT_HANDLER
public static final Handler DETAILED_HANDLER
public static final Handler ERROR_HANDLER
public static final Logger[] CHOCO_LOGGERS
Method Detail |
---|
public static final int getEveryXNodes()
public static final void setEveryXNodes(int everyXnodes)
public static final void setLoggingMaxDepth(int loggingMaxDepth)
public static final int getLoggingMaxDepth()
public static Logger makeUserLogger(String name)
name
-
protected static Logger getChocoLogger()
protected static Logger getCoreLogger()
public static Logger getEngineLogger()
public static Logger getSearchLogger()
public static Logger getBranchingLogger()
protected static Logger getAPILogger()
public static Logger getMainLogger()
public static Logger getTestLogger()
public static Formatter getDefaultFormatter()
public static void flushLog(Logger logger)
public static void flushLogs()
protected static void clearHandlers()
protected static void clearHandlers(Logger logger)
public static void setDefaultHandler()
public static void setLevel(Level level, Handler... handlers)
public static OutputStream setFileHandler(File file, Level level, Formatter formatter)
public static OutputStream setErrorFileHandler(File file)
file
- the error log file
public static OutputStream setFileHandler(File file)
file
- the log file
public static void setHandler(Logger logger, Handler handler)
protected static void addHandler(Handler handler, Logger... loggers)
public static OutputStream addFileHandler(File file, Level level, Formatter formatter)
public static OutputStream addErrorFileHandler(File file)
file
- the error log file
public static OutputStream addFileHandler(File file)
file
- the log file
public static void setLevel(Level level, Logger logger)
public static void setLevel(Level level, Logger... loggers)
public static void toSilent()
public static void toQuiet()
public static void toDefault()
public static void toVerbose()
public static void toSolution()
public static void toSearch()
public static void setVerbosity(Verbosity verbosity)
verbosity
- the new verbosity levelpublic static final String toDotty()
public static void main(String[] args)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |