code: public static int checkPostconditionI(
      final int value,
      final ContractIntConditionType condition)
      throws PostconditionViolationException
    {
      return checkPostconditionI(
        value, condition.predicate(), condition.describer());
    }
docs: An {@code int} specialized version of {@link #checkPostcondition(Object,
  ContractConditionType)}.
  
  @param value     The value
  @param condition The predicate
  
  @return value
  
  @throws PostconditionViolationException If the predicate is false