de.unisaarland.cs.st.jerify.verifier.helpers
Class Debug

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.helpers.Debug

public class Debug
extends java.lang.Object

The Flags in this class control the debug output (which "features" debug code is printed and what is omitted)

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

Debug()

Method Summary

static void	alias(java.lang.String s)
static void	checkerTiming(java.lang.String s)
static void	createTSFlowNode(java.lang.String s)
static void	doSomething(java.lang.String s)
static void	flowPropagation(java.lang.String s)
static void	implicitAnnotation(java.lang.String s)
static void	initAnalysis(java.lang.String s)
static void	methodChange(java.lang.String s)
static void	println(java.lang.String s)
static boolean	showAnalysisStatistics()
static void	stateChange(java.lang.String s)
static void	visitorCallGraph(java.lang.String s)

Methods inherited from class java.lang.Object

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

Constructor Detail

Debug

public Debug()

Method Detail

alias

public static final void alias(java.lang.String s)

doSomething

public static final void doSomething(java.lang.String s)

showAnalysisStatistics

public static final boolean showAnalysisStatistics()

createTSFlowNode

public static final void createTSFlowNode(java.lang.String s)

visitorCallGraph

public static final void visitorCallGraph(java.lang.String s)

checkerTiming

public static final void checkerTiming(java.lang.String s)

flowPropagation

public static final void flowPropagation(java.lang.String s)

stateChange

public static final void stateChange(java.lang.String s)

methodChange

public static final void methodChange(java.lang.String s)

implicitAnnotation

public static final void implicitAnnotation(java.lang.String s)

initAnalysis

public static final void initAnalysis(java.lang.String s)

println

public static final void println(java.lang.String s)