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