org.jmlspecs.jml4.util
Class Logger

java.lang.Object
  org.jmlspecs.jml4.util.Logger

public class Logger
extends java.lang.Object

Constructor Summary

Logger()

Method Summary

static void	dumpStack()
static void	dumpStack(java.lang.Throwable t)
static void	flush()
void	local_dumpStack()
void	local_dumpStack(java.lang.Throwable t)
static void	print(java.lang.String msg)
static void	println(java.lang.String msg)
static void	printlnWithTrace(int level, java.lang.String msg)

Methods inherited from class java.lang.Object

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

Constructor Detail

Logger

public Logger()

Method Detail

println

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

print

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

dumpStack

public static void dumpStack()

dumpStack

public static void dumpStack(java.lang.Throwable t)

flush

public static void flush()

local_dumpStack

public void local_dumpStack()

local_dumpStack

public void local_dumpStack(java.lang.Throwable t)

printlnWithTrace

public static void printlnWithTrace(int level,
                                    java.lang.String msg)