edu.rice.cs.cunit.util
Class Debug

java.lang.Object
  extended by java.io.OutputStream
      extended by java.io.FilterOutputStream
          extended by java.io.PrintStream
              extended by edu.rice.cs.cunit.util.Debug
All Implemented Interfaces:
java.io.Closeable, java.io.Flushable, java.lang.Appendable

public class Debug
extends java.io.PrintStream

Debug output.

Author:
Mathias Ricken

Nested Class Summary
static class Debug.LogTarget
           
static class Debug.ProgressCounter
           
 
Field Summary
private  boolean _debug
           
private  java.util.HashMap<java.lang.String,Debug.LogTarget> _debugLogs
           
private  int _dotCount
           
private  int _lineCount
           
private  java.io.PrintStream _output
           
static Debug out
           
 
Constructor Summary
Debug(java.io.PrintStream output)
           
 
Method Summary
 java.io.PrintStream append(char c)
           
 java.io.PrintStream append(java.lang.CharSequence csq)
           
protected  boolean debugOutput()
           
 void dot()
           
 void endDot()
           
 java.io.PrintStream format(java.util.Locale l, java.lang.String format, java.lang.Object... args)
           
 java.io.PrintStream format(java.lang.String format, java.lang.Object... args)
           
 java.io.PrintStream format(java.lang.String logName, java.lang.String format, java.lang.Object... args)
           
 Debug.LogTarget getLogTarget(java.lang.String logName)
          Return the log target of the specified debug log.
 java.io.PrintStream getOutput()
           
 void incPC(Debug.ProgressCounter pc)
           
 Debug.ProgressCounter initPC(int max)
           
protected  boolean isConsoleEnabled(java.lang.String logName)
           
 boolean isDebug()
           
protected  boolean isFileEnabled(java.lang.String logName)
           
 void print(boolean b)
           
 void print(char c)
           
 void print(char[] s)
           
 void print(double d)
           
 void print(float f)
           
 void print(int i)
           
 void print(long l)
           
 void print(java.lang.Object obj)
           
 void print(java.lang.String s)
           
 void print(java.lang.String logName, boolean b)
           
 void print(java.lang.String logName, char c)
           
 void print(java.lang.String logName, char[] s)
           
 void print(java.lang.String logName, double d)
           
 void print(java.lang.String logName, float f)
           
 void print(java.lang.String logName, int i)
           
 void print(java.lang.String logName, long l)
           
 void print(java.lang.String logName, java.lang.Object obj)
           
 void print(java.lang.String logName, java.lang.String s)
           
 java.io.PrintStream printf(java.util.Locale l, java.lang.String format, java.lang.Object... args)
           
 java.io.PrintStream printf(java.lang.String format, java.lang.Object... args)
           
 java.io.PrintStream printf(java.lang.String logName, java.lang.String format, java.lang.Object... args)
           
 void println()
           
 void println(boolean x)
           
 void println(char x)
           
 void println(char[] x)
           
 void println(double x)
           
 void println(float x)
           
 void println(int x)
           
 void println(long x)
           
 void println(java.lang.Object x)
           
 void println(java.lang.String x)
           
 void println(java.lang.String logName, boolean x)
           
 void println(java.lang.String logName, char x)
           
 void println(java.lang.String logName, char[] x)
           
 void println(java.lang.String logName, double x)
           
 void println(java.lang.String logName, float x)
           
 void println(java.lang.String logName, int x)
           
 void println(java.lang.String logName, long x)
           
 void println(java.lang.String logName, java.lang.Object x)
           
 void println(java.lang.String logName, java.lang.String x)
           
 void setDebug(boolean debug)
           
 void setLogTarget(java.lang.String logName, Debug.LogTarget target)
          Set the log target of the debug log with the specified name,
 void setOutput(java.io.PrintStream output)
           
 void write(byte[] b)
           
 void write(byte[] buf, int off, int len)
           
 void write(int b)
           
 
Methods inherited from class java.io.PrintStream
append, checkError, clearError, close, flush, setError
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_debug

private boolean _debug

_dotCount

private int _dotCount

_lineCount

private int _lineCount

_debugLogs

private java.util.HashMap<java.lang.String,Debug.LogTarget> _debugLogs

out

public static final Debug out

_output

private java.io.PrintStream _output
Constructor Detail

Debug

public Debug(java.io.PrintStream output)
Method Detail

dot

public void dot()

endDot

public void endDot()

initPC

public Debug.ProgressCounter initPC(int max)

incPC

public void incPC(Debug.ProgressCounter pc)

getOutput

public java.io.PrintStream getOutput()

setOutput

public void setOutput(java.io.PrintStream output)

isDebug

public boolean isDebug()

