com.io7m.jaffirm.core

Class Contracts

java.lang.Object

com.io7m.jaffirm.core.Contracts

public final class Contracts
extends Object

Functions to create contracts and conditions.

Method Summary

Modifier and Type	Method and Description
static <T> ContractCondition<T>	condition(Predicate<T> condition, Function<T,String> describer) Construct a predicate from the given predicate function and describer.
static ContractDoubleCondition	conditionD(DoublePredicate condition, DoubleFunction<String> describer) Construct a double specialized predicate from the given predicate function and describer.
static ContractIntCondition	conditionI(IntPredicate condition, IntFunction<String> describer) Construct an int specialized predicate from the given predicate function and describer.
static ContractLongCondition	conditionL(LongPredicate condition, LongFunction<String> describer) Construct a long specialized predicate from the given predicate function and describer.

Methods inherited from class java.lang.Object

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

Method Detail

condition

public static <T> ContractCondition<T> condition(Predicate<T> condition,
                                                 Function<T,String> describer)

Construct a predicate from the given predicate function and describer.

Type Parameters:

T - The type of values

Parameters:

condition - The predicate function

describer - The describer

Returns:

A predicate

conditionI

public static ContractIntCondition conditionI(IntPredicate condition,
                                              IntFunction<String> describer)

Construct an int specialized predicate from the given predicate function and describer.

Parameters:

condition - The predicate function

describer - The describer

Returns:

A predicate

conditionL

public static ContractLongCondition conditionL(LongPredicate condition,
                                               LongFunction<String> describer)

Construct a long specialized predicate from the given predicate function and describer.

Parameters:

condition - The predicate function

describer - The describer

Returns:

A predicate

conditionD

public static ContractDoubleCondition conditionD(DoublePredicate condition,
                                                 DoubleFunction<String> describer)

Construct a double specialized predicate from the given predicate function and describer.

Parameters:

condition - The predicate function

describer - The describer

Returns:

A predicate