|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.util.Debug
public final class Debug
This class provides methods for debugging output. There should be no runtime
overhead if DEBUG
is set to false
and inlining
is activated by using the "-O" switch for javac
.
Field Summary | |
---|---|
static boolean |
ABSTRACTION
Activates the debug output of the findAbstraction process |
static boolean |
CSP_VAR
|
static boolean |
DEBUG
Set this flag to false to suppress all debug output. |
static boolean |
HASHCODE
Will be used only for debug purposes to set current object hashcode (Object.hashCode()) of graph objects. |
static boolean |
MATCH
|
static boolean |
PARSING
Activates the debug output for some parsing stuff |
Method Summary | |
---|---|
static void |
closeFile(java.lang.String fname)
|
static void |
openFile(java.lang.String fname,
java.lang.String text)
|
static void |
outInFile(java.lang.String fname,
java.lang.String text)
|
static void |
print(java.lang.String msg)
Write msg to standard output. |
static void |
print(java.lang.String msg,
java.lang.Object obj)
Write msg to standard output, preceeded by the class name
of obj . |
static void |
println(java.lang.String msg)
Write msg to standard output, succeeded by a newline
character. |
static void |
println(java.lang.String msg,
java.lang.Object obj)
Write msg to standard output, preceeded by the class name
of obj , and succeeded by a newline character. |
static void |
println(java.lang.String msg,
java.lang.Object obj,
boolean topic)
Writes msg to standard output, preceeded by the class name
of obj , and succeeded by a newline character. |
static void |
printlnGraph(Graph g,
java.lang.String name)
|
static void |
printlnGraph(Graph printGraph,
java.lang.String name,
boolean topic)
Prints a graph with all nodes and edges |
static void |
printlnMorph(Morphism morph,
java.lang.String name)
Prints a graph with all nodes and edges |
static void |
printlnMorph(Morphism morph,
java.lang.String name,
boolean topic)
Prints a graph with all nodes and edges |
static void |
printlnNode(GraphObject o)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static boolean DEBUG
false
to suppress all debug output. This
flag is the master flag. It activates the output in general. It doesn't
matter if any other flag is set to true
.
public static boolean ABSTRACTION
findAbstraction
process
public static boolean PARSING
public static boolean HASHCODE
public static boolean MATCH
public static boolean CSP_VAR
Method Detail |
---|
public static final void println(java.lang.String msg)
msg
to standard output, succeeded by a newline
character.
public static final void print(java.lang.String msg)
msg
to standard output.
public static final void println(java.lang.String msg, java.lang.Object obj)
msg
to standard output, preceeded by the class name
of obj
, and succeeded by a newline character.
public static final void print(java.lang.String msg, java.lang.Object obj)
msg
to standard output, preceeded by the class name
of obj
.
public static final void println(java.lang.String msg, java.lang.Object obj, boolean topic)
msg
to standard output, preceeded by the class name
of obj
, and succeeded by a newline character.
Additionally it takes care if the debug topic
is set.
public static void printlnGraph(Graph printGraph, java.lang.String name, boolean topic)
printGraph
- The graph will be printedname
- Just a short word so it is easier to identify the beginning
and endtopic
- takes care if the debug is set.public static void printlnGraph(Graph g, java.lang.String name)
public static void printlnNode(GraphObject o)
public static void printlnMorph(Morphism morph, java.lang.String name, boolean topic)
morph
- The morphism which will be printedname
- Just a short word so it is easier to identify the beginning
and endtopic
- takes care if the debug is set.public static void printlnMorph(Morphism morph, java.lang.String name)
morph
- The morphism which will be printedname
- Just a short word so it is easier to identify the beginning
and endpublic static void openFile(java.lang.String fname, java.lang.String text)
public static void closeFile(java.lang.String fname)
public static void outInFile(java.lang.String fname, java.lang.String text)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |