ErrorOrders.java

package index;

import org.checkerframework.checker.index.qual.GTENegativeOne;
import org.checkerframework.checker.index.qual.IndexFor;
import org.checkerframework.checker.index.qual.SameLenBottom;
import org.checkerframework.checker.index.qual.UpperBoundBottom;
import org.checkerframework.common.value.qual.BottomVal;

/** This class tests that errors are issued in order of postion. */
public class ErrorOrders {

    void test2(int i, int[] a) {
        a[i] = 2;
    }

    int test4(
            @GTENegativeOne @UpperBoundBottom int p1,
            @UpperBoundBottom @GTENegativeOne int p2,
            int @BottomVal [] p3,
            int @SameLenBottom [] p4,
            @BottomVal int p5) {

        @IndexFor("p2") int z = 0;
        @IndexFor("This isn't an expression") int x = z;
        return x;
    }

    void useTest4(int p1, int p2, int[] p3, int[] p4, int p5) {
        test4(p1, test4(p1, p2, p3, p4, p5), p3, p4, p5);
    }

    class InnerClass {
        @IndexFor("This isn't an expression") int x = 0;

        void test2(int i, int[] a) {
            a[i] = 2;
        }
    }
}

class InSameCompilationUnit {
    @IndexFor("This isn't an expression") int x = 0;

    void test2(int i, int[] a) {
        a[i] = 2;
    }

    int test4(
            @GTENegativeOne @UpperBoundBottom int p1,
            @UpperBoundBottom @GTENegativeOne int p2,
            int @BottomVal [] p3,
            int @SameLenBottom [] p4,
            @BottomVal int p5) {

        @IndexFor("p2") int z = 0;
        @IndexFor("This isn't an expression") int x = z;
        return x;
    }

    void useTest4(int p1, int p2, int[] p3, int[] p4, int p5) {
        test4(p1, test4(p1, p2, p3, p4, p5), p3, p4, p5);
    }
}