org.garret.consus
Class Assert

java.lang.Object
  extended by org.garret.consus.Assert

public class Assert
extends java.lang.Object

Class for checking program invariants. Analog of C assert() macro. The Java compiler doesn't provide information about compiled file and line number, so the place of assertion failure can be located only by analyzing the stack trace of the thrown AssertionFailed exception.

See Also:
AssertionFailed

Constructor Summary
Assert()
           
 
Method Summary
static void failed()
          Throw assertion failed exception.
static void failed(java.lang.String description)
          Throw assertion failed exception with given description.
static void that(boolean cond)
          Check specified condition and raise AssertionFailed exception if it is not true.
static void that(java.lang.String description, boolean cond)
          Check specified condition and raise AssertionFailed exception if it is not true.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Assert

public Assert()
Method Detail

failed

public static final void failed()
Throw assertion failed exception.


failed

public static final void failed(java.lang.String description)
Throw assertion failed exception with given description.


that

public static final void that(boolean cond)
Check specified condition and raise AssertionFailed exception if it is not true.

Parameters:
cond - result of checked condition

that

public static final void that(java.lang.String description,
                              boolean cond)
Check specified condition and raise AssertionFailed exception if it is not true.

Parameters:
description - string describing checked condition
cond - result of checked condition