nashorn/src/jdk/nashorn/internal/runtime/linker/NashornBottomLinker.java
author sundar
Sat, 09 Mar 2013 21:49:32 +0530
changeset 16277 fd698c5ee684
parent 16256 f2d9a0c49914
child 19088 153f268bfa72
permissions -rw-r--r--
8009559: clean up method handle lookup code. Reviewed-by: ahgross, jlaskey, attila, sundar
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     1
/*
16151
97c1e756ae1e 8005663: Update copyright year to 2013
jlaskey
parents: 16147
diff changeset
     2
 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     4
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    10
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    15
 * accompanied this code).
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    16
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    20
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    23
 * questions.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    24
 */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    25
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    26
package jdk.nashorn.internal.runtime.linker;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    27
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    28
import static jdk.nashorn.internal.runtime.ECMAErrors.typeError;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    29
import static jdk.nashorn.internal.runtime.ScriptRuntime.UNDEFINED;
16277
fd698c5ee684 8009559: clean up method handle lookup code.
sundar
parents: 16256
diff changeset
    30
import static jdk.nashorn.internal.lookup.Lookup.MH;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    31
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    32
import java.lang.invoke.MethodHandle;
16234
86cb162cec6c 8008085: Integrate Dynalink source code into Nashorn codebase
attila
parents: 16188
diff changeset
    33
import jdk.internal.dynalink.CallSiteDescriptor;
16246
f60e04200be3 8008387: Improve code coverage tests for JSObjectLinker and NashornBottomLinker
sundar
parents: 16234
diff changeset
    34
import jdk.internal.dynalink.beans.BeansLinker;
16234
86cb162cec6c 8008085: Integrate Dynalink source code into Nashorn codebase
attila
parents: 16188
diff changeset
    35
import jdk.internal.dynalink.linker.GuardedInvocation;
86cb162cec6c 8008085: Integrate Dynalink source code into Nashorn codebase
attila
parents: 16188
diff changeset
    36
import jdk.internal.dynalink.linker.GuardingDynamicLinker;
86cb162cec6c 8008085: Integrate Dynalink source code into Nashorn codebase
attila
parents: 16188
diff changeset
    37
import jdk.internal.dynalink.linker.LinkRequest;
86cb162cec6c 8008085: Integrate Dynalink source code into Nashorn codebase
attila
parents: 16188
diff changeset
    38
import jdk.internal.dynalink.linker.LinkerServices;
86cb162cec6c 8008085: Integrate Dynalink source code into Nashorn codebase
attila
parents: 16188
diff changeset
    39
import jdk.internal.dynalink.support.Guards;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    40
import jdk.nashorn.internal.runtime.ScriptRuntime;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    41
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    42
/**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    43
 * Nashorn bottom linker; used as a last-resort catch-all linker for all linking requests that fall through all other
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    44
 * linkers (see how {@link Bootstrap} class configures the dynamic linker in its static initializer). It will throw
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    45
 * appropriate ECMAScript errors for attempts to invoke operations on {@code null}, link no-op property getters and
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    46
 * setters for Java objects that couldn't be linked by any other linker, and throw appropriate ECMAScript errors for
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    47
 * attempts to invoke arbitrary Java objects as functions or constructors.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    48
 */
16277
fd698c5ee684 8009559: clean up method handle lookup code.
sundar
parents: 16256
diff changeset
    49
