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 Details

    • predicate

      @Parameter(order=0) Predicate<T> predicate()
      Returns:
      A predicate that must evaluate to true for the contract to hold

    • describer

      @Parameter(order=1) Function<T,String> describer()
      Returns:
      A function that returns a textual description of the predicate