OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 compiler.src.inferrer.node_tracer; | 5 library compiler.src.inferrer.node_tracer; |
6 | 6 |
7 import '../common/names.dart' show Identifiers; | 7 import '../common/names.dart' show Identifiers; |
8 import '../compiler.dart' show Compiler; | 8 import '../compiler.dart' show Compiler; |
9 import '../elements/elements.dart'; | 9 import '../elements/elements.dart'; |
10 import '../types/types.dart' show ContainerTypeMask, MapTypeMask; | 10 import '../types/types.dart' show ContainerTypeMask, MapTypeMask; |
(...skipping 139 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
150 if (debug.VERBOSE) { | 150 if (debug.VERBOSE) { |
151 print('Bailing out on $tracedType because: $reason'); | 151 print('Bailing out on $tracedType because: $reason'); |
152 } | 152 } |
153 continueAnalyzing = false; | 153 continueAnalyzing = false; |
154 } | 154 } |
155 | 155 |
156 void visitAwaitTypeInformation(AwaitTypeInformation info) { | 156 void visitAwaitTypeInformation(AwaitTypeInformation info) { |
157 bailout("Passed through await"); | 157 bailout("Passed through await"); |
158 } | 158 } |
159 | 159 |
| 160 void visitYieldTypeInformation(YieldTypeInformation info) { |
| 161 // TODO(29344): The enclosing sync*/async/async* method could have a |
| 162 // tracable TypeInformation for the Iterable / Future / Stream with an |
| 163 // element TypeInformation. Then YieldTypeInformation could connect the |
| 164 // source type information to the tracable element. |
| 165 bailout("Passed through yield"); |
| 166 } |
| 167 |
160 void visitNarrowTypeInformation(NarrowTypeInformation info) { | 168 void visitNarrowTypeInformation(NarrowTypeInformation info) { |
161 addNewEscapeInformation(info); | 169 addNewEscapeInformation(info); |
162 } | 170 } |
163 | 171 |
164 void visitPhiElementTypeInformation(PhiElementTypeInformation info) { | 172 void visitPhiElementTypeInformation(PhiElementTypeInformation info) { |
165 addNewEscapeInformation(info); | 173 addNewEscapeInformation(info); |
166 } | 174 } |
167 | 175 |
168 void visitElementInContainerTypeInformation( | 176 void visitElementInContainerTypeInformation( |
169 ElementInContainerTypeInformation info) { | 177 ElementInContainerTypeInformation info) { |
(...skipping 290 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
460 } | 468 } |
461 if (isParameterOfListAddingMethod(element) || | 469 if (isParameterOfListAddingMethod(element) || |
462 isParameterOfMapAddingMethod(element)) { | 470 isParameterOfMapAddingMethod(element)) { |
463 // These elements are being handled in | 471 // These elements are being handled in |
464 // [visitDynamicCallSiteTypeInformation]. | 472 // [visitDynamicCallSiteTypeInformation]. |
465 return; | 473 return; |
466 } | 474 } |
467 addNewEscapeInformation(info); | 475 addNewEscapeInformation(info); |
468 } | 476 } |
469 } | 477 } |
OLD | NEW |