com.io7m.jaffirm.core

Interface ContractDoubleConditionType

All Known Implementing Classes:

ContractDoubleCondition

public interface ContractDoubleConditionType

A double specialized version of the ContractConditionType type.

Method Summary

Modifier and Type	Method and Description
DoubleFunction<String>	describer()
DoublePredicate	predicate()

Method Detail

predicate

DoublePredicate predicate()

Returns:

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

describer

DoubleFunction<String> describer()

Returns:

A function that returns a textual description of the predicate