Chromium Code Reviews| OLD | NEW |
|---|---|
| 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 Loading... | |
| 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 Loading... | |
| 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 } |
| OLD | NEW |