org.garret.consus
Class Assert

java.lang.Object
  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