util
Class DebugMan

java.lang.Object
  extended by util.DebugMan

public class DebugMan
extends java.lang.Object

Container of methods for debugging purposes.


Constructor Summary
DebugMan()
           
 
Method Summary
static void checkBaseMem()
           
static void checkPeakMem()
           
static int countTrueAtoms(RDB db)
           
static long getBaseMem()
           
static java.lang.String getLog()
           
static long getPeakMem()
           
static void log(java.lang.String s)
           
static void pause()
           
static void runGC()
           
static boolean runningInWindows()
           
static long usedMemory()
           
static void verbose(int level, java.lang.String s)
           
static void verboseInline(int level, java.lang.String s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DebugMan

public DebugMan()
Method Detail

checkBaseMem

public static void checkBaseMem()

checkPeakMem

public static void checkPeakMem()

countTrueAtoms

public static int countTrueAtoms(RDB db)

getBaseMem

public static long getBaseMem()

getLog

public static java.lang.String getLog()

getPeakMem

public static long getPeakMem()

log

public static void log(java.lang.String s)

pause

public static void pause()

runGC

public static void runGC()
                  throws java.lang.Exception
Throws:
java.lang.Exception

runningInWindows

public static boolean runningInWindows()

usedMemory

public static long usedMemory()

verbose

public static void verbose(int level,
                           java.lang.String s)

verboseInline

public static void verboseInline(int level,
                                 java.lang.String s)