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

Side by Side Diff: sdk/lib/_internal/compiler/implementation/universe/universe.dart

Issue 219333005: Record the dependency of a implicit constructor to its superclass. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 years, 8 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 | Annotate | Revision Log
OLDNEW
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2012, 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 library universe; 5 library universe;
6 6
7 import '../elements/elements.dart'; 7 import '../elements/elements.dart';
8 import '../dart2jslib.dart'; 8 import '../dart2jslib.dart';
9 import '../dart_types.dart'; 9 import '../dart_types.dart';
10 import '../types/types.dart'; 10 import '../types/types.dart';
(...skipping 84 matching lines...) Expand 10 before | Expand all | Expand 10 after
95 } 95 }
96 96
97 DartType registerIsCheck(DartType type, Compiler compiler) { 97 DartType registerIsCheck(DartType type, Compiler compiler) {
98 type = type.unalias(compiler); 98 type = type.unalias(compiler);
99 // Even in checked mode, type annotations for return type and argument 99 // Even in checked mode, type annotations for return type and argument
100 // types do not imply type checks, so there should never be a check 100 // types do not imply type checks, so there should never be a check
101 // against the type variable of a typedef. 101 // against the type variable of a typedef.
102 isChecks.add(type); 102 isChecks.add(type);
103 return type; 103 return type;
104 } 104 }
105
106 void registerImplicitSuperCall(TreeElements elements,
karlklose 2014/03/31 14:10:15 This should be recorded in the world, because it i
sigurdm 2014/03/31 14:27:00 Done.
107 FunctionElement superConstructor) {
108 elements.otherDependencies.add(superConstructor);
109 }
105 } 110 }
106 111
107 class SelectorKind { 112 class SelectorKind {
108 final String name; 113 final String name;
109 final int hashCode; 114 final int hashCode;
110 const SelectorKind(this.name, this.hashCode); 115 const SelectorKind(this.name, this.hashCode);
111 116
112 static const SelectorKind GETTER = const SelectorKind('getter', 0); 117 static const SelectorKind GETTER = const SelectorKind('getter', 0);
113 static const SelectorKind SETTER = const SelectorKind('setter', 1); 118 static const SelectorKind SETTER = const SelectorKind('setter', 1);
114 static const SelectorKind CALL = const SelectorKind('call', 2); 119 static const SelectorKind CALL = const SelectorKind('call', 2);
(...skipping 561 matching lines...) Expand 10 before | Expand all | Expand 10 after
676 } 681 }
677 682
678 Selector extendIfReachesAll(Compiler compiler) { 683 Selector extendIfReachesAll(Compiler compiler) {
679 bool canReachAll = compiler.enabledInvokeOn 684 bool canReachAll = compiler.enabledInvokeOn
680 && mask.needsNoSuchMethodHandling(this, compiler); 685 && mask.needsNoSuchMethodHandling(this, compiler);
681 return canReachAll 686 return canReachAll
682 ? new TypedSelector(compiler.typesTask.dynamicType, this) 687 ? new TypedSelector(compiler.typesTask.dynamicType, this)
683 : this; 688 : this;
684 } 689 }
685 } 690 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698