Package com.io7m.jaffirm.core

Interface ContractIntConditionType

All Known Implementing Classes:
ContractIntCondition
@Immutable public interface ContractIntConditionType
An int specialized version of the ContractConditionType type.

  • Method Details

    • predicate

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

    • describer

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