org.mmtk.vm
Class Assert

java.lang.Object
  org.mmtk.vm.Assert

Direct Known Subclasses:

Assert

public abstract class Assert
extends Object

Assert

public Assert()

fail

public abstract void fail(String message)

Logs a message and traceback, then exits.

Parameters:

message - the string to log

_assert

public abstract void _assert(boolean cond)

Checks that the given condition is true. If it is not, this method does a traceback and exits. All calls to this method must be guarded by VM.VERIFY_ASSERTIONS.

Parameters:

cond - the condition to be checked

_assert

public abstract void _assert(boolean cond,
                             String message)

Checks that the given condition is true. If it is not, this method prints a message, does a traceback and exits. All calls to this method must be guarded by VM.VERIFY_ASSERTIONS.

Parameters:

cond - the condition to be checked

message - the message to print

dumpStack

public abstract void dumpStack()

Print a stack trace

getVerifyAssertionsConstant

protected abstract boolean getVerifyAssertionsConstant()

Returns:

true if assertions should be verified

verifyAssertionsTrapdoor

static boolean verifyAssertionsTrapdoor(Assert a)