/*

  * Copyright (c) 1996, 2006, Oracle and/or its affiliates. All rights reserved.

  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

  *

  * This code is free software; you can redistribute it and/or modify it

  * under the terms of the GNU General Public License version 2 only, as

  * published by the Free Software Foundation.  Oracle designates this

  * particular file as subject to the "Classpath" exception as provided

  * by Oracle in the LICENSE file that accompanied this code.

  *

  * This code is distributed in the hope that it will be useful, but WITHOUT

  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

  * version 2 for more details (a copy is included in the LICENSE file that

  * accompanied this code).

  *

  * You should have received a copy of the GNU General Public License version

  * 2 along with this work; if not, write to the Free Software Foundation,

  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

  *

  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

  * or visit www.oracle.com if you need additional information or have any

  * questions.

  */

 package java.lang.reflect;

 import org.apidesign.bck2brwsr.core.JavaScriptBody;

 import org.apidesign.bck2brwsr.core.JavaScriptPrototype;

 /**

  * The {@code Array} class provides static methods to dynamically create and

  * access Java arrays.

  *

  * <p>{@code Array} permits widening conversions to occur during a get or set

  * operation, but throws an {@code IllegalArgumentException} if a narrowing

  * conversion would occur.

  *

  * @author Nakul Saraiya

  */

 @JavaScriptPrototype(prototype = "new Array", container = "Array.prototype")

 public final

 class Array {

     /**

      * Constructor.  Class Array is not instantiable.

      */

     private Array() {}

     /**

      * Creates a new array with the specified component type and

      * length.

      * Invoking this method is equivalent to creating an array

      * as follows:

      * <blockquote>

      * <pre>

      * int[] x = {length};

      * Array.newInstance(componentType, x);

      * </pre>

      * </blockquote>

      *

      * @param componentType the {@code Class} object representing the

      * component type of the new array

      * @param length the length of the new array

      * @return the new array

      * @exception NullPointerException if the specified

      * {@code componentType} parameter is null

      * @exception IllegalArgumentException if componentType is {@link Void#TYPE}

      * @exception NegativeArraySizeException if the specified {@code length}

      * is negative

      */

     public static Object newInstance(Class<?> componentType, int length)

     throws NegativeArraySizeException {

         if (length < 0) {

             throw new NegativeArraySizeException();

         }

         String sig = findSignature(componentType);

         return newArray(componentType.isPrimitive(), sig, length);

     }

     private static String findSignature(Class<?> type) {

         if (type == Integer.TYPE) {

             return "[I";

         }

         if (type == Long.TYPE) {

             return "[J";

         }

         if (type == Double.TYPE) {

             return "[D";

         }

         if (type == Float.TYPE) {

             return "[F";

         }

         if (type == Byte.TYPE) {

             return "[B";

         }

         if (type == Boolean.TYPE) {

             return "[Z";

         }

         if (type == Short.TYPE) {

             return "[S";

         }

         if (type == Character.TYPE) {

             return "[C";

         }

         if (type.getName().equals("void")) {

             throw new IllegalStateException("Can't create array for " + type);

         }

         return "[L" + type.getName() + ";";

     }

     /**

      * Creates a new array

      * with the specified component type and dimensions.

      * If {@code componentType}

      * represents a non-array class or interface, the new array

      * has {@code dimensions.length} dimensions and

      * {@code componentType} as its component type. If

      * {@code componentType} represents an array class, the

      * number of dimensions of the new array is equal to the sum

      * of {@code dimensions.length} and the number of

      * dimensions of {@code componentType}. In this case, the

      * component type of the new array is the component type of

      * {@code componentType}.

      *

      * <p>The number of dimensions of the new array must not

      * exceed the number of array dimensions supported by the

      * implementation (typically 255).

      *

      * @param componentType the {@code Class} object representing the component

      * type of the new array

      * @param dimensions an array of {@code int} representing the dimensions of

      * the new array

      * @return the new array

      * @exception NullPointerException if the specified

      * {@code componentType} argument is null

      * @exception IllegalArgumentException if the specified {@code dimensions}

      * argument is a zero-dimensional array, or if the number of

      * requested dimensions exceeds the limit on the number of array dimensions

      * supported by the implementation (typically 255), or if componentType

      * is {@link Void#TYPE}.

      * @exception NegativeArraySizeException if any of the components in

      * the specified {@code dimensions} argument is negative.

      */

     public static Object newInstance(Class<?> componentType, int... dimensions)

         throws IllegalArgumentException, NegativeArraySizeException {

         StringBuilder sig = new StringBuilder();

         for (int i = 1; i < dimensions.length; i++) {

             sig.append('[');

         }

         sig.append(findSignature(componentType));

         return multiNewArray(sig.toString(), dimensions, 0);

     }

     /**

      * Returns the length of the specified array object, as an {@code int}.

      *

      * @param array the array

      * @return the length of the array

      * @exception IllegalArgumentException if the object argument is not

      * an array

      */

     public static int getLength(Object array)

     throws IllegalArgumentException {

         if (!array.getClass().isArray()) {

             throw new IllegalArgumentException("Argument is not an array");

         }

         return length(array);

     }

     @JavaScriptBody(args = { "arr" }, body = "return arr.length;")

     private static native int length(Object arr);

     /**

      * Returns the value of the indexed component in the specified

      * array object.  The value is automatically wrapped in an object

      * if it has a primitive type.

      *

      * @param array the array

      * @param index the index

      * @return the (possibly wrapped) value of the indexed component in

      * the specified array

      * @exception NullPointerException If the specified object is null

      * @exception IllegalArgumentException If the specified object is not

      * an array

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to the

      * length of the specified array

      */

     public static Object get(Object array, int index)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         final Class<?> t = array.getClass().getComponentType();

         if (t.isPrimitive()) {

             return fromPrimitive(t, array, index);

         } else {

             return ((Object[])array)[index];

         }

     }

     /**

      * Returns the value of the indexed component in the specified

      * array object, as a {@code boolean}.

      *

      * @param array the array

      * @param index the index

      * @return the value of the indexed component in the specified array

      * @exception NullPointerException If the specified object is null

      * @exception IllegalArgumentException If the specified object is not

      * an array, or if the indexed element cannot be converted to the

      * return type by an identity or widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to the

      * length of the specified array

      * @see Array#get

      */

     public static native boolean getBoolean(Object array, int index)

         throws IllegalArgumentException, ArrayIndexOutOfBoundsException;

     /**

      * Returns the value of the indexed component in the specified

      * array object, as a {@code byte}.

      *

      * @param array the array

      * @param index the index

      * @return the value of the indexed component in the specified array

      * @exception NullPointerException If the specified object is null

      * @exception IllegalArgumentException If the specified object is not

      * an array, or if the indexed element cannot be converted to the

      * return type by an identity or widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to the

      * length of the specified array

      * @see Array#get

      */

     public static byte getByte(Object array, int index)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         if (array.getClass().getComponentType() != Byte.TYPE) {

             throw new IllegalArgumentException();

         }

         byte[] arr = (byte[]) array;

         return arr[index];

     }

     /**

      * Returns the value of the indexed component in the specified

      * array object, as a {@code char}.

      *

      * @param array the array

      * @param index the index

      * @return the value of the indexed component in the specified array

      * @exception NullPointerException If the specified object is null

      * @exception IllegalArgumentException If the specified object is not

      * an array, or if the indexed element cannot be converted to the

      * return type by an identity or widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to the

      * length of the specified array

      * @see Array#get

      */

     public static native char getChar(Object array, int index)

         throws IllegalArgumentException, ArrayIndexOutOfBoundsException;

     /**

      * Returns the value of the indexed component in the specified

      * array object, as a {@code short}.

      *

      * @param array the array

      * @param index the index

      * @return the value of the indexed component in the specified array

      * @exception NullPointerException If the specified object is null

      * @exception IllegalArgumentException If the specified object is not

      * an array, or if the indexed element cannot be converted to the

      * return type by an identity or widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to the

      * length of the specified array

      * @see Array#get

      */

     public static short getShort(Object array, int index)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         final Class<?> t = array.getClass().getComponentType();

         if (t == Short.TYPE) {

             short[] arr = (short[]) array;

             return arr[index];

         }

         return getByte(array, index);

     }

     /**

      * Returns the value of the indexed component in the specified

      * array object, as an {@code int}.

      *

      * @param array the array

      * @param index the index

      * @return the value of the indexed component in the specified array

      * @exception NullPointerException If the specified object is null

      * @exception IllegalArgumentException If the specified object is not

      * an array, or if the indexed element cannot be converted to the

      * return type by an identity or widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to the

      * length of the specified array

      * @see Array#get

      */

     public static int getInt(Object array, int index) 

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         final Class<?> t = array.getClass().getComponentType();

         if (t == Integer.TYPE) {

             int[] arr = (int[]) array;

             return arr[index];

         }

         return getShort(array, index);

     }

     /**

      * Returns the value of the indexed component in the specified

      * array object, as a {@code long}.

      *

      * @param array the array

      * @param index the index

      * @return the value of the indexed component in the specified array

      * @exception NullPointerException If the specified object is null

      * @exception IllegalArgumentException If the specified object is not

      * an array, or if the indexed element cannot be converted to the

      * return type by an identity or widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to the

      * length of the specified array

      * @see Array#get

      */

     public static long getLong(Object array, int index)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         final Class<?> t = array.getClass().getComponentType();

         if (t == Long.TYPE) {

             long[] arr = (long[]) array;

             return arr[index];

         }

         return getInt(array, index);

     }

     /**

      * Returns the value of the indexed component in the specified

      * array object, as a {@code float}.

      *

      * @param array the array

      * @param index the index

      * @return the value of the indexed component in the specified array

      * @exception NullPointerException If the specified object is null

      * @exception IllegalArgumentException If the specified object is not

      * an array, or if the indexed element cannot be converted to the

      * return type by an identity or widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to the

      * length of the specified array

      * @see Array#get

      */

     public static float getFloat(Object array, int index)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         final Class<?> t = array.getClass().getComponentType();

         if (t == Float.TYPE) {

             float[] arr = (float[]) array;

             return arr[index];

         }

         return getLong(array, index);

     }

     /**

      * Returns the value of the indexed component in the specified

      * array object, as a {@code double}.

      *

      * @param array the array

      * @param index the index

      * @return the value of the indexed component in the specified array

      * @exception NullPointerException If the specified object is null

      * @exception IllegalArgumentException If the specified object is not

      * an array, or if the indexed element cannot be converted to the

      * return type by an identity or widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to the

      * length of the specified array

      * @see Array#get

      */

     public static double getDouble(Object array, int index)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         final Class<?> t = array.getClass().getComponentType();

         if (t == Double.TYPE) {

             double[] arr = (double[]) array;

             return arr[index];

         }

         return getFloat(array, index);

     }

     /**

      * Sets the value of the indexed component of the specified array

      * object to the specified new value.  The new value is first

      * automatically unwrapped if the array has a primitive component

      * type.

      * @param array the array

      * @param index the index into the array

      * @param value the new value of the indexed component

      * @exception NullPointerException If the specified object argument

      * is null

      * @exception IllegalArgumentException If the specified object argument

      * is not an array, or if the array component type is primitive and

      * an unwrapping conversion fails

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to

      * the length of the specified array

      */

     public static void set(Object array, int index, Object value)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         if (array.getClass().getComponentType().isPrimitive()) {

             throw new IllegalArgumentException();

         } else {

             Object[] arr = (Object[])array;

             arr[index] = value;

         }

     }

     /**

      * Sets the value of the indexed component of the specified array

      * object to the specified {@code boolean} value.

      * @param array the array

      * @param index the index into the array

      * @param z the new value of the indexed component

      * @exception NullPointerException If the specified object argument

      * is null

      * @exception IllegalArgumentException If the specified object argument

      * is not an array, or if the specified value cannot be converted

      * to the underlying array's component type by an identity or a

      * primitive widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to

      * the length of the specified array

      * @see Array#set

      */

     public static native void setBoolean(Object array, int index, boolean z)

         throws IllegalArgumentException, ArrayIndexOutOfBoundsException;

     /**

      * Sets the value of the indexed component of the specified array

      * object to the specified {@code byte} value.

      * @param array the array

      * @param index the index into the array

      * @param b the new value of the indexed component

      * @exception NullPointerException If the specified object argument

      * is null

      * @exception IllegalArgumentException If the specified object argument

      * is not an array, or if the specified value cannot be converted

      * to the underlying array's component type by an identity or a

      * primitive widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to

      * the length of the specified array

      * @see Array#set

      */

     public static void setByte(Object array, int index, byte b)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         Class<?> t = array.getClass().getComponentType();

         if (t == Byte.TYPE) {

             byte[] arr = (byte[]) array;

             arr[index] = b;

         } else {

             setShort(array, index, b);

         }

     }

     /**

      * Sets the value of the indexed component of the specified array

      * object to the specified {@code char} value.

      * @param array the array

      * @param index the index into the array

      * @param c the new value of the indexed component

      * @exception NullPointerException If the specified object argument

      * is null

      * @exception IllegalArgumentException If the specified object argument

      * is not an array, or if the specified value cannot be converted

      * to the underlying array's component type by an identity or a

      * primitive widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to

      * the length of the specified array

      * @see Array#set

      */

     public static native void setChar(Object array, int index, char c)

         throws IllegalArgumentException, ArrayIndexOutOfBoundsException;

     /**

      * Sets the value of the indexed component of the specified array

      * object to the specified {@code short} value.

      * @param array the array

      * @param index the index into the array

      * @param s the new value of the indexed component

      * @exception NullPointerException If the specified object argument

      * is null

      * @exception IllegalArgumentException If the specified object argument

      * is not an array, or if the specified value cannot be converted

      * to the underlying array's component type by an identity or a

      * primitive widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to

      * the length of the specified array

      * @see Array#set

      */

     public static void setShort(Object array, int index, short s)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         Class<?> t = array.getClass().getComponentType();

         if (t == Short.TYPE) {

             short[] arr = (short[]) array;

             arr[index] = s;

         } else {

             setInt(array, index, s);

         }

     }

     /**

      * Sets the value of the indexed component of the specified array

      * object to the specified {@code int} value.

      * @param array the array

      * @param index the index into the array

      * @param i the new value of the indexed component

      * @exception NullPointerException If the specified object argument

      * is null

      * @exception IllegalArgumentException If the specified object argument

      * is not an array, or if the specified value cannot be converted

      * to the underlying array's component type by an identity or a

      * primitive widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to

      * the length of the specified array

      * @see Array#set

      */

     public static void setInt(Object array, int index, int i)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         Class<?> t = array.getClass().getComponentType();

         if (t == Integer.TYPE) {

             int[] arr = (int[]) array;

             arr[index] = i;

         } else {

             setLong(array, index, i);

         }

     }

     /**

      * Sets the value of the indexed component of the specified array

      * object to the specified {@code long} value.

      * @param array the array

      * @param index the index into the array

      * @param l the new value of the indexed component

      * @exception NullPointerException If the specified object argument

      * is null

      * @exception IllegalArgumentException If the specified object argument

      * is not an array, or if the specified value cannot be converted

      * to the underlying array's component type by an identity or a

      * primitive widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to

      * the length of the specified array

      * @see Array#set

      */

     public static void setLong(Object array, int index, long l)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         Class<?> t = array.getClass().getComponentType();

         if (t == Long.TYPE) {

             long[] arr = (long[]) array;

             arr[index] = l;

         } else {

             setFloat(array, index, l);

         }

     }

     /**

      * Sets the value of the indexed component of the specified array

      * object to the specified {@code float} value.

      * @param array the array

      * @param index the index into the array

      * @param f the new value of the indexed component

      * @exception NullPointerException If the specified object argument

      * is null

      * @exception IllegalArgumentException If the specified object argument

      * is not an array, or if the specified value cannot be converted

      * to the underlying array's component type by an identity or a

      * primitive widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to

      * the length of the specified array

      * @see Array#set

      */

     public static void setFloat(Object array, int index, float f)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         Class<?> t = array.getClass().getComponentType();

         if (t == Float.TYPE) {

             float[] arr = (float[])array;

             arr[index] = f;

         } else {

             setDouble(array, index, f);

         }

     }

     /**

      * Sets the value of the indexed component of the specified array

      * object to the specified {@code double} value.

      * @param array the array

      * @param index the index into the array

      * @param d the new value of the indexed component

      * @exception NullPointerException If the specified object argument

      * is null

      * @exception IllegalArgumentException If the specified object argument

      * is not an array, or if the specified value cannot be converted

      * to the underlying array's component type by an identity or a

      * primitive widening conversion

      * @exception ArrayIndexOutOfBoundsException If the specified {@code index}

      * argument is negative, or if it is greater than or equal to

      * the length of the specified array

      * @see Array#set

      */

     public static void setDouble(Object array, int index, double d)

     throws IllegalArgumentException, ArrayIndexOutOfBoundsException {

         Class<?> t = array.getClass().getComponentType();

         if (t == Double.TYPE) {

             double[] arr = (double[])array;

             arr[index] = d;

         } else {

             throw new IllegalArgumentException("argument type mismatch");

         }

     }

     /*

      * Private

      */

     @JavaScriptBody(args = { "primitive", "sig", "length" }, body =

           "var arr = new Array(length);\n"

         + "var value = primitive ? 0 : null;\n"

         + "for(var i = 0; i < length; i++) arr[i] = value;\n"

         + "arr.jvmName = sig;\n"

         + "return arr;"

     )

     private static native Object newArray(boolean primitive, String sig, int length);

     private static Object multiNewArray(String sig, int[] dims, int index)

     throws IllegalArgumentException, NegativeArraySizeException {

         if (dims.length == index + 1) {

             return newArray(sig.length() == 2, sig, dims[index]);

         }

         Object arr = newArray(false, sig, dims[index]);

         String compsig = sig.substring(1);

         int len = getLength(arr);

         for (int i = 0; i < len; i++) {

             setArray(arr, i, multiNewArray(compsig, dims, index + 1));

         }

         return arr;

     }

     private static Object fromPrimitive(Class<?> t, Object array, int index) {

         return Method.fromPrimitive(t, atArray(array, index));

     }

     @JavaScriptBody(args = { "array", "index" }, body = "return array[index];")

     private static native Object atArray(Object array, int index);

     @JavaScriptBody(args = { "array", "index", "v" }, body = "array[index] = v;")

     private static native Object setArray(Object array, int index, Object v);

 }