pop.utilities
Class Assert

java.lang.Object
  |
  +--pop.utilities.Assert

public class Assert

extends java.lang.Object

Generalized assertion verifier class. Originally part of cs20.assertion package.

See Also:

AssertionException

Constructor Summary

Assert()

Method Summary

static void	assert(boolean cond, java.lang.String msg) throws AssertionException if general assertion is false
static void	postcondition(boolean cond, java.lang.String msg) throws AssertionException if postcondition is false
static void	precondition(boolean cond, java.lang.String msg) throws AssertionException if precondition is false

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 cond,
                          java.lang.String msg)

throws AssertionException if general assertion is false

precondition

public static void precondition(boolean cond,
                                java.lang.String msg)

throws AssertionException if precondition is false

postcondition

public static void postcondition(boolean cond,
                                 java.lang.String msg)

throws AssertionException if postcondition is false