| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 part of dart2js.js_emitter; | 5 part of dart2js.js_emitter; |
| 6 | 6 |
| 7 class ClassStubGenerator { | 7 class ClassStubGenerator { |
| 8 final Namer namer; | 8 final Namer namer; |
| 9 final Compiler compiler; | 9 final Compiler compiler; |
| 10 final JavaScriptBackend backend; | 10 final JavaScriptBackend backend; |
| 11 | 11 |
| 12 ClassStubGenerator(this.compiler, this.namer, this.backend); | 12 ClassStubGenerator(this.compiler, this.namer, this.backend); |
| 13 | 13 |
| 14 jsAst.Expression generateClassConstructor(ClassElement classElement, | 14 jsAst.Expression generateClassConstructor(ClassElement classElement, |
| 15 Iterable<String> fields) { | 15 Iterable<String> fields) { |
| 16 // TODO(sra): Implement placeholders in VariableDeclaration position: | 16 // TODO(sra): Implement placeholders in VariableDeclaration position: |
| 17 // | 17 // |
| 18 // String constructorName = namer.getNameOfClass(classElement); | 18 // String constructorName = namer.getNameOfClass(classElement); |
| 19 // return js.statement('function #(#) { #; }', | 19 // return js.statement('function #(#) { #; }', |
| 20 // [ constructorName, fields, | 20 // [ constructorName, fields, |
| 21 // fields.map( | 21 // fields.map( |
| 22 // (name) => js('this.# = #', [name, name]))])); | 22 // (name) => js('this.# = #', [name, name]))])); |
| 23 return js('function(#) { #; this.#();}', | 23 return js('function(#) { #; this.#();}', |
| 24 [fields, | 24 [fields, |
| 25 fields.map((name) => js('this.# = #', [name, name])), | 25 fields.map((name) => js('this.# = #', [name, name])), |
| 26 namer.deferredAction]); | 26 namer.deferredAction]); |
| 27 } | 27 } |
| 28 | 28 |
| 29 jsAst.Expression generateGetter(Element member, String fieldName) { | 29 jsAst.Expression generateGetter(Element member, jsAst.Name fieldName) { |
| 30 ClassElement cls = member.enclosingClass; | 30 ClassElement cls = member.enclosingClass; |
| 31 String receiver = backend.isInterceptorClass(cls) ? 'receiver' : 'this'; | 31 String receiver = backend.isInterceptorClass(cls) ? 'receiver' : 'this'; |
| 32 List<String> args = backend.isInterceptedMethod(member) ? ['receiver'] : []; | 32 List<String> args = backend.isInterceptedMethod(member) ? ['receiver'] : []; |
| 33 return js('function(#) { return #.# }', [args, receiver, fieldName]); | 33 return js('function(#) { return #.# }', [args, receiver, fieldName]); |
| 34 } | 34 } |
| 35 | 35 |
| 36 jsAst.Expression generateSetter(Element member, String fieldName) { | 36 jsAst.Expression generateSetter(Element member, jsAst.Name fieldName) { |
| 37 ClassElement cls = member.enclosingClass; | 37 ClassElement cls = member.enclosingClass; |
| 38 String receiver = backend.isInterceptorClass(cls) ? 'receiver' : 'this'; | 38 String receiver = backend.isInterceptorClass(cls) ? 'receiver' : 'this'; |
| 39 List<String> args = backend.isInterceptedMethod(member) ? ['receiver'] : []; | 39 List<String> args = backend.isInterceptedMethod(member) ? ['receiver'] : []; |
| 40 // TODO(floitsch): remove 'return'? | 40 // TODO(floitsch): remove 'return'? |
| 41 return js('function(#, v) { return #.# = v; }', | 41 return js('function(#, v) { return #.# = v; }', |
| 42 [args, receiver, fieldName]); | 42 [args, receiver, fieldName]); |
| 43 } | 43 } |
| 44 | 44 |
| 45 /** | 45 /** |
| 46 * Documentation wanted -- johnniwinther | 46 * Documentation wanted -- johnniwinther |
| 47 * | 47 * |
| 48 * Invariant: [member] must be a declaration element. | 48 * Invariant: [member] must be a declaration element. |
| 49 */ | 49 */ |
| 50 Map<String, jsAst.Expression> generateCallStubsForGetter( | 50 Map<jsAst.Name, jsAst.Expression> generateCallStubsForGetter( |
| 51 Element member, Map<Selector, TypeMaskSet> selectors) { | 51 Element member, Map<Selector, TypeMaskSet> selectors) { |
| 52 assert(invariant(member, member.isDeclaration)); | 52 assert(invariant(member, member.isDeclaration)); |
| 53 | 53 |
| 54 // If the method is intercepted, the stub gets the | 54 // If the method is intercepted, the stub gets the |
| 55 // receiver explicitely and we need to pass it to the getter call. | 55 // receiver explicitely and we need to pass it to the getter call. |
| 56 bool isInterceptedMethod = backend.isInterceptedMethod(member); | 56 bool isInterceptedMethod = backend.isInterceptedMethod(member); |
| 57 bool isInterceptorClass = | 57 bool isInterceptorClass = |
| 58 backend.isInterceptorClass(member.enclosingClass); | 58 backend.isInterceptorClass(member.enclosingClass); |
| 59 | 59 |
| 60 const String receiverArgumentName = r'$receiver'; | 60 const String receiverArgumentName = r'$receiver'; |
| 61 | 61 |
| 62 jsAst.Expression buildGetter() { | 62 jsAst.Expression buildGetter() { |
| 63 jsAst.Expression receiver = | 63 jsAst.Expression receiver = |
| 64 js(isInterceptorClass ? receiverArgumentName : 'this'); | 64 js(isInterceptorClass ? receiverArgumentName : 'this'); |
| 65 if (member.isGetter) { | 65 if (member.isGetter) { |
| 66 String getterName = namer.getterForElement(member); | 66 jsAst.Name getterName = namer.getterForElement(member); |
| 67 if (isInterceptedMethod) { | 67 if (isInterceptedMethod) { |
| 68 return js('this.#(#)', [getterName, receiver]); | 68 return js('this.#(#)', [getterName, receiver]); |
| 69 } | 69 } |
| 70 return js('#.#()', [receiver, getterName]); | 70 return js('#.#()', [receiver, getterName]); |
| 71 } else { | 71 } else { |
| 72 String fieldName = namer.instanceFieldPropertyName(member); | 72 jsAst.Name fieldName = namer.instanceFieldPropertyName(member); |
| 73 return js('#.#', [receiver, fieldName]); | 73 return js('#.#', [receiver, fieldName]); |
| 74 } | 74 } |
| 75 } | 75 } |
| 76 | 76 |
| 77 Map<String, jsAst.Expression> generatedStubs = <String, jsAst.Expression>{}; | 77 Map<jsAst.Name, jsAst.Expression> generatedStubs = |
| 78 <jsAst.Name, jsAst.Expression>{}; |
| 78 | 79 |
| 79 // Two selectors may match but differ only in type. To avoid generating | 80 // Two selectors may match but differ only in type. To avoid generating |
| 80 // identical stubs for each we track untyped selectors which already have | 81 // identical stubs for each we track untyped selectors which already have |
| 81 // stubs. | 82 // stubs. |
| 82 Set<Selector> generatedSelectors = new Set<Selector>(); | 83 Set<Selector> generatedSelectors = new Set<Selector>(); |
| 83 for (Selector selector in selectors.keys) { | 84 for (Selector selector in selectors.keys) { |
| 84 if (generatedSelectors.contains(selector)) continue; | 85 if (generatedSelectors.contains(selector)) continue; |
| 85 if (!selector.appliesUnnamed(member, compiler.world)) continue; | 86 if (!selector.appliesUnnamed(member, compiler.world)) continue; |
| 86 for (TypeMask mask in selectors[selector].masks) { | 87 for (TypeMask mask in selectors[selector].masks) { |
| 87 if (mask != null && | 88 if (mask != null && |
| 88 !mask.canHit(member, selector, compiler.world)) { | 89 !mask.canHit(member, selector, compiler.world)) { |
| 89 continue; | 90 continue; |
| 90 } | 91 } |
| 91 | 92 |
| 92 generatedSelectors.add(selector); | 93 generatedSelectors.add(selector); |
| 93 | 94 |
| 94 String invocationName = namer.invocationName(selector); | 95 jsAst.Name invocationName = namer.invocationName(selector); |
| 95 Selector callSelector = new Selector.callClosureFrom(selector); | 96 Selector callSelector = new Selector.callClosureFrom(selector); |
| 96 String closureCallName = namer.invocationName(callSelector); | 97 jsAst.Name closureCallName = namer.invocationName(callSelector); |
| 97 | 98 |
| 98 List<jsAst.Parameter> parameters = <jsAst.Parameter>[]; | 99 List<jsAst.Parameter> parameters = <jsAst.Parameter>[]; |
| 99 List<jsAst.Expression> arguments = <jsAst.Expression>[]; | 100 List<jsAst.Expression> arguments = <jsAst.Expression>[]; |
| 100 if (isInterceptedMethod) { | 101 if (isInterceptedMethod) { |
| 101 parameters.add(new jsAst.Parameter(receiverArgumentName)); | 102 parameters.add(new jsAst.Parameter(receiverArgumentName)); |
| 102 } | 103 } |
| 103 | 104 |
| 104 for (int i = 0; i < selector.argumentCount; i++) { | 105 for (int i = 0; i < selector.argumentCount; i++) { |
| 105 String name = 'arg$i'; | 106 String name = 'arg$i'; |
| 106 parameters.add(new jsAst.Parameter(name)); | 107 parameters.add(new jsAst.Parameter(name)); |
| 107 arguments.add(js('#', name)); | 108 arguments.add(js('#', name)); |
| 108 } | 109 } |
| 109 | 110 |
| 110 jsAst.Fun function = js( | 111 jsAst.Fun function = js( |
| 111 'function(#) { return #.#(#); }', | 112 'function(#) { return #.#(#); }', |
| 112 [ parameters, buildGetter(), closureCallName, arguments]); | 113 [ parameters, buildGetter(), closureCallName, arguments]); |
| 113 | 114 |
| 114 generatedStubs[invocationName] = function; | 115 generatedStubs[invocationName] = function; |
| 115 } | 116 } |
| 116 } | 117 } |
| 117 | 118 |
| 118 return generatedStubs; | 119 return generatedStubs; |
| 119 } | 120 } |
| 120 | 121 |
| 121 Map<String, Selector> computeSelectorsForNsmHandlers() { | 122 Map<jsAst.Name, Selector> computeSelectorsForNsmHandlers() { |
| 122 | 123 |
| 123 Map<String, Selector> jsNames = <String, Selector>{}; | 124 Map<jsAst.Name, Selector> jsNames = <jsAst.Name, Selector>{}; |
| 124 | 125 |
| 125 // Do not generate no such method handlers if there is no class. | 126 // Do not generate no such method handlers if there is no class. |
| 126 if (compiler.codegenWorld.directlyInstantiatedClasses.isEmpty) { | 127 if (compiler.codegenWorld.directlyInstantiatedClasses.isEmpty) { |
| 127 return jsNames; | 128 return jsNames; |
| 128 } | 129 } |
| 129 | 130 |
| 130 void addNoSuchMethodHandlers(String ignore, | 131 void addNoSuchMethodHandlers(String ignore, |
| 131 Map<Selector, TypeMaskSet> selectors) { | 132 Map<Selector, TypeMaskSet> selectors) { |
| 132 TypeMask objectSubclassTypeMask = | 133 TypeMask objectSubclassTypeMask = |
| 133 new TypeMask.subclass(compiler.objectClass, compiler.world); | 134 new TypeMask.subclass(compiler.objectClass, compiler.world); |
| 134 | 135 |
| 135 for (Selector selector in selectors.keys) { | 136 for (Selector selector in selectors.keys) { |
| 136 TypeMaskSet maskSet = selectors[selector]; | 137 TypeMaskSet maskSet = selectors[selector]; |
| 137 for (TypeMask mask in maskSet.masks) { | 138 for (TypeMask mask in maskSet.masks) { |
| 138 if (mask == null) mask = objectSubclassTypeMask; | 139 if (mask == null) mask = objectSubclassTypeMask; |
| 139 | 140 |
| 140 if (mask.needsNoSuchMethodHandling(selector, compiler.world)) { | 141 if (mask.needsNoSuchMethodHandling(selector, compiler.world)) { |
| 141 String jsName = namer.invocationMirrorInternalName(selector); | 142 jsAst.Name jsName = namer.invocationMirrorInternalName(selector); |
| 142 jsNames[jsName] = selector; | 143 jsNames[jsName] = selector; |
| 143 break; | 144 break; |
| 144 } | 145 } |
| 145 } | 146 } |
| 146 } | 147 } |
| 147 } | 148 } |
| 148 | 149 |
| 149 compiler.codegenWorld.forEachInvokedName(addNoSuchMethodHandlers); | 150 compiler.codegenWorld.forEachInvokedName(addNoSuchMethodHandlers); |
| 150 compiler.codegenWorld.forEachInvokedGetter(addNoSuchMethodHandlers); | 151 compiler.codegenWorld.forEachInvokedGetter(addNoSuchMethodHandlers); |
| 151 compiler.codegenWorld.forEachInvokedSetter(addNoSuchMethodHandlers); | 152 compiler.codegenWorld.forEachInvokedSetter(addNoSuchMethodHandlers); |
| 152 return jsNames; | 153 return jsNames; |
| 153 } | 154 } |
| 154 | 155 |
| 155 StubMethod generateStubForNoSuchMethod(String name, Selector selector) { | 156 StubMethod generateStubForNoSuchMethod(jsAst.Name name, |
| 157 Selector selector) { |
| 156 // Values match JSInvocationMirror in js-helper library. | 158 // Values match JSInvocationMirror in js-helper library. |
| 157 int type = selector.invocationMirrorKind; | 159 int type = selector.invocationMirrorKind; |
| 158 List<String> parameterNames = | 160 List<String> parameterNames = |
| 159 new List.generate(selector.argumentCount, (i) => '\$$i'); | 161 new List.generate(selector.argumentCount, (i) => '\$$i'); |
| 160 | 162 |
| 161 List<jsAst.Expression> argNames = | 163 List<jsAst.Expression> argNames = |
| 162 selector.callStructure.getOrderedNamedArguments().map((String name) => | 164 selector.callStructure.getOrderedNamedArguments().map((String name) => |
| 163 js.string(name)).toList(); | 165 js.string(name)).toList(); |
| 164 | 166 |
| 165 String methodName = selector.invocationMirrorMemberName; | 167 jsAst.Name methodName = namer.asName(selector.invocationMirrorMemberName); |
| 166 String internalName = namer.invocationMirrorInternalName(selector); | 168 jsAst.Name internalName = namer.invocationMirrorInternalName(selector); |
| 167 | 169 |
| 168 assert(backend.isInterceptedName(Compiler.NO_SUCH_METHOD)); | 170 assert(backend.isInterceptedName(Compiler.NO_SUCH_METHOD)); |
| 169 jsAst.Expression expression = | 171 jsAst.Expression expression = |
| 170 js('''this.#noSuchMethodName(this, | 172 js('''this.#noSuchMethodName(this, |
| 171 #createInvocationMirror(#methodName, | 173 #createInvocationMirror(#methodName, |
| 172 #internalName, | 174 #internalName, |
| 173 #type, | 175 #type, |
| 174 #arguments, | 176 #arguments, |
| 175 #namedArguments))''', | 177 #namedArguments))''', |
| 176 {'noSuchMethodName': namer.noSuchMethodName, | 178 {'noSuchMethodName': namer.noSuchMethodName, |
| 177 'createInvocationMirror': | 179 'createInvocationMirror': |
| 178 backend.emitter.staticFunctionAccess( | 180 backend.emitter.staticFunctionAccess( |
| 179 backend.getCreateInvocationMirror()), | 181 backend.getCreateInvocationMirror()), |
| 180 'methodName': | 182 'methodName': |
| 181 js.string(compiler.enableMinification | 183 js.quoteName(compiler.enableMinification |
| 182 ? internalName : methodName), | 184 ? internalName : methodName), |
| 183 'internalName': js.string(internalName), | 185 'internalName': js.quoteName(internalName), |
| 184 'type': js.number(type), | 186 'type': js.number(type), |
| 185 'arguments': | 187 'arguments': |
| 186 new jsAst.ArrayInitializer(parameterNames.map(js).toList()), | 188 new jsAst.ArrayInitializer(parameterNames.map(js).toList()), |
| 187 'namedArguments': new jsAst.ArrayInitializer(argNames)}); | 189 'namedArguments': new jsAst.ArrayInitializer(argNames)}); |
| 188 | 190 |
| 189 jsAst.Expression function; | 191 jsAst.Expression function; |
| 190 if (backend.isInterceptedName(selector.name)) { | 192 if (backend.isInterceptedName(selector.name)) { |
| 191 function = js(r'function($receiver, #) { return # }', | 193 function = js(r'function($receiver, #) { return # }', |
| 192 [parameterNames, expression]); | 194 [parameterNames, expression]); |
| 193 } else { | 195 } else { |
| (...skipping 93 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 287 ? function() { | 289 ? function() { |
| 288 if (cache === void 0) cache = #tearOff( | 290 if (cache === void 0) cache = #tearOff( |
| 289 this, funcs, reflectionInfo, true, [], name).prototype; | 291 this, funcs, reflectionInfo, true, [], name).prototype; |
| 290 return cache; | 292 return cache; |
| 291 } | 293 } |
| 292 : tearOffGetter(funcs, reflectionInfo, name, isIntercepted); | 294 : tearOffGetter(funcs, reflectionInfo, name, isIntercepted); |
| 293 }''', {'tearOff': tearOffAccessExpression}); | 295 }''', {'tearOff': tearOffAccessExpression}); |
| 294 | 296 |
| 295 return <jsAst.Statement>[tearOffGetter, tearOff]; | 297 return <jsAst.Statement>[tearOffGetter, tearOff]; |
| 296 } | 298 } |
| OLD | NEW |