final class NashornBottomLinker implements GuardingDynamicLinker {
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    50
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    51
    @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    52
    public GuardedInvocation getGuardedInvocation(final LinkRequest linkRequest, final LinkerServices linkerServices)
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    53
            throws Exception {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    54
        final Object self = linkRequest.getReceiver();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    55
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    56
        if (self == null) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    57
            return linkNull(linkRequest);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    58
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    59
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    60
        // None of the objects that can be linked by NashornLinker should ever reach here. Basically, anything below
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    61
        // this point is a generic Java bean. Therefore, reaching here with a ScriptObject is a Nashorn bug.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    62
        assert isExpectedObject(self) : "Couldn't link " + linkRequest.getCallSiteDescriptor() + " for " + self.getClass().getName();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    63
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    64
        return linkBean(linkRequest, linkerServices);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    65
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    66
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    67
    private static final MethodHandle EMPTY_PROP_GETTER =
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    68
            MH.dropArguments(MH.constant(Object.class, UNDEFINED), 0, Object.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    69
    private static final MethodHandle EMPTY_ELEM_GETTER =
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    70
            MH.dropArguments(EMPTY_PROP_GETTER, 0, Object.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    71
    private static final MethodHandle EMPTY_PROP_SETTER =
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    72
            MH.asType(EMPTY_ELEM_GETTER, EMPTY_ELEM_GETTER.type().changeReturnType(void.class));
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    73
    private static final MethodHandle EMPTY_ELEM_SETTER =
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    74
            MH.dropArguments(EMPTY_PROP_SETTER, 0, Object.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    75
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    76
    private static GuardedInvocation linkBean(final LinkRequest linkRequest, final LinkerServices linkerServices) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    77
        final NashornCallSiteDescriptor desc = (NashornCallSiteDescriptor)linkRequest.getCallSiteDescriptor();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    78
        final Object self = linkRequest.getReceiver();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    79
        final String operator = desc.getFirstOperator();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    80
        switch (operator) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    81
        case "new":
16246
f60e04200be3 8008387: Improve code coverage tests for JSObjectLinker and NashornBottomLinker
sundar
parents: 16234
diff changeset
    82
            if(BeansLinker.isDynamicMethod(self)) {
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16246
diff changeset
    83
                throw typeError("method.not.constructor", ScriptRuntime.safeToString(self));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    84
            }
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16246
diff changeset
    85
            throw typeError("not.a.function", ScriptRuntime.safeToString(self));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    86
        case "call":
16246
f60e04200be3 8008387: Improve code coverage tests for JSObjectLinker and NashornBottomLinker
sundar
parents: 16234
diff changeset
    87
            if(BeansLinker.isDynamicMethod(self)) {
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16246
diff changeset
    88
                throw typeError("no.method.matches.args", ScriptRuntime.safeToString(self));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    89
            }
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16246
diff changeset
    90
            throw typeError("not.a.function", ScriptRuntime.safeToString(self));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    91
        case "callMethod":
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    92
        case "getMethod":
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16246
diff changeset
    93
            throw typeError("no.such.function", getArgument(linkRequest), ScriptRuntime.safeToString(self));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    94
        case "getProp":
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    95
        case "getElem":
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    96
            if (desc.getOperand() != null) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    97
                return getInvocation(EMPTY_PROP_GETTER, self, linkerServices, desc);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    98
            }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    99
            return getInvocation(EMPTY_ELEM_GETTER, self, linkerServices, desc);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   100
        case "setProp":
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   101
        case "setElem":
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   102
            if (desc.getOperand() != null) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   103
                return getInvocation(EMPTY_PROP_SETTER, self, linkerServices, desc);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   104
            }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   105
            return getInvocation(EMPTY_ELEM_SETTER, self, linkerServices, desc);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   106
        default:
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   107
            break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   108
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   109
        throw new AssertionError("unknown call type " + desc);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   110
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   111
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   112
    private static GuardedInvocation getInvocation(final MethodHandle handle, final Object self, final LinkerServices linkerServices, final CallSiteDescriptor desc) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   113
        return Bootstrap.asType(new GuardedInvocation(handle, Guards.getClassGuard(self.getClass())), linkerServices, desc);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   114
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   115
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   116
    // Used solely in an assertion to figure out if the object we get here is something we in fact expect. Objects
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   117
    // linked by NashornLinker should never reach here.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   118
    private static boolean isExpectedObject(final Object obj) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   119
        return !(NashornLinker.canLinkTypeStatic(obj.getClass()));
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   120
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   121
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   122
    private static GuardedInvocation linkNull(final LinkRequest linkRequest) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   123
        final NashornCallSiteDescriptor desc = (NashornCallSiteDescriptor)linkRequest.getCallSiteDescriptor();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   124
        final String operator = desc.getFirstOperator();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   125
        switch (operator) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   126
        case "new":
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   127
        case "call":
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16246
diff changeset
   128
            throw typeError("not.a.function", "null");
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   129
        case "callMethod":
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   130
        case "getMethod":
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16246
diff changeset
   131
            throw typeError("no.such.function", getArgument(linkRequest), "null");
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   132
        case "getProp":
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   133
        case "getElem":
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16246
diff changeset
   134
            throw typeError("cant.get.property", getArgument(linkRequest), "null");
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   135
        case "setProp":
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   136
        case "setElem":
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16246
diff changeset
   137
            throw typeError("cant.set.property", getArgument(linkRequest), "null");
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   138
        default:
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   139
            break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   140
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   141
        throw new AssertionError("unknown call type " + desc);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   142
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   143
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   144
    private static String getArgument(final LinkRequest linkRequest) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   145
        final CallSiteDescriptor desc = linkRequest.getCallSiteDescriptor();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   146
        if (desc.getNameTokenCount() > 2) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   147
            return desc.getNameToken(2);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   148
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   149
        return ScriptRuntime.safeToString(linkRequest.getArguments()[1]);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   150
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   151
}