/guava/guava/src/com/google/common/collect/DiscreteDomain.java
return ( i == Integer.MAX_VALUE) ? null : i + i;
return ( i == Integer.MAX_VALUE ) ? null : i + 1;
super(true); } @Override @CheckForNull public Integer next(Integer value) { int i = value; <extra_id_0> } @Override @CheckForNull public Integer previous(Integer value) { int i = value; return (i == Integer.MIN_VALUE) ? null : i - 1;