Module com.io7m.jaffirm.core

Package com.io7m.jaffirm.core

Interface ContractLongConditionType

All Known Implementing Classes:

ContractLongCondition

@Immutable
public interface ContractLongConditionType

A long specialized version of the ContractConditionType type.

Method Summary

Modifier and Type	Method	Description
LongFunction<String>	describer()
LongPredicate	predicate()

Method Detail

predicate

@Parameter(order=0)
LongPredicate predicate()

Returns:

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

describer

@Parameter(order=1)
LongFunction<String> describer()

Returns:

A function that returns a textual description of the predicate