net.emaze.dysfunctional.contracts

Class dbc

java.lang.Object

net.emaze.dysfunctional.contracts.dbc

public abstract class dbc
extends Object

Design by contract.

Author:

rferranti

Constructor Summary

Constructors

Constructor and Description
dbc()

Method Summary

Modifier and Type	Method and Description
static void	precondition(boolean assertion, String format, Object... params) Enforces a state precondition, throwing an IllegalArgumentException if the assertion fails.
static void	state(boolean assertion, String format, Object... params) Enforces a state precondition, throwing an IllegalStateException if the assertion fails.

Methods inherited from class java.lang.Object

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

Constructor Detail

dbc

public dbc()

Method Detail

precondition

public static void precondition(boolean assertion,
                                String format,
                                Object... params)

Enforces a state precondition, throwing an IllegalArgumentException if the assertion fails.

Parameters:

assertion - the assertion to be enforced

format - the exception message format string

params - the exception message parameters

Throws:

IllegalArgumentException - if the assertion fails

state

public static void state(boolean assertion,
                         String format,
                         Object... params)

Enforces a state precondition, throwing an IllegalStateException if the assertion fails.

Parameters:

assertion - the assertion to be enforced

format - the exception message format string

params - the exception message parameters

Throws:

IllegalStateException - if the assertion fails