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
-
Method Details
-
predicate
- Returns:
- A predicate that must evaluate to
truefor the contract to hold
-
describer
- Returns:
- A function that returns a textual description of the predicate
-