com.io7m.jaffirm.core

Interface ContractConditionType<T>

Type Parameters:

T - The type of input values

All Known Implementing Classes:

ContractCondition

public interface ContractConditionType<T>

An individual predicate in a contract.

Method Summary

Modifier and Type	Method and Description
Function<T,String>	describer()
Predicate<T>	predicate()

Method Detail

predicate

Predicate<T> predicate()

Returns:

A predicate that must evaluate to true for the contract to hold

describer

Function<T,String> describer()

Returns:

A function that returns a textual description of the predicate