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 |