Math.java

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

public final class Math {

    private Math() {}

    public static final double E = 2.7182818284590452354;
    public static final double PI = 3.14159265358979323846;

    public static double sin(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double cos(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double tan(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double asin(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double acos(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double atan(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double toRadians(double angdeg) {
        throw new RuntimeException("skeleton method");
    }

    public static double toDegrees(double angrad) {
        throw new RuntimeException("skeleton method");
    }

    public static double exp(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double log(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double log10(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double sqrt(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double cbrt(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double IEEEremainder(double f1, double f2) {
        throw new RuntimeException("skeleton method");
    }

    public static double ceil(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double floor(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double rint(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static double atan2(double y, double x) {
        throw new RuntimeException("skeleton method");
    }

    public static double pow(double a, double b) {
        throw new RuntimeException("skeleton method");
    }

    public static int round(float a) {
        throw new RuntimeException("skeleton method");
    }

    public static long round(double a) {
        throw new RuntimeException("skeleton method");
    }

    private static Random randomNumberGenerator;

    private static synchronized void initRNG() {
        throw new RuntimeException("skeleton method");
    }

    public static double random() {
        throw new RuntimeException("skeleton method");
    }

    public static int abs(int a) {
        throw new RuntimeException("skeleton method");
    }

    public static long abs(long a) {
        throw new RuntimeException("skeleton method");
    }

    public static float abs(float a) {
        throw new RuntimeException("skeleton method");
    }

    public static double abs(double a) {
        throw new RuntimeException("skeleton method");
    }

    public static int max(int a, int b) {
        throw new RuntimeException("skeleton method");
    }

    public static long max(long a, long b) {
        throw new RuntimeException("skeleton method");
    }

    private static long negativeZeroFloatBits = Float.floatToIntBits(-0.0f);
    private static long negativeZeroDoubleBits = Double.doubleToLongBits(-0.0d);

    public static float max(float a, float b) {
        throw new RuntimeException("skeleton method");
    }

    public static double max(double a, double b) {
        throw new RuntimeException("skeleton method");
    }

    public static int min(int a, int b) {
        throw new RuntimeException("skeleton method");
    }

    public static long min(long a, long b) {
        throw new RuntimeException("skeleton method");
    }

    public static float min(float a, float b) {
        throw new RuntimeException("skeleton method");
    }

    public static double min(double a, double b) {
        throw new RuntimeException("skeleton method");
    }

    public static double ulp(double d) {
        throw new RuntimeException("skeleton method");
    }

    public static float ulp(float f) {
        throw new RuntimeException("skeleton method");
    }

    public static double signum(double d) {
        throw new RuntimeException("skeleton method");
    }

    public static float signum(float f) {
        throw new RuntimeException("skeleton method");
    }

    public static double sinh(double x) {
        throw new RuntimeException("skeleton method");
    }

    public static double cosh(double x) {
        throw new RuntimeException("skeleton method");
    }

    public static double tanh(double x) {
        throw new RuntimeException("skeleton method");
    }

    public static double hypot(double x, double y) {
        throw new RuntimeException("skeleton method");
    }

    public static double expm1(double x) {
        throw new RuntimeException("skeleton method");
    }

    public static double log1p(double x) {
        throw new RuntimeException("skeleton method");
    }

    public static double copySign(double magnitude, double sign) {
        throw new RuntimeException("skeleton method");
    }

    public static float copySign(float magnitude, float sign) {
        throw new RuntimeException("skeleton method");
    }

    public static int getExponent(float f) {
        throw new RuntimeException("skeleton method");
    }

    public static int getExponent(double d) {
        throw new RuntimeException("skeleton method");
    }

    public static double nextAfter(double start, double direction) {
        throw new RuntimeException("skeleton method");
    }

    public static float nextAfter(float start, double direction) {
        throw new RuntimeException("skeleton method");
    }

    public static double nextUp(double d) {
        throw new RuntimeException("skeleton method");
    }

    public static float nextUp(float f) {
        throw new RuntimeException("skeleton method");
    }

    public static double scalb(double d, int scaleFactor) {
        throw new RuntimeException("skeleton method");
    }

    public static float scalb(float f, int scaleFactor) {
        throw new RuntimeException("skeleton method");
    }
}