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 Detail

      • predicate

        @Parameter(order=0)
        java.util.function.Predicate<T> predicate()
        Returns:
        A predicate that must evaluate to true for 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