code: public static int checkPostconditionsI(
      final int value,
      final ContractIntConditionType... conditions)
      throws PostconditionViolationException
    {
      final Violations violations = innerCheckAllInt(value, conditions);
      if (violations != null) {
        throw failed(null, Integer.valueOf(value), violations);
      }
      return value;
    }
docs: An {@code int} specialized version of {@link #checkPostconditions(Object,
  ContractConditionType[])}
  
  @param value      The value
  @param conditions The conditions the value must obey
  
  @return value
  
  @throws PostconditionViolationException If any of the conditions are false