| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 Set<String> okMapSelectorsSet = new Set.from( | 7 Set<String> okMapSelectorsSet = new Set.from( |
| 8 const <String>[ | 8 const <String>[ |
| 9 // From Object. | 9 // From Object. |
| 10 "==", | 10 "==", |
| (...skipping 55 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 66 } | 66 } |
| 67 } | 67 } |
| 68 | 68 |
| 69 visitDynamicCallSiteTypeInformation(DynamicCallSiteTypeInformation info) { | 69 visitDynamicCallSiteTypeInformation(DynamicCallSiteTypeInformation info) { |
| 70 super.visitDynamicCallSiteTypeInformation(info); | 70 super.visitDynamicCallSiteTypeInformation(info); |
| 71 Selector selector = info.selector; | 71 Selector selector = info.selector; |
| 72 String selectorName = selector.name; | 72 String selectorName = selector.name; |
| 73 if (currentUser == info.receiver) { | 73 if (currentUser == info.receiver) { |
| 74 if (!okMapSelectorsSet.contains(selectorName)) { | 74 if (!okMapSelectorsSet.contains(selectorName)) { |
| 75 if (selector.isCall) { | 75 if (selector.isCall) { |
| 76 int positionalLength = info.arguments.positional.length; | |
| 77 if (selectorName == 'addAll') { | 76 if (selectorName == 'addAll') { |
| 78 // All keys and values from the argument flow into | 77 // All keys and values from the argument flow into |
| 79 // the map. | 78 // the map. |
| 80 TypeInformation map = info.arguments.positional[0]; | 79 TypeInformation map = info.arguments.positional[0]; |
| 81 if (map is MapTypeInformation) { | 80 if (map is MapTypeInformation) { |
| 82 inferrer.analyzeMapAndEnqueue(map); | 81 inferrer.analyzeMapAndEnqueue(map); |
| 83 mapAssignments.add(map); | 82 mapAssignments.add(map); |
| 84 } else { | 83 } else { |
| 85 // If we could select a component from a [TypeInformation], | 84 // If we could select a component from a [TypeInformation], |
| 86 // like the keytype or valuetype in this case, we could | 85 // like the keytype or valuetype in this case, we could |
| (...skipping 28 matching lines...) Expand all Loading... |
| 115 return; | 114 return; |
| 116 } | 115 } |
| 117 } | 116 } |
| 118 } else if (selector.isCall && | 117 } else if (selector.isCall && |
| 119 !info.targets.every((element) => element.isFunction)) { | 118 !info.targets.every((element) => element.isFunction)) { |
| 120 bailout('Passed to a closure'); | 119 bailout('Passed to a closure'); |
| 121 return; | 120 return; |
| 122 } | 121 } |
| 123 } | 122 } |
| 124 } | 123 } |
| OLD | NEW |