Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(151)

Side by Side Diff: lib/src/compiler/code_generator.dart

Issue 2069903002: Partial fix for call methods #542 (Closed) Base URL: git@github.com:dart-lang/dev_compiler.git@master
Patch Set: fix to not use dcall Created 4 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « lib/runtime/dart_sdk.js ('k') | test/browser/language_tests.js » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2015, 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 import 'dart:collection' show HashMap, HashSet; 5 import 'dart:collection' show HashMap, HashSet;
6 import 'dart:math' show min, max; 6 import 'dart:math' show min, max;
7 7
8 import 'package:analyzer/analyzer.dart' hide ConstantEvaluator; 8 import 'package:analyzer/analyzer.dart' hide ConstantEvaluator;
9 import 'package:analyzer/dart/ast/ast.dart'; 9 import 'package:analyzer/dart/ast/ast.dart';
10 import 'package:analyzer/dart/ast/token.dart' show Token, TokenType; 10 import 'package:analyzer/dart/ast/token.dart' show Token, TokenType;
(...skipping 683 matching lines...) Expand 10 before | Expand all | Expand 10 after
694 if (findAnnotation(classElem, isPublicJSAnnotation) != null) return null; 694 if (findAnnotation(classElem, isPublicJSAnnotation) != null) return null;
695 695
696 // If this is a JavaScript type, emit it now and then exit. 696 // If this is a JavaScript type, emit it now and then exit.
697 var jsTypeDef = _emitJsType(classElem); 697 var jsTypeDef = _emitJsType(classElem);
698 if (jsTypeDef != null) return jsTypeDef; 698 if (jsTypeDef != null) return jsTypeDef;
699 699
700 var ctors = <ConstructorDeclaration>[]; 700 var ctors = <ConstructorDeclaration>[];
701 var fields = <FieldDeclaration>[]; 701 var fields = <FieldDeclaration>[];
702 var staticFields = <FieldDeclaration>[]; 702 var staticFields = <FieldDeclaration>[];
703 var methods = <MethodDeclaration>[]; 703 var methods = <MethodDeclaration>[];
704
705 // True if a "call" method or getter exists. This can also be
706 // "noSuchMethod" method, because nSM could implement "call".
707 bool isCallable = false;
704 for (var member in node.members) { 708 for (var member in node.members) {
705 if (member is ConstructorDeclaration) { 709 if (member is ConstructorDeclaration) {
706 ctors.add(member); 710 ctors.add(member);
707 } else if (member is FieldDeclaration) { 711 } else if (member is FieldDeclaration) {
708 (member.isStatic ? staticFields : fields).add(member); 712 (member.isStatic ? staticFields : fields).add(member);
709 } else if (member is MethodDeclaration) { 713 } else if (member is MethodDeclaration) {
710 methods.add(member); 714 methods.add(member);
715 var name = member.name.name;
716 if (name == 'call' && !member.isSetter) {
717 isCallable = true;
718 } else if (name == 'noSuchMethod' &&
719 !member.isGetter &&
720 !member.isSetter &&
721 // Exclude SDK because we know they don't use nSM to implement call.
722 !classElem.library.source.isInSystemLibrary) {
723 isCallable = true;
724 }
711 } 725 }
712 } 726 }
713 727
714 JS.Expression className; 728 JS.Expression className;
715 if (classElem.typeParameters.isNotEmpty) { 729 if (classElem.typeParameters.isNotEmpty) {
716 // Generic classes will be defined inside a function that closes over the 730 // Generic classes will be defined inside a function that closes over the
717 // type parameter. So we can use their local variable name directly. 731 // type parameter. So we can use their local variable name directly.
718 className = new JS.Identifier(classElem.name); 732 className = new JS.Identifier(classElem.name);
719 } else { 733 } else {
720 className = _emitTopLevelName(classElem); 734 className = _emitTopLevelName(classElem);
(...skipping 10 matching lines...) Expand all
731 var classExpr = _emitClassExpression(classElem, 745 var classExpr = _emitClassExpression(classElem,
732 _emitClassMethods(node, ctors, fields, superclasses, virtualFields), 746 _emitClassMethods(node, ctors, fields, superclasses, virtualFields),
733 fields: allFields); 747 fields: allFields);
734 748
735 var body = <JS.Statement>[]; 749 var body = <JS.Statement>[];
736 var extensions = _extensionsToImplement(classElem); 750 var extensions = _extensionsToImplement(classElem);
737 _initExtensionSymbols(classElem, methods, fields, body); 751 _initExtensionSymbols(classElem, methods, fields, body);
738 _emitSuperHelperSymbols(_superHelperSymbols, body); 752 _emitSuperHelperSymbols(_superHelperSymbols, body);
739 753
740 // Emit the class, e.g. `core.Object = class Object { ... }` 754 // Emit the class, e.g. `core.Object = class Object { ... }`
741 _defineClass(classElem, className, classExpr, body); 755 _defineClass(classElem, className, classExpr, isCallable, body);
742 756
743 // Emit things that come after the ES6 `class ... { ... }`. 757 // Emit things that come after the ES6 `class ... { ... }`.
744 var jsPeerName = _getJSPeerName(classElem); 758 var jsPeerName = _getJSPeerName(classElem);
745 _setBaseClass(classElem, className, jsPeerName, body); 759 _setBaseClass(classElem, className, jsPeerName, body);
746 760
747 _emitClassTypeTests(classElem, className, body); 761 _emitClassTypeTests(classElem, className, body);
748 762
749 _defineNamedConstructors(ctors, body, className); 763 _defineNamedConstructors(ctors, body, className, isCallable);
750 _emitVirtualFieldSymbols(virtualFieldSymbols, body); 764 _emitVirtualFieldSymbols(virtualFieldSymbols, body);
751 _emitClassSignature(methods, classElem, ctors, extensions, className, body); 765 _emitClassSignature(methods, classElem, ctors, extensions, className, body);
752 _defineExtensionMembers(extensions, className, body); 766 _defineExtensionMembers(extensions, className, body);
753 _emitClassMetadata(node.metadata, className, body); 767 _emitClassMetadata(node.metadata, className, body);
754 768
755 JS.Statement classDef = _statement(body); 769 JS.Statement classDef = _statement(body);
756 var typeFormals = classElem.typeParameters; 770 var typeFormals = classElem.typeParameters;
757 if (typeFormals.isNotEmpty) { 771 if (typeFormals.isNotEmpty) {
758 classDef = _defineClassTypeArguments(classElem, typeFormals, classDef); 772 classDef = _defineClassTypeArguments(classElem, typeFormals, classDef);
759 } 773 }
760 774
761 body = <JS.Statement>[classDef]; 775 body = <JS.Statement>[classDef];
762 _emitStaticFields(staticFields, staticFieldOverrides, classElem, body); 776 _emitStaticFields(staticFields, staticFieldOverrides, classElem, body);
763 _registerExtensionType(classElem, jsPeerName, body); 777 _registerExtensionType(classElem, jsPeerName, body);
764 return _statement(body); 778 return _statement(body);
765 } 779 }
766 780
781 /// Emits code to support a class with a "call" method and an unnamed
782 /// constructor.
783 ///
784 /// This ensures instances created by the unnamed constructor are functions.
785 /// Named constructors are handled elsewhere, see [_defineNamedConstructors].
786 JS.Expression _emitCallableClass(JS.ClassExpression classExpr,
787 ConstructorElement unnamedCtor) {
788 var ctor = new JS.NamedFunction(
789 classExpr.name, _emitCallableClassConstructor(unnamedCtor));
790
791 // Name the constructor function the same as the class.
792 return js.call('dart.callableClass(#, #)', [ctor, classExpr]);
793 }
794
795 JS.Fun _emitCallableClassConstructor(
796 ConstructorElement ctor) {
797
798 return js.call(
799 r'''function (...args) {
800 const self = this;
801 function call(...args) {
802 return self.call.apply(self, args);
803 }
804 call.__proto__ = this.__proto__;
805 call.#.apply(call, args);
806 return call;
807 }''',
808 [_constructorName(ctor)]);
809 }
810
767 void _emitClassTypeTests(ClassElement classElem, JS.Expression className, 811 void _emitClassTypeTests(ClassElement classElem, JS.Expression className,
768 List<JS.Statement> body) { 812 List<JS.Statement> body) {
769 if (classElem == objectClass) { 813 if (classElem == objectClass) {
770 // We rely on ES6 static inheritance. All types that are represented by 814 // We rely on ES6 static inheritance. All types that are represented by
771 // class constructor functions will see these definitions, with [this] 815 // class constructor functions will see these definitions, with [this]
772 // being bound to the class constructor. 816 // being bound to the class constructor.
773 817
774 // The 'instanceof' checks don't work for primitive types (which have fast 818 // The 'instanceof' checks don't work for primitive types (which have fast
775 // definitions below) and don't work for native types. In those cases we 819 // definitions below) and don't work for native types. In those cases we
776 // fall through to the general purpose checking code. 820 // fall through to the general purpose checking code.
(...skipping 194 matching lines...) Expand 10 before | Expand all | Expand 10 after
971 virtualFields[field.element] = virtualField; 1015 virtualFields[field.element] = virtualField;
972 virtualFieldSymbols.add(js.statement( 1016 virtualFieldSymbols.add(js.statement(
973 'const # = Symbol(#.name + "." + #.toString());', 1017 'const # = Symbol(#.name + "." + #.toString());',
974 [virtualField, className, fieldName])); 1018 [virtualField, className, fieldName]));
975 } 1019 }
976 } 1020 }
977 } 1021 }
978 } 1022 }
979 } 1023 }
980 1024
981 void _defineClass(ClassElement classElem, JS.Expression className, 1025 void _defineClass(
982 JS.ClassExpression classExpr, List<JS.Statement> body) { 1026 ClassElement classElem,
1027 JS.Expression className,
1028 JS.ClassExpression classExpr,
1029 bool isCallable,
1030 List<JS.Statement> body) {
1031 JS.Expression callableClass;
1032 if (isCallable && classElem.unnamedConstructor != null) {
1033 callableClass = _emitCallableClass(
1034 classExpr, classElem.unnamedConstructor);
1035 }
1036
983 if (classElem.typeParameters.isNotEmpty) { 1037 if (classElem.typeParameters.isNotEmpty) {
984 body.add(new JS.ClassDeclaration(classExpr)); 1038 if (callableClass != null) {
1039 body.add(js.statement('const # = #;', [classExpr.name, callableClass]));
1040 } else {
1041 body.add(new JS.ClassDeclaration(classExpr));
1042 }
985 } else { 1043 } else {
986 body.add(js.statement('# = #;', [className, classExpr])); 1044 body.add(js.statement('# = #;', [className, callableClass ?? classExpr]));
987 } 1045 }
988 } 1046 }
989 1047
990 void _emitVirtualFieldSymbols( 1048 void _emitVirtualFieldSymbols(
991 List<JS.Statement> virtualFields, List<JS.Statement> body) { 1049 List<JS.Statement> virtualFields, List<JS.Statement> body) {
992 body.addAll(virtualFields); 1050 body.addAll(virtualFields);
993 } 1051 }
994 1052
995 List<JS.Identifier> _emitTypeFormals(List<TypeParameterElement> typeFormals) { 1053 List<JS.Identifier> _emitTypeFormals(List<TypeParameterElement> typeFormals) {
996 return typeFormals 1054 return typeFormals
(...skipping 396 matching lines...) Expand 10 before | Expand all | Expand 10 after
1393 body.add(js.statement( 1451 body.add(js.statement(
1394 'dart.setExtensionBaseClass(#, #);', [className, newBaseClass])); 1452 'dart.setExtensionBaseClass(#, #);', [className, newBaseClass]));
1395 } else if (_hasDeferredSupertype.contains(classElem)) { 1453 } else if (_hasDeferredSupertype.contains(classElem)) {
1396 var newBaseClass = _emitType(classElem.type.superclass, 1454 var newBaseClass = _emitType(classElem.type.superclass,
1397 nameType: false, subClass: classElem, className: className); 1455 nameType: false, subClass: classElem, className: className);
1398 body.add( 1456 body.add(
1399 js.statement('dart.setBaseClass(#, #);', [className, newBaseClass])); 1457 js.statement('dart.setBaseClass(#, #);', [className, newBaseClass]));
1400 } 1458 }
1401 } 1459 }
1402 1460
1403 void _defineNamedConstructors(List<ConstructorDeclaration> ctors, 1461 void _defineNamedConstructors(
1404 List<JS.Statement> body, JS.Expression className) { 1462 List<ConstructorDeclaration> ctors,
1463 List<JS.Statement> body,
1464 JS.Expression className,
1465 bool isCallable) {
1466 var code = isCallable
1467 ? 'dart.defineNamedConstructorCallable(#, #, #);'
1468 : 'dart.defineNamedConstructor(#, #)';
1469
1405 for (ConstructorDeclaration member in ctors) { 1470 for (ConstructorDeclaration member in ctors) {
1406 if (member.name != null && member.factoryKeyword == null) { 1471 if (member.name != null && member.factoryKeyword == null) {
1407 body.add(js.statement('dart.defineNamedConstructor(#, #);', 1472 var args = [className, _constructorName(member.element)];
1408 [className, _constructorName(member.element)])); 1473 if (isCallable) {
1474 args.add(_emitCallableClassConstructor(member.element));
1475 }
1476
1477 body.add(js.statement(code, args));
1409 } 1478 }
1410 } 1479 }
1411 } 1480 }
1412 1481
1413 /// Emits static fields for a class, and initialize them eagerly if possible, 1482 /// Emits static fields for a class, and initialize them eagerly if possible,
1414 /// otherwise define them as lazy properties. 1483 /// otherwise define them as lazy properties.
1415 void _emitStaticFields( 1484 void _emitStaticFields(
1416 List<FieldDeclaration> staticFields, 1485 List<FieldDeclaration> staticFields,
1417 Set<FieldElement> staticFieldOverrides, 1486 Set<FieldElement> staticFieldOverrides,
1418 ClassElement classElem, 1487 ClassElement classElem,
(...skipping 3714 matching lines...) Expand 10 before | Expand all | Expand 10 after
5133 } 5202 }
5134 5203
5135 bool isLibraryPrefix(Expression node) => 5204 bool isLibraryPrefix(Expression node) =>
5136 node is SimpleIdentifier && node.staticElement is PrefixElement; 5205 node is SimpleIdentifier && node.staticElement is PrefixElement;
5137 5206
5138 LibraryElement _getLibrary(AnalysisContext c, String uri) => 5207 LibraryElement _getLibrary(AnalysisContext c, String uri) =>
5139 c.computeLibraryElement(c.sourceFactory.forUri(uri)); 5208 c.computeLibraryElement(c.sourceFactory.forUri(uri));
5140 5209
5141 bool _isDartRuntime(LibraryElement l) => 5210 bool _isDartRuntime(LibraryElement l) =>
5142 l.isInSdk && l.source.uri.toString() == 'dart:_runtime'; 5211 l.isInSdk && l.source.uri.toString() == 'dart:_runtime';
OLDNEW
« no previous file with comments | « lib/runtime/dart_sdk.js ('k') | test/browser/language_tests.js » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698