/*

 * Copyright (c) 2008, 2011, 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.invoke;

import sun.invoke.util.VerifyType;

import sun.invoke.util.Wrapper;

import static java.lang.invoke.MethodHandleStatics.*;

/**

 * The flavor of method handle which emulates an invoke instruction

 * on a predetermined argument.  The JVM dispatches to the correct method

 * when the handle is created, not when it is invoked.

 * @author jrose

 */

class BoundMethodHandle extends MethodHandle {

    //MethodHandle vmtarget;           // next BMH or final DMH or methodOop

    private final Object argument;     // argument to insert

    private final int    vmargslot;    // position at which it is inserted

    // Constructors in this class *must* be package scoped or private.

    /** Bind a direct MH to its receiver (or first ref. argument).

     *  The JVM will pre-dispatch the MH if it is not already static.

     */

    /*non-public*/ BoundMethodHandle(DirectMethodHandle mh, Object argument) {

        super(mh.type().dropParameterTypes(0, 1));

        // check the type now, once for all:

        this.argument = checkReferenceArgument(argument, mh, 0);

        this.vmargslot = this.type().parameterSlotCount();

        initTarget(mh, 0);

    }

    /** Insert an argument into an arbitrary method handle.

     *  If argnum is zero, inserts the first argument, etc.

     *  The argument type must be a reference.

     */

    /*non-public*/ BoundMethodHandle(MethodHandle mh, Object argument, int argnum) {

        this(mh.type().dropParameterTypes(argnum, argnum+1),

             mh, argument, argnum);

    }

    /** Insert an argument into an arbitrary method handle.

     *  If argnum is zero, inserts the first argument, etc.

     */

    /*non-public*/ BoundMethodHandle(MethodType type, MethodHandle mh, Object argument, int argnum) {

        super(type);

        if (mh.type().parameterType(argnum).isPrimitive())

            this.argument = bindPrimitiveArgument(argument, mh, argnum);

        else {

            this.argument = checkReferenceArgument(argument, mh, argnum);

        }

        this.vmargslot = type.parameterSlotDepth(argnum);

        initTarget(mh, argnum);

    }

    private void initTarget(MethodHandle mh, int argnum) {

        //this.vmtarget = mh;  // maybe updated by JVM

        MethodHandleNatives.init(this, mh, argnum);

    }

    /** For the AdapterMethodHandle subclass.

     */

    /*non-public*/ BoundMethodHandle(MethodType type, Object argument, int vmargslot) {

        super(type);

        this.argument = argument;

        this.vmargslot = vmargslot;

        assert(this instanceof AdapterMethodHandle);

    }

    /** Initialize the current object as a self-bound method handle, binding it

     *  as the first argument of the method handle {@code entryPoint}.

     *  The invocation type of the resulting method handle will be the

     *  same as {@code entryPoint},  except that the first argument

     *  type will be dropped.

     */

    /*non-public*/ BoundMethodHandle(MethodHandle entryPoint) {

        super(entryPoint.type().dropParameterTypes(0, 1));

        this.argument = this; // kludge; get rid of

        this.vmargslot = this.type().parameterSlotDepth(0);

        initTarget(entryPoint, 0);

    }

    /** Make sure the given {@code argument} can be used as {@code argnum}-th

     *  parameter of the given method handle {@code mh}, which must be a reference.

     *  <p>

     *  If this fails, throw a suitable {@code WrongMethodTypeException},

     *  which will prevent the creation of an illegally typed bound

     *  method handle.

     */

    final static Object checkReferenceArgument(Object argument, MethodHandle mh, int argnum) {

        Class<?> ptype = mh.type().parameterType(argnum);

        if (ptype.isPrimitive()) {

            // fail

        } else if (argument == null) {

            return null;

        } else if (VerifyType.isNullReferenceConversion(argument.getClass(), ptype)) {

            return argument;

        }

        throw badBoundArgumentException(argument, mh, argnum);

    }

    /** Make sure the given {@code argument} can be used as {@code argnum}-th

     *  parameter of the given method handle {@code mh}, which must be a primitive.

     *  <p>

     *  If this fails, throw a suitable {@code WrongMethodTypeException},

     *  which will prevent the creation of an illegally typed bound

     *  method handle.

     */

    final static Object bindPrimitiveArgument(Object argument, MethodHandle mh, int argnum) {

        Class<?> ptype = mh.type().parameterType(argnum);

        Wrapper  wrap = Wrapper.forPrimitiveType(ptype);

        Object   zero  = wrap.zero();

        if (zero == null) {

            // fail

        } else if (argument == null) {

            if (ptype != int.class && wrap.isSubwordOrInt())

                return Integer.valueOf(0);

            else

                return zero;

        } else if (VerifyType.isNullReferenceConversion(argument.getClass(), zero.getClass())) {

            if (ptype != int.class && wrap.isSubwordOrInt())

                return Wrapper.INT.wrap(argument);

            else

                return argument;

        }

        throw badBoundArgumentException(argument, mh, argnum);

    }

    final static RuntimeException badBoundArgumentException(Object argument, MethodHandle mh, int argnum) {

        String atype = (argument == null) ? "null" : argument.getClass().toString();

        return new ClassCastException("cannot bind "+atype+" argument to parameter #"+argnum+" of "+mh.type());

    }

    @Override

    String debugString() {

        return addTypeString(baseName(), this);

    }

    /** Component of toString() before the type string. */

    protected String baseName() {

        MethodHandle mh = this;

        while (mh instanceof BoundMethodHandle) {

            Object info = MethodHandleNatives.getTargetInfo(mh);

            if (info instanceof MethodHandle) {

                mh = (MethodHandle) info;

            } else {

                String name = null;

                if (info instanceof MemberName)

                    name = ((MemberName)info).getName();

                if (name != null)

                    return name;

                else

                    return noParens(super.toString()); // "invoke", probably

            }

            assert(mh != this);

        }

        return noParens(mh.toString());

    }

    private static String noParens(String str) {

        int paren = str.indexOf('(');

        if (paren >= 0) str = str.substring(0, paren);

        return str;

    }

}