| java.lang.Object gov.nasa.jpf.util.Debug
Debug | public class Debug (Code) | | logger used to print debugging messages based on the required debug level and
message category.
<2do> - replace this by log4j !
|
Method Summary | |
public static int | getDebugLevel() | public static int | getDebugLevel(int k) | public static int | getDebugLevel(String ks) | public static int | mapKind(String ks) | public static int | mapLevel(String ls) | public static void | print(int l, Object o) | public static void | print(int l, String s) | public static void | print(int l, int k, Object o) | public static void | print(int l, int k, String s) | public static void | print(int l, int k, Printable p) | public static void | print(int l, Printable p) | public static void | println(int l, int k, Printable p) | public static void | println(int l, Printable p) | public static void | println(int l) | public static void | println(int l, Object o) | public static void | println(int l, String s) | public static void | println(int l, int k) | public static void | println(int l, int k, Object o) | public static void | println(int l, int k, String s) | public static void | setDebugLevel(int l) | public static void | setDebugLevel(String ls) | public static void | setDebugLevel(int l, int k) | public static void | setDebugLevel(int l, String ks) | public static void | setDebugLevel(String ls, int k) | public static void | setDebugLevel(String ls, String ks) | public static String | status() |
DEBUG | final public static int DEBUG(Code) | | |
DEFAULT | final public static int DEFAULT(Code) | | |
DEPEND | final public static int DEPEND(Code) | | |
DISTRIBUTED | final public static int DISTRIBUTED(Code) | | |
ERROR | final public static int ERROR(Code) | | |
LOCK_ORDER | final public static int LOCK_ORDER(Code) | | |
MESSAGE | final public static int MESSAGE(Code) | | |
RACE | final public static int RACE(Code) | | |
SEARCH | final public static int SEARCH(Code) | | |
TRACE | final public static int TRACE(Code) | | |
WARNING | final public static int WARNING(Code) | | |
getDebugLevel | public static int getDebugLevel()(Code) | | |
getDebugLevel | public static int getDebugLevel(int k)(Code) | | |
getDebugLevel | public static int getDebugLevel(String ks)(Code) | | |
println | public static void println(int l)(Code) | | |
println | public static void println(int l, int k)(Code) | | |
println | public static void println(int l, int k, Object o)(Code) | | |
println | public static void println(int l, int k, String s)(Code) | | |
setDebugLevel | public static void setDebugLevel(int l)(Code) | | |
setDebugLevel | public static void setDebugLevel(String ls)(Code) | | |
setDebugLevel | public static void setDebugLevel(int l, int k)(Code) | | |
setDebugLevel | public static void setDebugLevel(int l, String ks)(Code) | | |
setDebugLevel | public static void setDebugLevel(String ls, int k)(Code) | | |
|
|