Arrays.java

package java.util;

import org.checkerframework.dataflow.qual.Pure;
import org.checkerframework.dataflow.qual.SideEffectFree;
import org.checkerframework.checker.nullness.qual.Nullable;
import org.checkerframework.checker.nullness.qual.PolyNull;

public class Arrays {
  protected Arrays() {}
  public static void sort(long[] a1) { throw new RuntimeException("skeleton method"); }
  public static void sort(long[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static void sort(int[] a1) { throw new RuntimeException("skeleton method"); }
  public static void sort(int[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static void sort(short[] a1) { throw new RuntimeException("skeleton method"); }
  public static void sort(short[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static void sort(char[] a1) { throw new RuntimeException("skeleton method"); }
  public static void sort(char[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static void sort(byte[] a1) { throw new RuntimeException("skeleton method"); }
  public static void sort(byte[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static void sort(double[] a1) { throw new RuntimeException("skeleton method"); }
  public static void sort(double[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static void sort(float[] a1) { throw new RuntimeException("skeleton method"); }
  public static void sort(float[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static void sort(Object[] a1) { throw new RuntimeException("skeleton method"); }
  public static void sort(Object[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static <T> void sort(T[] a1, @Nullable Comparator<? super T> a2) { throw new RuntimeException("skeleton method"); }
  public static <T> void sort(T[] a1, int a2, int a3, @Nullable Comparator<? super T> a4) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(long[] a1, long a2) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(long[] a1, int a2, int a3, long a4) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(int[] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(int[] a1, int a2, int a3, int a4) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(short[] a1, short a2) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(short[] a1, int a2, int a3, short a4) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(char[] a1, char a2) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(char[] a1, int a2, int a3, char a4) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(byte[] a1, byte a2) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(byte[] a1, int a2, int a3, byte a4) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(double[] a1, double a2) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(double[] a1, int a2, int a3, double a4) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(float[] a1, float a2) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(float[] a1, int a2, int a3, float a4) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(@Nullable Object[] a1, @Nullable Object a2) { throw new RuntimeException("skeleton method"); }
  public static int binarySearch(@Nullable Object[] a1, int a2, int a3, @Nullable Object a4) { throw new RuntimeException("skeleton method"); }
  public static <T> int binarySearch(T[] a1, T a2, @Nullable Comparator<? super T> a3) { throw new RuntimeException("skeleton method"); }
  public static <T> int binarySearch(T[] a1, int a2, int a3, T a4, @Nullable Comparator<? super T> a5) { throw new RuntimeException("skeleton method"); }
  @Pure public static boolean equals(long @Nullable [] a1, long @Nullable [] a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static boolean equals(int @Nullable [] a1, int @Nullable [] a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static boolean equals(short @Nullable [] a1, short @Nullable [] a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static boolean equals(char @Nullable [] a1, char @Nullable [] a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static boolean equals(byte @Nullable [] a1, byte @Nullable [] a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static boolean equals(boolean @Nullable [] a1, boolean @Nullable [] a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static boolean equals(double @Nullable [] a1, double @Nullable [] a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static boolean equals(float @Nullable [] a1, float @Nullable [] a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static boolean equals(@PolyNull Object @Nullable [] a1, @PolyNull Object @Nullable [] a2) { throw new RuntimeException("skeleton method"); }
  public static void fill(long[] a1, long a2) { throw new RuntimeException("skeleton method"); }
  public static void fill(long[] a1, int a2, int a3, long a4) { throw new RuntimeException("skeleton method"); }
  public static void fill(int[] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static void fill(int[] a1, int a2, int a3, int a4) { throw new RuntimeException("skeleton method"); }
  public static void fill(short[] a1, short a2) { throw new RuntimeException("skeleton method"); }
  public static void fill(short[] a1, int a2, int a3, short a4) { throw new RuntimeException("skeleton method"); }
  public static void fill(char[] a1, char a2) { throw new RuntimeException("skeleton method"); }
  public static void fill(char[] a1, int a2, int a3, char a4) { throw new RuntimeException("skeleton method"); }
  public static void fill(byte[] a1, byte a2) { throw new RuntimeException("skeleton method"); }
  public static void fill(byte[] a1, int a2, int a3, byte a4) { throw new RuntimeException("skeleton method"); }
  public static void fill(boolean[] a1, boolean a2) { throw new RuntimeException("skeleton method"); }
  public static void fill(boolean[] a1, int a2, int a3, boolean a4) { throw new RuntimeException("skeleton method"); }
  public static void fill(double[] a1, double a2) { throw new RuntimeException("skeleton method"); }
  public static void fill(double[] a1, int a2, int a3, double a4) { throw new RuntimeException("skeleton method"); }
  public static void fill(float[] a1, float a2) { throw new RuntimeException("skeleton method"); }
  public static void fill(float[] a1, int a2, int a3, float a4) { throw new RuntimeException("skeleton method"); }
  public static void fill(@PolyNull Object[] a1, @PolyNull Object a2) { throw new RuntimeException("skeleton method"); }
  public static void fill(@PolyNull Object[] a1, int a2, int a3, @PolyNull Object a4) { throw new RuntimeException("skeleton method"); }
  public static <T> @Nullable T [] copyOf(T [] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static <T, U> @Nullable T [] copyOf(U [] a1, int a2, Class<? extends T[]> a3) { throw new RuntimeException("skeleton method"); }
  public static byte[] copyOf(byte[] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static short[] copyOf(short[] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static int[] copyOf(int[] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static long[] copyOf(long[] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static char[] copyOf(char[] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static float[] copyOf(float[] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static double[] copyOf(double[] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static boolean[] copyOf(boolean[] a1, int a2) { throw new RuntimeException("skeleton method"); }
  public static <T> @Nullable T[] copyOfRange(T[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static <T, U> @Nullable T[] copyOfRange(U[] a1, int a2, int a3, Class<? extends T[]> a4) { throw new RuntimeException("skeleton method"); }
  public static byte[] copyOfRange(byte[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static short[] copyOfRange(short[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static int[] copyOfRange(int[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static long[] copyOfRange(long[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static char[] copyOfRange(char[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static float[] copyOfRange(float[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static double[] copyOfRange(double[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  public static boolean[] copyOfRange(boolean[] a1, int a2, int a3) { throw new RuntimeException("skeleton method"); }
  // In JDK7, should instead be: @SafeVarargs
  @SuppressWarnings({"varargs","unchecked"})
  public static <T> List<T> asList(T... a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int hashCode(long @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int hashCode(int @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int hashCode(short @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int hashCode(char @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int hashCode(byte @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int hashCode(boolean @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int hashCode(float @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int hashCode(double @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int hashCode(@PolyNull Object @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int deepHashCode(@PolyNull Object @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static boolean deepEquals(@PolyNull Object @Nullable [] a1, @PolyNull Object @Nullable [] a2) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public static String toString(long @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public static String toString(int @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public static String toString(short @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public static String toString(char @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public static String toString(byte @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public static String toString(boolean @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public static String toString(float @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public static String toString(double @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public static String toString(@PolyNull Object @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public static String deepToString(@PolyNull Object @Nullable [] a1) { throw new RuntimeException("skeleton method"); }
}