IsSubarrayEq.java

import java.util.List;

@SuppressWarnings({
    "array.access.unsafe.high",
    "list.access.unsafe.high"
}) // The Index Checker correctly issues this warning here.
public class IsSubarrayEq {
    // the Interning checker correctly issues an error below, but we would like to keep this test in all-systems.
    // Fenum Checker should not issue a warning.  See issue 789
    // https://github.com/typetools/checker-framework/issues/789
    @SuppressWarnings({"Interning", "fenum:return.type.incompatible"})
    public static boolean isSubarrayEq(Object[] a, List<?> sub) {
        return (sub.get(0) != a[0]);
    }
}