de.uka.ilkd.key.util

Interface DebugMBean

All Known Implementing Classes:

Debug

public interface DebugMBean

This interface provides the class Debug with the possibility to be administrated from within management tools such as "jconsole". Debugging can be switched on / off dynamically using a mangement console. Also the set of traced classes can be changed

Author:

mulbrich

Method Summary

Modifier and Type	Method and Description
boolean	getDebugState() get the current debug state.
java.lang.String	getShowOnlyPrefixes() get the list of prefixes for which messages are shown.
void	setDebugState(boolean debug) set the current debug state.
void	setShowOnlyPrefixes(java.lang.String showOnlyPrefixes) set the list of prefixes for which messages are shown.

Method Detail

setDebugState

void setDebugState(boolean debug)

set the current debug state. If set to true, debug messages are printed to stdout.

Parameters:

debug - the new debug state to set

getDebugState

boolean getDebugState()

get the current debug state. If true, messages are printed, if false, no message gets printed.

Returns:

the current debug state

getShowOnlyPrefixes

java.lang.String getShowOnlyPrefixes()

get the list of prefixes for which messages are shown. Every message is prefixed with the class name that triggered it. Only if the classname begins with one entry of this list, the message will be displayed-

Returns:

a ":"-separated list of prefixes

setShowOnlyPrefixes

void setShowOnlyPrefixes(java.lang.String showOnlyPrefixes)

set the list of prefixes for which messages are shown. Every message is prefixed with the class name that triggered it. Only if the classname begins with one entry of this list, the message will be displayed-

Parameters:

showOnlyPrefixes - a ":"-separated list of prefixes