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

---

com.memoire.pbc
Class PbcLib  

java.lang.Object
  com.memoire.pbc.PbcLib

---

public class PbcLib

extends java.lang.Object

---

Field Summary
static int	DISPLAYED
static int	EXITED
static int	IGNORED
static int	mode_
static int	THROWN
static int	TRACED

 

Constructor Summary

PbcLib()

 

Method Summary
static void	check(boolean _test, java.lang.String _msg, java.lang.String _file, int _line)
static void	ensure(boolean _test, java.lang.String _msg, java.lang.String _file, int _line)
private static void	fail(java.lang.String _type, java.lang.String _msg, java.lang.String _file, int _line)
static void	invariant(boolean _test, java.lang.String _msg, java.lang.String _file, int _line)
static void	require(boolean _test, java.lang.String _msg, java.lang.String _file, int _line)

 

Methods inherited from class java.lang.Object

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

 

Field Detail

IGNORED

public static final int IGNORED

See Also:

Constant Field Values

---

DISPLAYED

public static final int DISPLAYED

See Also:

Constant Field Values

---

TRACED

public static final int TRACED

See Also:

Constant Field Values

---

THROWN

public static final int THROWN

See Also:

Constant Field Values

---

EXITED

public static final int EXITED

See Also:

Constant Field Values

---

mode_

public static int mode_

Constructor Detail

PbcLib

public PbcLib()

Method Detail

invariant

public static final void invariant(boolean _test,
                                   java.lang.String _msg,
                                   java.lang.String _file,
                                   int _line)

---

require

public static final void require(boolean _test,
                                 java.lang.String _msg,
                                 java.lang.String _file,
                                 int _line)

---

ensure

public static final void ensure(boolean _test,
                                java.lang.String _msg,
                                java.lang.String _file,
                                int _line)

---

check

public static final void check(boolean _test,
                               java.lang.String _msg,
                               java.lang.String _file,
                               int _line)

---

fail

private static final void fail(java.lang.String _type,
                               java.lang.String _msg,
                               java.lang.String _file,
                               int _line)

---

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

---