org.jmlspecs.jml4.rac
Class Debugger

java.lang.Object
  org.jmlspecs.jml4.rac.Debugger

public abstract class Debugger
extends java.lang.Object

Provides a bunch of utility methods for debugging RAC implementation. This class is only for the development and need not be included in the distribution.

Author:

Yoonsik Cheon

Constructor Summary

Debugger()

Method Summary

static void	debug(Statement[] stmts) Prints the given statements.
static void	debug(java.lang.String msg) Prints the given string.
static void	debugMergedRacCode(boolean flag) Makes the RAC code be printed for debugging purpose after it gets merged to the original source code.
static void	debugRacCode(boolean flag) Makes the RAC code be printed for debugging purpose before it gets merged to the original source code.
static void	setDebugStream(java.io.PrintStream out) Sets the output stream on which RAC code and other debug nformation will be printed.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Debugger

public Debugger()

Method Detail

debugRacCode

public static void debugRacCode(boolean flag)

Makes the RAC code be printed for debugging purpose before it gets merged to the original source code. The RAC code will be printed on the output stream set by setDebugStream(PrintStream) or System.out by default.

debugMergedRacCode

public static void debugMergedRacCode(boolean flag)

Makes the RAC code be printed for debugging purpose after it gets merged to the original source code. The RAC code will be printed on the output stream set by setDebugStream(PrintStream) or System.out by default.

setDebugStream

public static void setDebugStream(java.io.PrintStream out)

Sets the output stream on which RAC code and other debug nformation will be printed.

debug

public static void debug(Statement[] stmts)

Prints the given statements.

debug

public static void debug(java.lang.String msg)

Prints the given string.