setDebug

public void setDebug(boolean debug)

debugOutput

protected boolean debugOutput()

write

public void write(int b)
Overrides:
write in class java.io.PrintStream

write

public void write(byte[] buf,
                  int off,
                  int len)
Overrides:
write in class java.io.PrintStream

print

public void print(boolean b)
Overrides:
print in class java.io.PrintStream

print

public void print(char c)
Overrides:
print in class java.io.PrintStream

print

public void print(int i)
Overrides:
print in class java.io.PrintStream

print

public void print(long l)
Overrides:
print in class java.io.PrintStream

print

public void print(float f)
Overrides:
print in class java.io.PrintStream

print

public void print(double d)
Overrides:
print in class java.io.PrintStream

print

public void print(char[] s)
Overrides:
print in class java.io.PrintStream

print

public void print(java.lang.String s)
Overrides:
print in class java.io.PrintStream

print

public void print(java.lang.Object obj)
Overrides:
print in class java.io.PrintStream

println

public void println()
Overrides:
println in class java.io.PrintStream

println

public void println(boolean x)
Overrides:
println in class java.io.PrintStream

println

public void println(char x)
Overrides:
println in class java.io.PrintStream

println

public void println(int x)
Overrides:
println in class java.io.PrintStream

println

public void println(long x)
Overrides:
println in class java.io.PrintStream

println

public void println(float x)
Overrides:
println in class java.io.PrintStream

println

public void println(double x)
Overrides:
println in class java.io.PrintStream

println

public void println(char[] x)
Overrides:
println in class java.io.PrintStream

println

public void println(java.lang.String x)
Overrides:
println in class java.io.PrintStream

println

public void println(java.lang.Object x)
Overrides:
println in class java.io.PrintStream

printf

public java.io.PrintStream printf(java.lang.String format,
                                  java.lang.Object... args)
Overrides:
printf in class java.io.PrintStream

printf

public java.io.PrintStream printf(java.util.Locale l,
                                  java.lang.String format,
                                  java.lang.Object... args)
Overrides:
printf in class java.io.PrintStream

format

public java.io.PrintStream format(java.lang.String format,
                                  java.lang.Object... args)
Overrides:
format in class java.io.PrintStream

format

public java.io.PrintStream format(java.util.Locale l,
                                  java.lang.String format,
                                  java.lang.Object... args)
Overrides:
format in class java.io.PrintStream

append

public java.io.PrintStream append(java.lang.CharSequence csq)
Specified by:
append in interface java.lang.Appendable
Overrides:
append in class java.io.PrintStream

append

public java.io.PrintStream append(char c)
Specified by:
append in interface java.lang.Appendable
Overrides:
append in class java.io.PrintStream

write

public void write(byte[] b)
           throws java.io.IOException
Overrides:
write in class java.io.FilterOutputStream
Throws:
java.io.IOException

setLogTarget

public void setLogTarget(java.lang.String logName,
                         Debug.LogTarget target)
Set the log target of the debug log with the specified name,

Parameters:
logName - name of the log
target - target of the log

getLogTarget

public Debug.LogTarget getLogTarget(java.lang.String logName)
Return the log target of the specified debug log.

Parameters:
logName - name of the log
Returns:
log target

isFileEnabled

protected boolean isFileEnabled(java.lang.String logName)

isConsoleEnabled

protected boolean isConsoleEnabled(java.lang.String logName)

print

public void print(java.lang.String logName,
                  boolean b)

print

public void print(java.lang.String logName,
                  char c)

print

public void print(java.lang.String logName,
                  int i)

print

public void print(java.lang.String logName,
                  long l)

print

public void print(java.lang.String logName,
                  float f)

print

public void print(java.lang.String logName,
                  double d)

print

public void print(java.lang.String logName,
                  char[] s)

print

public void print(java.lang.String logName,
                  java.lang.String s)

print

public void print(java.lang.String logName,
                  java.lang.Object obj)

println

public void println(java.lang.String logName,
                    boolean x)

println

public void println(java.lang.String logName,
                    char x)

println

public void println(java.lang.String logName,
                    int x)

println

public void println(java.lang.String logName,
                    long x)

println

public void println(java.lang.String logName,
                    float x)

println

public void println(java.lang.String logName,
                    double x)

println

public void println(java.lang.String logName,
                    char[] x)

println

public void println(java.lang.String logName,
                    java.lang.String x)

println

public void println(java.lang.String logName,
                    java.lang.Object x)

printf

public java.io.PrintStream printf(java.lang.String logName,
                                  java.lang.String format,
                                  java.lang.Object... args)

format

public java.io.PrintStream format(java.lang.String logName,
                                  java.lang.String format,
                                  java.lang.Object... args)