Package com.io7m.jaffirm.core

Interface ContractDoubleConditionType

All Known Implementing Classes:
ContractDoubleCondition
@Immutable public interface ContractDoubleConditionType
A double specialized version of the ContractConditionType type.

  • Method Details

    • predicate

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

    • describer

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