JSObjectLinker.java revision 1147:889c5b47de69
155682Smarkm/* 2233294Sstas * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved. 3233294Sstas * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4233294Sstas * 555682Smarkm * This code is free software; you can redistribute it and/or modify it 6233294Sstas * under the terms of the GNU General Public License version 2 only, as 7233294Sstas * published by the Free Software Foundation. Oracle designates this 8233294Sstas * particular file as subject to the "Classpath" exception as provided 955682Smarkm * by Oracle in the LICENSE file that accompanied this code. 10233294Sstas * 11233294Sstas * This code is distributed in the hope that it will be useful, but WITHOUT 1255682Smarkm * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 13233294Sstas * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 14233294Sstas * version 2 for more details (a copy is included in the LICENSE file that 15233294Sstas * accompanied this code). 1655682Smarkm * 17233294Sstas * You should have received a copy of the GNU General Public License version 18233294Sstas * 2 along with this work; if not, write to the Free Software Foundation, 19233294Sstas * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 2055682Smarkm * 21233294Sstas * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 22233294Sstas * or visit www.oracle.com if you need additional information or have any 23233294Sstas * questions. 24233294Sstas */ 25233294Sstas 26233294Sstaspackage jdk.nashorn.internal.runtime.linker; 27233294Sstas 28233294Sstasimport java.lang.invoke.MethodHandle; 29233294Sstasimport java.lang.invoke.MethodHandles; 30233294Sstasimport java.lang.invoke.MethodType; 31233294Sstasimport java.util.HashMap; 3255682Smarkmimport java.util.Map; 3355682Smarkmimport javax.script.Bindings; 3455682Smarkmimport jdk.internal.dynalink.CallSiteDescriptor; 3555682Smarkmimport jdk.internal.dynalink.linker.GuardedInvocation; 36178825Sdfrimport jdk.internal.dynalink.linker.GuardedTypeConversion; 37178825Sdfrimport jdk.internal.dynalink.linker.GuardingTypeConverterFactory; 38178825Sdfrimport jdk.internal.dynalink.linker.LinkRequest; 3955682Smarkmimport jdk.internal.dynalink.linker.LinkerServices; 40178825Sdfrimport jdk.internal.dynalink.linker.TypeBasedGuardingDynamicLinker; 41178825Sdfrimport jdk.internal.dynalink.support.CallSiteDescriptorFactory; 42233294Sstasimport jdk.nashorn.api.scripting.JSObject; 43178825Sdfrimport jdk.nashorn.internal.lookup.MethodHandleFactory; 44178825Sdfrimport jdk.nashorn.internal.lookup.MethodHandleFunctionality; 4555682Smarkmimport jdk.nashorn.internal.runtime.ConsString; 4655682Smarkmimport jdk.nashorn.internal.runtime.JSType; 4755682Smarkm 4855682Smarkm/** 49178825Sdfr * A Dynalink linker to handle web browser built-in JS (DOM etc.) objects as well 50233294Sstas * as ScriptObjects from other Nashorn contexts. 51178825Sdfr */ 52233294Sstasfinal class JSObjectLinker implements TypeBasedGuardingDynamicLinker, GuardingTypeConverterFactory { 53178825Sdfr private final NashornBeansLinker nashornBeansLinker; 54233294Sstas 55233294Sstas JSObjectLinker(final NashornBeansLinker nashornBeansLinker) { 56233294Sstas this.nashornBeansLinker = nashornBeansLinker; 57178825Sdfr } 58233294Sstas 59233294Sstas @Override 6055682Smarkm public boolean canLinkType(final Class<?> type) { 61233294Sstas return canLinkTypeStatic(type); 62178825Sdfr } 63233294Sstas 64233294Sstas static boolean canLinkTypeStatic(final Class<?> type) { 65233294Sstas // can link JSObject also handles Map, Bindings to make 66233294Sstas // sure those are not JSObjects. 6755682Smarkm return Map.class.isAssignableFrom(type) || 6855682Smarkm Bindings.class.isAssignableFrom(type) || 6955682Smarkm JSObject.class.isAssignableFrom(type); 7055682Smarkm } 7155682Smarkm 7255682Smarkm @Override 7355682Smarkm public GuardedInvocation getGuardedInvocation(final LinkRequest request, final LinkerServices linkerServices) throws Exception { 7455682Smarkm final LinkRequest requestWithoutContext = request.withoutRuntimeContext(); // Nashorn has no runtime context 7555682Smarkm final Object self = requestWithoutContext.getReceiver(); 7655682Smarkm final CallSiteDescriptor desc = requestWithoutContext.getCallSiteDescriptor(); 7755682Smarkm 7855682Smarkm if (desc.getNameTokenCount() < 2 || !"dyn".equals(desc.getNameToken(CallSiteDescriptor.SCHEME))) { 7955682Smarkm // We only support standard "dyn:*[:*]" operations 8055682Smarkm return null; 8155682Smarkm } 8255682Smarkm 8355682Smarkm final GuardedInvocation inv; 8455682Smarkm if (self instanceof JSObject) { 85178825Sdfr inv = lookup(desc, request, linkerServices); 86178825Sdfr } else if (self instanceof Map || self instanceof Bindings) { 87178825Sdfr // guard to make sure the Map or Bindings does not turn into JSObject later! 88178825Sdfr final GuardedInvocation beanInv = nashornBeansLinker.getGuardedInvocation(request, linkerServices); 89178825Sdfr inv = new GuardedInvocation(beanInv.getInvocation(), 9055682Smarkm NashornGuards.combineGuards(beanInv.getGuard(), NashornGuards.getNotJSObjectGuard())); 9178527Sassar } else { 9255682Smarkm throw new AssertionError(); // Should never reach here. 9355682Smarkm } 9455682Smarkm 9572445Sassar return Bootstrap.asTypeSafeReturn(inv, linkerServices, desc); 96233294Sstas } 97178825Sdfr 9855682Smarkm @Override 99233294Sstas public GuardedTypeConversion convertToType(final Class<?> sourceType, final Class<?> targetType) throws Exception { 10055682Smarkm final boolean sourceIsAlwaysJSObject = JSObject.class.isAssignableFrom(sourceType); 10155682Smarkm if(!sourceIsAlwaysJSObject && !sourceType.isAssignableFrom(JSObject.class)) { 10255682Smarkm return null; 10355682Smarkm } 10455682Smarkm 10555682Smarkm final MethodHandle converter = CONVERTERS.get(targetType); 10655682Smarkm if(converter == null) { 10755682Smarkm return null; 108178825Sdfr } 109178825Sdfr 11055682Smarkm return new GuardedTypeConversion(new GuardedInvocation(converter, sourceIsAlwaysJSObject ? null : IS_JSOBJECT_GUARD).asType(MethodType.methodType(targetType, sourceType)), true); 11155682Smarkm } 11255682Smarkm 11355682Smarkm 114178825Sdfr private GuardedInvocation lookup(final CallSiteDescriptor desc, final LinkRequest request, final LinkerServices linkerServices) throws Exception { 115178825Sdfr final String operator = CallSiteDescriptorFactory.tokenizeOperators(desc).get(0); 116178825Sdfr final int c = desc.getNameTokenCount(); 117178825Sdfr 118178825Sdfr switch (operator) { 119178825Sdfr case "getProp": 120178825Sdfr case "getElem": 121178825Sdfr case "getMethod": 122178825Sdfr if (c > 2) { 123178825Sdfr return findGetMethod(desc); 124178825Sdfr } 12555682Smarkm // For indexed get, we want get GuardedInvocation beans linker and pass it. 126178825Sdfr // JSObjectLinker.get uses this fallback getter for explicit signature method access. 12755682Smarkm return findGetIndexMethod(nashornBeansLinker.getGuardedInvocation(request, linkerServices)); 12855682Smarkm case "setProp": 12955682Smarkm case "setElem": 13055682Smarkm return c > 2 ? findSetMethod(desc) : findSetIndexMethod(); 13155682Smarkm case "call": 13255682Smarkm return findCallMethod(desc); 133233294Sstas case "new": 134233294Sstas return findNewMethod(desc); 135178825Sdfr default: 13655682Smarkm return null; 13755682Smarkm } 138178825Sdfr } 139178825Sdfr 140178825Sdfr private static GuardedInvocation findGetMethod(final CallSiteDescriptor desc) { 141178825Sdfr final String name = desc.getNameToken(CallSiteDescriptor.NAME_OPERAND); 142178825Sdfr final MethodHandle getter = MH.insertArguments(JSOBJECT_GETMEMBER, 1, name); 143178825Sdfr return new GuardedInvocation(getter, IS_JSOBJECT_GUARD); 144178825Sdfr } 14555682Smarkm 146178825Sdfr private static GuardedInvocation findGetIndexMethod(final GuardedInvocation inv) { 147178825Sdfr final MethodHandle getter = MH.insertArguments(JSOBJECTLINKER_GET, 0, inv.getInvocation()); 148178825Sdfr return inv.replaceMethods(getter, inv.getGuard()); 149178825Sdfr } 150178825Sdfr 151178825Sdfr private static GuardedInvocation findSetMethod(final CallSiteDescriptor desc) { 152178825Sdfr final MethodHandle getter = MH.insertArguments(JSOBJECT_SETMEMBER, 1, desc.getNameToken(2)); 153233294Sstas return new GuardedInvocation(getter, IS_JSOBJECT_GUARD); 154233294Sstas } 155178825Sdfr 156178825Sdfr private static GuardedInvocation findSetIndexMethod() { 157178825Sdfr return new GuardedInvocation(JSOBJECTLINKER_PUT, IS_JSOBJECT_GUARD); 158178825Sdfr } 159178825Sdfr 160178825Sdfr private static GuardedInvocation findCallMethod(final CallSiteDescriptor desc) { 161178825Sdfr // TODO: if call site is already a vararg, don't do asCollector 162178825Sdfr MethodHandle mh = JSOBJECT_CALL; 163178825Sdfr if (NashornCallSiteDescriptor.isApplyToCall(desc)) { 164178825Sdfr mh = MH.insertArguments(JSOBJECT_CALL_TO_APPLY, 0, JSOBJECT_CALL); 165178825Sdfr } 166178825Sdfr return new GuardedInvocation(MH.asCollector(mh, Object[].class, desc.getMethodType().parameterCount() - 2), IS_JSOBJECT_GUARD); 167178825Sdfr } 168178825Sdfr 169178825Sdfr private static GuardedInvocation findNewMethod(final CallSiteDescriptor desc) { 170178825Sdfr final MethodHandle func = MH.asCollector(JSOBJECT_NEW, Object[].class, desc.getMethodType().parameterCount() - 1); 171178825Sdfr return new GuardedInvocation(func, IS_JSOBJECT_GUARD); 172178825Sdfr } 173178825Sdfr 174178825Sdfr @SuppressWarnings("unused") 175178825Sdfr private static boolean isJSObject(final Object self) { 176233294Sstas return self instanceof JSObject; 177178825Sdfr } 178178825Sdfr 179178825Sdfr @SuppressWarnings("unused") 180178825Sdfr private static Object get(final MethodHandle fallback, final Object jsobj, final Object key) 181178825Sdfr throws Throwable { 182178825Sdfr if (key instanceof Integer) { 183178825Sdfr return ((JSObject)jsobj).getSlot((Integer)key); 184178825Sdfr } else if (key instanceof Number) { 185178825Sdfr final int index = getIndex((Number)key); 186178825Sdfr if (index > -1) { 187178825Sdfr return ((JSObject)jsobj).getSlot(index); 188178825Sdfr } 189233294Sstas } else if (key instanceof String || key instanceof ConsString) { 190178825Sdfr final String name = key.toString(); 191178825Sdfr // get with method name and signature. delegate it to beans linker! 192178825Sdfr if (name.indexOf('(') != -1) { 193178825Sdfr return fallback.invokeExact(jsobj, (Object) name); 19455682Smarkm } 19555682Smarkm return ((JSObject)jsobj).getMember(name); 19655682Smarkm } 197178825Sdfr return null; 198233294Sstas } 199233294Sstas 200233294Sstas @SuppressWarnings("unused") 201178825Sdfr private static void put(final Object jsobj, final Object key, final Object value) { 202178825Sdfr if (key instanceof Integer) { 203233294Sstas ((JSObject)jsobj).setSlot((Integer)key, value); 204233294Sstas } else if (key instanceof Number) { 205178825Sdfr ((JSObject)jsobj).setSlot(getIndex((Number)key), value); 206178825Sdfr } else if (key instanceof String || key instanceof ConsString) { 207178825Sdfr ((JSObject)jsobj).setMember(key.toString(), value); 20855682Smarkm } 209178825Sdfr } 21055682Smarkm 211178825Sdfr @SuppressWarnings("unused") 212178825Sdfr private static int toInt32(final JSObject obj) { 213178825Sdfr return JSType.toInt32(toNumber(obj)); 214178825Sdfr } 215178825Sdfr 216178825Sdfr @SuppressWarnings("unused") 217178825Sdfr private static long toLong(final JSObject obj) { 218178825Sdfr return JSType.toLong(toNumber(obj)); 219178825Sdfr } 220178825Sdfr 221178825Sdfr private static double toNumber(final JSObject obj) { 222178825Sdfr return obj == null ? 0 : obj.toNumber(); 223178825Sdfr } 224178825Sdfr 225178825Sdfr @SuppressWarnings("unused") 226178825Sdfr private static boolean toBoolean(final JSObject obj) { 227178825Sdfr return obj != null; 228178825Sdfr } 229178825Sdfr 230178825Sdfr private static int getIndex(final Number n) { 231178825Sdfr final double value = n.doubleValue(); 232178825Sdfr return JSType.isRepresentableAsInt(value) ? (int)value : -1; 233178825Sdfr } 23455682Smarkm 23555682Smarkm @SuppressWarnings("unused") 236 private static Object callToApply(final MethodHandle mh, final JSObject obj, final Object thiz, final Object... args) { 237 assert args.length >= 2; 238 final Object receiver = args[0]; 239 final Object[] arguments = new Object[args.length - 1]; 240 System.arraycopy(args, 1, arguments, 0, arguments.length); 241 try { 242 return mh.invokeExact(obj, thiz, new Object[] { receiver, arguments }); 243 } catch (final RuntimeException | Error e) { 244 throw e; 245 } catch (final Throwable e) { 246 throw new RuntimeException(e); 247 } 248 } 249 250 private static final MethodHandleFunctionality MH = MethodHandleFactory.getFunctionality(); 251 252 // method handles of the current class 253 private static final MethodHandle IS_JSOBJECT_GUARD = findOwnMH_S("isJSObject", boolean.class, Object.class); 254 private static final MethodHandle JSOBJECTLINKER_GET = findOwnMH_S("get", Object.class, MethodHandle.class, Object.class, Object.class); 255 private static final MethodHandle JSOBJECTLINKER_PUT = findOwnMH_S("put", Void.TYPE, Object.class, Object.class, Object.class); 256 257 // method handles of JSObject class 258 private static final MethodHandle JSOBJECT_GETMEMBER = findJSObjectMH_V("getMember", Object.class, String.class); 259 private static final MethodHandle JSOBJECT_SETMEMBER = findJSObjectMH_V("setMember", Void.TYPE, String.class, Object.class); 260 private static final MethodHandle JSOBJECT_CALL = findJSObjectMH_V("call", Object.class, Object.class, Object[].class); 261 private static final MethodHandle JSOBJECT_CALL_TO_APPLY = findOwnMH_S("callToApply", Object.class, MethodHandle.class, JSObject.class, Object.class, Object[].class); 262 private static final MethodHandle JSOBJECT_NEW = findJSObjectMH_V("newObject", Object.class, Object[].class); 263 264 private static final Map<Class<?>, MethodHandle> CONVERTERS = new HashMap<>(); 265 static { 266 CONVERTERS.put(boolean.class, findOwnMH_S("toBoolean", boolean.class, JSObject.class)); 267 CONVERTERS.put(int.class, findOwnMH_S("toInt32", int.class, JSObject.class)); 268 CONVERTERS.put(long.class, findOwnMH_S("toLong", long.class, JSObject.class)); 269 CONVERTERS.put(double.class, findOwnMH_S("toNumber", double.class, JSObject.class)); 270 } 271 272 private static MethodHandle findJSObjectMH_V(final String name, final Class<?> rtype, final Class<?>... types) { 273 return MH.findVirtual(MethodHandles.lookup(), JSObject.class, name, MH.type(rtype, types)); 274 } 275 276 private static MethodHandle findOwnMH_S(final String name, final Class<?> rtype, final Class<?>... types) { 277 return MH.findStatic(MethodHandles.lookup(), JSObjectLinker.class, name, MH.type(rtype, types)); 278 } 279} 280