Overview  Package   Class  Use  Deprecated  Index
Home >> All >> [ Util overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

Util
Class Assert  

java.lang.Object
  Util.Assert

---

public abstract class Assert

extends java.lang.Object

Includes methods for an assertion mechanism. When an assertion fails, it drops into the debugger (in native mode) or just exits (in hosted mode).

Version:

$Id: Assert.java,v 1.2 2003/05/12 10:05:21 joewhaley Exp $

---

Constructor Summary

Assert()

 

Method Summary
static void	_assert(boolean b)           Assert that the given predicate is true.
static void	_assert(boolean b, java.lang.String reason)           Assert that the given predicate is true.
static void	TODO()           Print a TODO message and drop into the debugger (in native mode) or just exit (in hosted mode).
static void	TODO(java.lang.String s)           Print a TODO message and drop into the debugger (in native mode) or just exit (in hosted mode).
static void	UNREACHABLE()           Print an UNREACHABLE message and drop into the debugger (in native mode) or just exit (in hosted mode).
static void	UNREACHABLE(java.lang.String s)           Print an UNREACHABLE message and drop into the debugger (in native mode) or just exit (in hosted mode).

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

Assert

public Assert()

Method Detail

_assert

public static void _assert(boolean b)

Assert that the given predicate is true. If it is false, we drop into the debugger (in native mode) or just exit (in hosted mode).

---

_assert

public static void _assert(boolean b,
                           java.lang.String reason)

Assert that the given predicate is true. If it is false, we print the given reason and drop into the debugger (in native mode) or just exit (in hosted mode).

---

TODO

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

Print a TODO message and drop into the debugger (in native mode) or just exit (in hosted mode).

---

TODO

public static void TODO()

Print a TODO message and drop into the debugger (in native mode) or just exit (in hosted mode).

---

UNREACHABLE

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

Print an UNREACHABLE message and drop into the debugger (in native mode) or just exit (in hosted mode).

---

UNREACHABLE

public static void UNREACHABLE()

Print an UNREACHABLE message and drop into the debugger (in native mode) or just exit (in hosted mode).

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> [ Util overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---