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