dk.brics.xact.analysis
Class Debug

java.lang.Object
  extended by dk.brics.xact.analysis.Debug

public class Debug
extends Object

Debug mode settings. Enable debug info with -Ddk.brics.xact.analysis.debug=<LEVEL>.


Method Summary
static void dec()
          Decrement indentation level.
static int getLevel()
          Returns the debug level.
static void inc()
          Increment indentation level.
static void print(int level, boolean indent, String s)
          Prints to System.err if debug is enabled.
static void println(int level, boolean indent, String s)
          Prints to System.err if debug is enabled.
static void resetIndent()
          Resets indentation level.
static void setLevel(int level)
          Sets the debug level.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

dec

public static void dec()
Decrement indentation level.


getLevel

public static int getLevel()
Returns the debug level.

Returns:
debug level

inc

public static void inc()
Increment indentation level.


print

public static void print(int level,
                         boolean indent,
                         String s)
Prints to System.err if debug is enabled.

Parameters:
level - minimal debug level required to print the string
indent - indent if true
s - string

println

public static void println(int level,
                           boolean indent,
                           String s)
Prints to System.err if debug is enabled.

Parameters:
level - minimal debug level required to print the string
indent - indent if true
s - string

resetIndent

public static void resetIndent()
Resets indentation level.


setLevel

public static void setLevel(int level)
Sets the debug level.



Copyright © 2005-2011 Aarhus University.