| 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 part of type_graph_inferrer; | 5 part of type_graph_inferrer; |
| 6 | 6 |
| 7 // A set of selectors we know do not escape the elements inside the | 7 // A set of selectors we know do not escape the elements inside the |
| 8 // list. | 8 // list. |
| 9 Set<String> doesNotEscapeListSet = new Set<String>.from( | 9 Set<String> doesNotEscapeListSet = new Set<String>.from( |
| 10 const <String>[ | 10 const <String>[ |
| (...skipping 126 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 137 } | 137 } |
| 138 } | 138 } |
| 139 | 139 |
| 140 void bailout(String reason) { | 140 void bailout(String reason) { |
| 141 if (_VERBOSE) { | 141 if (_VERBOSE) { |
| 142 print('Bailing out on $tracedType because: $reason'); | 142 print('Bailing out on $tracedType because: $reason'); |
| 143 } | 143 } |
| 144 continueAnalyzing = false; | 144 continueAnalyzing = false; |
| 145 } | 145 } |
| 146 | 146 |
| 147 void visitAwaitTypeInformation(AwaitTypeInformation info) { |
| 148 bailout("Passed through await"); |
| 149 } |
| 150 |
| 147 void visitNarrowTypeInformation(NarrowTypeInformation info) { | 151 void visitNarrowTypeInformation(NarrowTypeInformation info) { |
| 148 addNewEscapeInformation(info); | 152 addNewEscapeInformation(info); |
| 149 } | 153 } |
| 150 | 154 |
| 151 void visitPhiElementTypeInformation(PhiElementTypeInformation info) { | 155 void visitPhiElementTypeInformation(PhiElementTypeInformation info) { |
| 152 addNewEscapeInformation(info); | 156 addNewEscapeInformation(info); |
| 153 } | 157 } |
| 154 | 158 |
| 155 void visitElementInContainerTypeInformation( | 159 void visitElementInContainerTypeInformation( |
| 156 ElementInContainerTypeInformation info) { | 160 ElementInContainerTypeInformation info) { |
| (...skipping 229 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 386 } | 390 } |
| 387 if (isParameterOfListAddingMethod(info.element) || | 391 if (isParameterOfListAddingMethod(info.element) || |
| 388 isParameterOfMapAddingMethod(info.element)) { | 392 isParameterOfMapAddingMethod(info.element)) { |
| 389 // These elements are being handled in | 393 // These elements are being handled in |
| 390 // [visitDynamicCallSiteTypeInformation]. | 394 // [visitDynamicCallSiteTypeInformation]. |
| 391 return; | 395 return; |
| 392 } | 396 } |
| 393 addNewEscapeInformation(info); | 397 addNewEscapeInformation(info); |
| 394 } | 398 } |
| 395 } | 399 } |
| OLD | NEW |