package java.lang;

import ej.annotation.Nullable;

/**
 * Thrown to indicate that an assertion has failed.
 *
 * <p>
 * The seven one-argument public constructors provided by this class ensure that the assertion error
 * returned by the invocation:
 *
 * <pre>
 *     new AssertionError(<i>expression</i>)
 * </pre>
 *
 * has as its detail message the <i>string conversion</i> of <i>expression</i> (as defined in
 * section 15.18.1.1 of <cite>The Java&trade; Language Specification</cite>), regardless of the type
 * of <i>expression</i>.
 */
public class AssertionError extends Error {

    /**
     * Constructs an AssertionError with no detail message.
     */
    public AssertionError() {
        throw new RuntimeException();
    }

    /**
     * Constructs an AssertionError with its detail message derived from the specified
     * <code>boolean</code>, which is converted to a string as defined in section 15.18.1.1 of <cite>The
     * Java&trade; Language Specification</cite>.
     *
     * @param detailMessage
     *        value to be used in constructing detail message
     */
    public AssertionError(boolean detailMessage) {
        throw new RuntimeException();
    }

    /**
     * Constructs an AssertionError with its detail message derived from the specified
     * <code>char</code>, which is converted to a string as defined in section 15.18.1.1 of <cite>The
     * Java&trade; Language Specification</cite>.
     *
     * @param detailMessage
     *        value to be used in constructing detail message
     */
    public AssertionError(char detailMessage) {
        throw new RuntimeException();
    }

    /**
     * Constructs an AssertionError with its detail message derived from the specified
     * <code>double</code>, which is converted to a string as defined in section 15.18.1.1 of <cite>The
     * Java&trade; Language Specification</cite>.
     *
     * @param detailMessage
     *        value to be used in constructing detail message
     */
    public AssertionError(double detailMessage) {
        throw new RuntimeException();
    }

    /**
     * Constructs an AssertionError with its detail message derived from the specified
     * <code>float</code>, which is converted to a string as defined in section 15.18.1.1 of <cite>The
     * Java&trade; Language Specification</cite>.
     *
     * @param detailMessage
     *        value to be used in constructing detail message
     */
    public AssertionError(float detailMessage) {
        throw new RuntimeException();
    }

    /**
     * Constructs an AssertionError with its detail message derived from the specified <code>int</code>,
     * which is converted to a string as defined in section 15.18.1.1 of <cite>The Java&trade; Language
     * Specification</cite>.
     *
     * @param detailMessage
     *        value to be used in constructing detail message
     */
    public AssertionError(int detailMessage) {
        throw new RuntimeException();
    }

    /**
     * Constructs an AssertionError with its detail message derived from the specified
     * <code>long</code>, which is converted to a string as defined in section 15.18.1.1 of <cite>The
     * Java&trade; Language Specification</cite>.
     *
     * @param detailMessage
     *        value to be used in constructing detail message
     */
    public AssertionError(long detailMessage) {
        throw new RuntimeException();
    }

    /**
     * Constructs an AssertionError with its detail message derived from the specified object, which is
     * converted to a string as defined in section 15.18.1.1 of <cite>The Java&trade; Language
     * Specification</cite>.
     * <p>
     * If the specified object is an instance of {@code Throwable}, it becomes the <i>cause</i> of the
     * newly constructed assertion error.
     *
     * @param detailMessage
     *        value to be used in constructing detail message
     * @see Throwable#getCause()
     */
    public AssertionError(Object detailMessage) {
        throw new RuntimeException();
    }

    /**
     * Constructs a new {@code AssertionError} with the specified detail message and cause.
     *
     * <p>
     * Note that the detail message associated with {@code cause} is <i>not</i> automatically
     * incorporated in this error's detail message.
     *
     * @param message
     *        the detail message, may be {@code null}
     * @param cause
     *        the cause, may be {@code null}
     */
    public AssertionError(String message, @Nullable Throwable cause) {
        throw new RuntimeException();
    }
}