GreaterThan as dual of LessThan

[kelloggm]

Sometimes it's not possible to write @LessThan - for instance, when the return type of a method is @GreaterThan("#1"). Consider the following example from Guava (>= 16 false positives):

    private static @GreaterThan("#3 - 1") @IndexOrLow("#1") int indexOf(
            short[] array, short target, @IndexOrHigh("#1") int start, @IndexOrHigh("#1") int end) {
        for (int i = start; i < end; i++) {
            if (array[i] == target) {
                return i;
            }
        }
        return -1;
    }

[panacekcz]

In this code, there is the -1 which never satisfies that condition, so @GreaterThanOrMinusOne would be needed.

[kelloggm]

Good point. This is probably just not fixable.