|
|||||||||
| Home >> All >> com >> simscomputing >> [ util overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
com.simscomputing.util
Class Debugger
java.lang.Objectcom.simscomputing.util.Debugger
- public final class Debugger
- extends java.lang.Object
Supports debugging operations.
- Version:
- $Revision: 1.1.1.1 $ $Date: 2000/02/21 21:22:36 $
| Field Summary | |
static boolean |
ASSERTIONS_ON
Indicates whether assertions are checked. |
static boolean |
DEBUGGING_ON
Indicates whether debugging is enabled. |
static boolean |
INVARIANTS_ON
Indicates whether class invariants are checked. |
static boolean |
POSTCONDITIONS_ON
Indicates whether postconditions are checked. |
static boolean |
PRECONDITIONS_ON
Indicates whether preconditions are checked. |
| Constructor Summary | |
private |
Debugger()
Do not allow this class to be instantiated. |
| Method Summary | |
static void |
assert(boolean condition)
For debugging purposes, ensures that the boolean condition is satisfied. |
static void |
assert(boolean condition,
java.lang.String message)
For debugging purposes, ensures that the boolean condition is satisfied. |
static void |
checkInvariant(boolean invariant,
java.lang.String message)
For debugging purposes, ensures that the class invariant is satisfied. |
static void |
checkPostcondition(boolean condition,
java.lang.String message)
For debugging purposes, ensures that the postcondition is satisfied. |
static void |
checkPrecondition(boolean condition,
java.lang.String message)
For debugging purposes, ensures that the precondition is satisfied. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
DEBUGGING_ON
public static final boolean DEBUGGING_ON
- Indicates whether debugging is enabled.
- See Also:
- Constant Field Values
ASSERTIONS_ON
public static final boolean ASSERTIONS_ON
- Indicates whether assertions are checked.
- See Also:
- Constant Field Values
PRECONDITIONS_ON
public static final boolean PRECONDITIONS_ON
- Indicates whether preconditions are checked.
- See Also:
- Constant Field Values
POSTCONDITIONS_ON
public static final boolean POSTCONDITIONS_ON
- Indicates whether postconditions are checked.
- See Also:
- Constant Field Values
INVARIANTS_ON
public static final boolean INVARIANTS_ON
- Indicates whether class invariants are checked.
- See Also:
- Constant Field Values
| Constructor Detail |
Debugger
private Debugger()
- Do not allow this class to be instantiated.
| Method Detail |
assert
public static final void assert(boolean condition)
- For debugging purposes, ensures that the boolean condition is satisfied. The
boolean condition passed in should not have any side effects.
assert
public static final void assert(boolean condition,
java.lang.String message)
- For debugging purposes, ensures that the boolean condition is satisfied. The
boolean condition passed in should not have any side effects.
checkPrecondition
public static final void checkPrecondition(boolean condition,
java.lang.String message)
- For debugging purposes, ensures that the precondition is satisfied. The
precondition passed in should not have any side effects.
checkPostcondition
public static final void checkPostcondition(boolean condition,
java.lang.String message)
- For debugging purposes, ensures that the postcondition is satisfied. The
postcondition passed in should not have any side effects.
checkInvariant
public static final void checkInvariant(boolean invariant,
java.lang.String message)
- For debugging purposes, ensures that the class invariant is satisfied. The
invariant passed in should not have any side effects.
|
|||||||||
| Home >> All >> com >> simscomputing >> [ util overview ] | PREV CLASS NEXT CLASS | ||||||||
|
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||