// Test case for Issue 185: | |
// https://github.com/typetools/kelloggm/issues/185 | |
import java.util.BitSet; | |
import org.checkerframework.checker.index.qual.GTENegativeOne; | |
public class BitSetLowerBound { | |
private void m(BitSet b) { | |
b.set(b.nextClearBit(0)); | |
// next set bit does not have to exist | |
// :: error: (argument) | |
b.clear(b.nextSetBit(0)); | |
@GTENegativeOne int i = b.nextSetBit(0); | |
@GTENegativeOne int j = b.previousClearBit(-1); | |
@GTENegativeOne int k = b.previousSetBit(-1); | |
} | |
} |