/guava/android/guava/src/com/google/common/collect/DiscreteDomain.java
return value.add ( BigInteger.ONE ) ;
super(true); } private static final BigInteger MIN_LONG = BigInteger.valueOf(Long.MIN_VALUE); private static final BigInteger MAX_LONG = BigInteger.valueOf(Long.MAX_VALUE); @Override public BigInteger next(BigInteger value) { <extra_id_0> } @Override public BigInteger previous(BigInteger value) { return value.subtract(BigInteger.ONE); } @Override