Math.java

package java.lang;

import org.checkerframework.dataflow.qual.Pure;

public final class Math {
  public final static double E = 2.718281828459045;
  public final static double PI = 3.141592653589793;
  protected Math() {}
  @Pure public static double sin(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double cos(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double tan(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double asin(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double acos(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double atan(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double toRadians(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double toDegrees(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double exp(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double log(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double log10(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double sqrt(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double cbrt(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double IEEEremainder(double a1, double a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static double ceil(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double floor(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double rint(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double atan2(double a1, double a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static double pow(double a1, double a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static int round(float a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static long round(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double random() { throw new RuntimeException("skeleton method"); }
  @Pure public static int abs(int a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static long abs(long a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static float abs(float a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double abs(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int max(int a1, int a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static long max(long a1, long a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static float max(float a1, float a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static double max(double a1, double a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static int min(int a1, int a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static long min(long a1, long a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static float min(float a1, float a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static double min(double a1, double a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static double ulp(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static float ulp(float a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double signum(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static float signum(float a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double sinh(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double cosh(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double tanh(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double hypot(double a1, double a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static double expm1(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double log1p(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double copySign(double a1, double a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static float copySign(float a1, float a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static int getExponent(float a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static int getExponent(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double nextAfter(double a1, double a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static float nextAfter(float a1, double a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static double nextUp(double a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static float nextUp(float a1) { throw new RuntimeException("skeleton method"); }
  @Pure public static double scalb(double a1, int a2) { throw new RuntimeException("skeleton method"); }
  @Pure public static float scalb(float a1, int a2) { throw new RuntimeException("skeleton method"); }
}