| java.lang.Object
 de.uka.ilkd.key.util.Debug
| Debug | | final public class Debug (Code) | | |
| Method Summary | |
| final public static void | assertFalse(boolean isNotOK)
| | final public static void | assertFalse(boolean isNotOK, String message)
| | final public static void | assertTrue(boolean isOK)
| | final public static void | assertTrue(boolean isOK, String message)
| | final public static void | assertTrue(boolean isOK, String message, Object parameter)
| | final public static void | fail()
| | final public static void | fail(String message)
| | final public static void | fail(String message, Object o)
| | public static void | out(String msg)
| | final public static void | out(String msg, Object obj)
prints given string and the result of calling the toString method of
of the given obj if in debug mode. | | final public static void | out(String msg, Object obj1, Object obj2)
prints given string and the result of calling the toString method of
of the given objects if in debug mode. | | final public static void | out(String msg, Object obj1, Object obj2, Object obj3)
prints given string and the result of calling the toString method of
of the given objects if in debug mode. | | final public static void | out(String msg, long id)
prints the given string followed by the int if in debug mode. | | final public static void | out(String msg, long id1, long id2)
prints the given string followed by the int if in debug mode. | | final public static void | out(String msg, boolean b)
prints the given string followed by the boolean if in debug mode. | | final public static void | out(Exception e)
| | final public static void | outIfEqual(String msg, boolean cond)
| | final public static void | outIfEqual(String msg, Object obj1, Object obj2)
| | final public static void | printStackTrace(Exception e)
| | final public static void | printStackTrace()
Prints a stack trace (without influencing the execution in any way). | | public static String | stackTrace()
|
| ENABLE_ASSERTION | | public static boolean ENABLE_ASSERTION(Code) | | has to be set in order to enable assertion
|
| ENABLE_DEBUG | | public static boolean ENABLE_DEBUG(Code) | | has to be set in order to enable debugging
|
| assertFalse | | final public static void assertFalse(boolean isNotOK)(Code) | | |
| assertFalse | | final public static void assertFalse(boolean isNotOK, String message)(Code) | | |
| assertTrue | | final public static void assertTrue(boolean isOK)(Code) | | an assertion failure is thrown if isOK is evaluated to false
Parameters:
isOK - boolean the assertion that is checked |
| assertTrue | | final public static void assertTrue(boolean isOK, String message)(Code) | | an assertion failure is thrown if isOK is evaluated to false
the text in message is handed over to this exception
Parameters:
isOK - boolean the assertion that is checked
Parameters:
message - String describes the failed assertion |
| assertTrue | | final public static void assertTrue(boolean isOK, String message, Object parameter)(Code) | | an assertion failure is thrown if isOK is evaluated to false
the text in message is handed over to this exception
Parameters:
isOK - boolean the assertion that is checked
Parameters:
message - String describes the failed assertion |
| fail | | final public static void fail()(Code) | | |
| out | | public static void out(String msg)(Code) | | prints given string if in debug mode
Parameters:
msg - the String to be printed |
| out | | final public static void out(String msg, Object obj)(Code) | | prints given string and the result of calling the toString method of
of the given obj if in debug mode. The advantage of calling the toString
here and not before is that if debug mode is disabled no string
computation is done
Parameters:
msg - the String to be printed
Parameters:
obj - the Object where to call the toString method |
| out | | final public static void out(String msg, Object obj1, Object obj2)(Code) | | prints given string and the result of calling the toString method of
of the given objects if in debug mode. The advantage of calling the toString
here and not before is that if debug mode is disabled no string
computation is done
Parameters:
msg - the String to be printed
Parameters:
obj1 - the first Object where to call the toString method
Parameters:
obj2 - the second Object where to call the toString method |
| out | | final public static void out(String msg, Object obj1, Object obj2, Object obj3)(Code) | | prints given string and the result of calling the toString method of
of the given objects if in debug mode. The advantage of calling the toString
here and not before is that if debug mode is disabled no string
computation is done
Parameters:
msg - the String to be printed
Parameters:
obj1 - the first Object where to call the toString method
Parameters:
obj2 - the second Object where to call the toString method
Parameters:
obj3 - the third Object where to call the toString method |
| out | | final public static void out(String msg, long id)(Code) | | prints the given string followed by the int if in debug mode.
Parameters:
msg - the String to be printed
Parameters:
id - the int printed after msg |
| out | | final public static void out(String msg, long id1, long id2)(Code) | | prints the given string followed by the int if in debug mode.
Parameters:
msg - the String to be printed
Parameters:
id1 - the int printed first after msg
Parameters:
id1 - the int printed second after msg |
| out | | final public static void out(String msg, boolean b)(Code) | | prints the given string followed by the boolean if in debug mode.
Parameters:
msg - the String to be printed
Parameters:
b - the boolean printed after msg |
| out | | final public static void out(Exception e)(Code) | | prints the stack trace if in debug mode
author:
VK |
| outIfEqual | | final public static void outIfEqual(String msg, boolean cond)(Code) | | prints given string, if the condition cond is true
Parameters:
msg - the String to be printed
Parameters:
cond - the boolean deciding if the message is printed or not |
| outIfEqual | | final public static void outIfEqual(String msg, Object obj1, Object obj2)(Code) | | prints given string, if calling the equal method of obj1, with obj2 as
argument results in true
Parameters:
msg - the String to be printed
Parameters:
obj1 - the Object where to call the equals method
Parameters:
obj2 - the Object given to as parameter of the equals method of obj1 |
| printStackTrace | | final public static void printStackTrace(Exception e)(Code) | | prints the stack trace of the given exception
|
| printStackTrace | | final public static void printStackTrace()(Code) | | Prints a stack trace (without influencing the execution in any way).
author:
VK |
|
|