de.java2html.util
Class Ensure

java.lang.Object
  de.java2html.util.Ensure

public class Ensure
extends java.lang.Object

Provides convenient methods for checking contract parameters.

Constructor Summary

Ensure()

Method Summary

static void	ensureArgumentFalse(boolean state)
static void	ensureArgumentFalse(java.lang.String message, boolean state)
static void	ensureArgumentNotNull(java.lang.Object object)
static void	ensureArgumentNotNull(java.lang.String message, java.lang.Object object)
static void	ensureArgumentTrue(boolean state)
static void	ensureTrue(java.lang.String message, boolean state)

Methods inherited from class java.lang.Object

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

Constructor Detail

Ensure

public Ensure()

Method Detail

ensureArgumentNotNull

public static void ensureArgumentNotNull(java.lang.String message,
                                         java.lang.Object object)
                                  throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

ensureArgumentNotNull

public static void ensureArgumentNotNull(java.lang.Object object)
                                  throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

ensureArgumentFalse

public static void ensureArgumentFalse(boolean state)
                                throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

ensureArgumentFalse

public static void ensureArgumentFalse(java.lang.String message,
                                       boolean state)
                                throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

ensureArgumentTrue

public static void ensureArgumentTrue(boolean state)
                               throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

ensureTrue

public static void ensureTrue(java.lang.String message,
                              boolean state)
                       throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException