Package com.io7m.jaffirm.core
Interface ContractIntConditionType
-
- All Known Implementing Classes:
ContractIntCondition
@Immutable public interface ContractIntConditionTypeAnintspecialized version of theContractConditionTypetype.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.util.function.IntFunction<java.lang.String>describer()java.util.function.IntPredicatepredicate()
-
-
-
Method Detail
-
predicate
@Parameter(order=0) java.util.function.IntPredicate predicate()
- Returns:
- A predicate that must evaluate to
truefor the contract to hold
-
describer
@Parameter(order=1) java.util.function.IntFunction<java.lang.String> describer()
- Returns:
- A function that returns a textual description of the predicate
-
-