| 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 |