contract
Class Contract

java.lang.Object
  contract.Contract

public class Contract

extends java.lang.Object

Constructor Summary

Contract()

Method Summary

static void	check(boolean test)
static void	check(java.lang.String description, boolean test)
static void	ensure(boolean test)
static void	ensure(java.lang.String description, boolean test)
static void	invariant(boolean test)
static void	invariant(java.lang.String description, boolean test)
static void	require(boolean test)
static void	require(java.lang.String description, boolean test)

Methods inherited from class java.lang.Object

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

Constructor Detail

Contract

public Contract()

Method Detail

require

public static void require(boolean test)

require

public static void require(java.lang.String description,
                           boolean test)

invariant

public static void invariant(boolean test)

invariant

public static void invariant(java.lang.String description,
                             boolean test)

check

public static void check(boolean test)

check

public static void check(java.lang.String description,
                         boolean test)

ensure

public static void ensure(boolean test)

ensure

public static void ensure(java.lang.String description,
                          boolean test)