Arrays.java

package java.util;
import checkers.javari.quals.*;

import java.lang.reflect.*;

public class Arrays {
    private Arrays() {}

    public static void sort(long[] a) { throw new RuntimeException("skeleton method"); }
    public static void sort(long[] a, int fromIndex, int toIndex) { throw new RuntimeException("skeleton method"); }
    public static void sort(int[] a) { throw new RuntimeException("skeleton method"); }
    public static void sort(int[] a, int fromIndex, int toIndex) { throw new RuntimeException("skeleton method"); }
    public static void sort(short[] a) { throw new RuntimeException("skeleton method"); }
    public static void sort(short[] a, int fromIndex, int toIndex) { throw new RuntimeException("skeleton method"); }
    public static void sort(char[] a) { throw new RuntimeException("skeleton method"); }
    public static void sort(char[] a, int fromIndex, int toIndex) { throw new RuntimeException("skeleton method"); }
    public static void sort(byte[] a) { throw new RuntimeException("skeleton method"); }
    public static void sort(byte[] a, int fromIndex, int toIndex) { throw new RuntimeException("skeleton method"); }
    public static void sort(double[] a) { throw new RuntimeException("skeleton method"); }
    public static void sort(double[] a, int fromIndex, int toIndex) { throw new RuntimeException("skeleton method"); }
    public static void sort(float[] a) { throw new RuntimeException("skeleton method"); }
    public static void sort(float[] a, int fromIndex, int toIndex) { throw new RuntimeException("skeleton method"); }
    public static void sort(Object[] a) { throw new RuntimeException("skeleton method"); }
    public static void sort(Object[] a, int fromIndex, int toIndex) { throw new RuntimeException("skeleton method"); }
    public static <T> void sort(T[] a, Comparator<? super T> c) { throw new RuntimeException("skeleton method"); }
    public static <T> void sort(T[] a, int fromIndex, int toIndex, Comparator<? super T> c) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(long @ReadOnly [] a, long key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(long @ReadOnly [] a, int fromIndex, int toIndex, long key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(int @ReadOnly [] a, int key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(int @ReadOnly [] a, int fromIndex, int toIndex, int key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(short @ReadOnly [] a, short key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(short @ReadOnly [] a, int fromIndex, int toIndex, short key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(char @ReadOnly [] a, char key ) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(char @ReadOnly [] a, int fromIndex, int toIndex, char key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(byte @ReadOnly [] a, byte key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(byte @ReadOnly [] a, int fromIndex, int toIndex, byte key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(double @ReadOnly [] a, double key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(double @ReadOnly [] a, int fromIndex, int toIndex, double key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(float @ReadOnly [] a, float key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(float @ReadOnly [] a, int fromIndex, int toIndex, float key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(@ReadOnly Object @ReadOnly [] a, @ReadOnly Object key) { throw new RuntimeException("skeleton method"); }
    public static int binarySearch(@ReadOnly Object @ReadOnly [] a, int fromIndex, int toIndex, @ReadOnly Object key) { throw new RuntimeException("skeleton method"); }
    public static <T> int binarySearch(T @ReadOnly [] a, @ReadOnly T key,  Comparator<? super T> c) { throw new RuntimeException("skeleton method"); }
    public static <T> int binarySearch(T @ReadOnly [] a, int fromIndex, int toIndex, @ReadOnly T key, Comparator<? super T> c) { throw new RuntimeException("skeleton method"); }
    public static boolean equals(long @ReadOnly [] a, long @ReadOnly [] a2) { throw new RuntimeException("skeleton method"); }
    public static boolean equals(int @ReadOnly [] a, int @ReadOnly [] a2) { throw new RuntimeException("skeleton method"); }
    public static boolean equals(short @ReadOnly [] a, short @ReadOnly [] a2) { throw new RuntimeException("skeleton method"); }
    public static boolean equals(char @ReadOnly [] a, char @ReadOnly [] a2) { throw new RuntimeException("skeleton method"); }
    public static boolean equals(byte @ReadOnly [] a, byte @ReadOnly [] a2) { throw new RuntimeException("skeleton method"); }
    public static boolean equals(boolean @ReadOnly [] a, boolean @ReadOnly [] a2) { throw new RuntimeException("skeleton method"); }
    public static boolean equals(double @ReadOnly [] a, double @ReadOnly [] a2) { throw new RuntimeException("skeleton method"); }
    public static boolean equals(float @ReadOnly [] a, float @ReadOnly [] a2) { throw new RuntimeException("skeleton method"); }
    public static boolean equals(@ReadOnly Object @ReadOnly [] a, @ReadOnly Object @ReadOnly [] a2) { throw new RuntimeException("skeleton method"); }
    public static void fill(long[] a, long val) { throw new RuntimeException("skeleton method"); }
    public static void fill(long[] a, int fromIndex, int toIndex, long val) { throw new RuntimeException("skeleton method"); }
    public static void fill(int[] a, int val) { throw new RuntimeException("skeleton method"); }
    public static void fill(int[] a, int fromIndex, int toIndex, int val) { throw new RuntimeException("skeleton method"); }
    public static void fill(short[] a, short val) { throw new RuntimeException("skeleton method"); }
    public static void fill(short[] a, int fromIndex, int toIndex, short val) { throw new RuntimeException("skeleton method"); }
    public static void fill(char[] a, char val) { throw new RuntimeException("skeleton method"); }
    public static void fill(char[] a, int fromIndex, int toIndex, char val) { throw new RuntimeException("skeleton method"); }
    public static void fill(byte[] a, byte val) { throw new RuntimeException("skeleton method"); }
    public static void fill(byte[] a, int fromIndex, int toIndex, byte val) { throw new RuntimeException("skeleton method"); }
    public static void fill(boolean[] a, boolean val) { throw new RuntimeException("skeleton method"); }
    public static void fill(boolean[] a, int fromIndex, int toIndex, boolean val) { throw new RuntimeException("skeleton method"); }
    public static void fill(double[] a, double val) { throw new RuntimeException("skeleton method"); }
    public static void fill(double[] a, int fromIndex, int toIndex,double val) { throw new RuntimeException("skeleton method"); }
    public static void fill(float[] a, float val) { throw new RuntimeException("skeleton method"); }
    public static void fill(float[] a, int fromIndex, int toIndex, float val) { throw new RuntimeException("skeleton method"); }
    public static void fill(Object[] a, Object val) { throw new RuntimeException("skeleton method"); }
    public static void fill(Object[] a, int fromIndex, int toIndex, Object val) { throw new RuntimeException("skeleton method"); }
    public static <T> T[] copyOf(T @ReadOnly [] original, int newLength) { throw new RuntimeException("skeleton method"); }
    public static <T,U> T[] copyOf(U @ReadOnly [] original, int newLength,  Class<? extends T[]> newType) { throw new RuntimeException("skeleton method"); }
    public static byte[] copyOf(byte @ReadOnly [] original, int newLength) { throw new RuntimeException("skeleton method"); }
    public static short[] copyOf(short @ReadOnly [] original, int newLength) { throw new RuntimeException("skeleton method"); }
    public static int[] copyOf(int @ReadOnly [] original, int newLength) { throw new RuntimeException("skeleton method"); }
    public static long[] copyOf(long @ReadOnly [] original, int newLength) { throw new RuntimeException("skeleton method"); }
    public static char[] copyOf(char @ReadOnly [] original, int newLength) { throw new RuntimeException("skeleton method"); }
    public static float[] copyOf(float @ReadOnly [] original, int newLength) { throw new RuntimeException("skeleton method"); }
    public static double[] copyOf(double @ReadOnly [] original, int newLength) { throw new RuntimeException("skeleton method"); }
    public static boolean[] copyOf(boolean @ReadOnly [] original, int newLength) { throw new RuntimeException("skeleton method"); }
    public static <T> T[] copyOfRange(T @ReadOnly [] original, int from, int to) { throw new RuntimeException("skeleton method"); }
    public static <T,U> T[] copyOfRange(U @ReadOnly [] original, int from, int to, Class<? extends T[]> newType) { throw new RuntimeException("skeleton method"); }
    public static byte[] copyOfRange(byte @ReadOnly [] original, int from, int to) { throw new RuntimeException("skeleton method"); }
    public static short[] copyOfRange(short @ReadOnly [] original, int from, int to) { throw new RuntimeException("skeleton method"); }
    public static int[] copyOfRange(int @ReadOnly [] original, int from, int to) { throw new RuntimeException("skeleton method"); }
    public static long[] copyOfRange(long @ReadOnly [] original, int from, int to) { throw new RuntimeException("skeleton method"); }
    public static char[] copyOfRange(char @ReadOnly [] original, int from, int to) { throw new RuntimeException("skeleton method"); }
    public static float[] copyOfRange(float @ReadOnly [] original, int from, int to) { throw new RuntimeException("skeleton method"); }
    public static double[] copyOfRange(double @ReadOnly [] original, int from, int to) { throw new RuntimeException("skeleton method"); }
    public static boolean[] copyOfRange(boolean @ReadOnly [] original, int from, int to) { throw new RuntimeException("skeleton method"); }
    @SuppressWarnings("varargs")
    public static <T> List<T> asList(T... a) { throw new RuntimeException("skeleton method"); }
    public static int hashCode(@ReadOnly long a[]) { throw new RuntimeException("skeleton method"); }
    public static int hashCode(@ReadOnly int a[]) { throw new RuntimeException("skeleton method"); }
    public static int hashCode(@ReadOnly short a[]) { throw new RuntimeException("skeleton method"); }
    public static int hashCode(@ReadOnly char a[]) { throw new RuntimeException("skeleton method"); }
    public static int hashCode(@ReadOnly byte a[]) { throw new RuntimeException("skeleton method"); }
    public static int hashCode(@ReadOnly boolean a[]) { throw new RuntimeException("skeleton method"); }
    public static int hashCode(@ReadOnly float a[]) { throw new RuntimeException("skeleton method"); }
    public static int hashCode(@ReadOnly double a[]) { throw new RuntimeException("skeleton method"); }
    public static int hashCode(@ReadOnly Object @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static int deepHashCode(@ReadOnly Object @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static boolean deepEquals(@ReadOnly Object @ReadOnly [] a1, @ReadOnly Object @ReadOnly [] a2) { throw new RuntimeException("skeleton method"); }
    public static String toString(long @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static String toString(int @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static String toString(short @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static String toString(char @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static String toString(byte @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static String toString(boolean @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static String toString(float @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static String toString(double @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static String toString(@ReadOnly Object @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
    public static String deepToString(@ReadOnly Object @ReadOnly [] a) { throw new RuntimeException("skeleton method"); }
}