Package com.io7m.jaffirm.core
Interface ContractConditionType<T>
-
- Type Parameters:
T- The type of input values
- All Known Implementing Classes:
ContractCondition
@Immutable public interface ContractConditionType<T>An individual predicate in a contract.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.util.function.Function<T,java.lang.String>describer()java.util.function.Predicate<T>predicate()
-
-
-
Method Detail
-
predicate
@Parameter(order=0) java.util.function.Predicate<T> predicate()
- Returns:
- A predicate that must evaluate to
truefor the contract to hold
-
describer
@Parameter(order=1) java.util.function.Function<T,java.lang.String> describer()
- Returns:
- A function that returns a textual description of the predicate
-
-