| 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 locals_handler; | 5 library locals_handler; |
| 6 | 6 |
| 7 import 'dart:collection' show IterableMixin; | 7 import 'dart:collection' show IterableMixin; |
| 8 | 8 |
| 9 import '../options.dart' show CompilerOptions; | 9 import '../options.dart' show CompilerOptions; |
| 10 import '../elements/elements.dart'; | 10 import '../elements/elements.dart'; |
| 11 import '../elements/entities.dart'; |
| 11 import '../tree/tree.dart'; | 12 import '../tree/tree.dart'; |
| 12 import '../util/util.dart'; | 13 import '../util/util.dart'; |
| 13 import 'inferrer_engine.dart'; | 14 import 'inferrer_engine.dart'; |
| 14 import 'type_graph_nodes.dart'; | 15 import 'type_graph_nodes.dart'; |
| 15 import 'type_system.dart'; | 16 import 'type_system.dart'; |
| 16 | 17 |
| 17 /** | 18 /** |
| 18 * A variable scope holds types for variables. It has a link to a | 19 * A variable scope holds types for variables. It has a link to a |
| 19 * parent scope, but never changes the types in that parent. Instead, | 20 * parent scope, but never changes the types in that parent. Instead, |
| 20 * updates to locals of a parent scope are put in the current scope. | 21 * updates to locals of a parent scope are put in the current scope. |
| (...skipping 510 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 531 if (newType != type) { | 532 if (newType != type) { |
| 532 locals[variable] = newType; | 533 locals[variable] = newType; |
| 533 } | 534 } |
| 534 }); | 535 }); |
| 535 } | 536 } |
| 536 | 537 |
| 537 void updateField(Element element, TypeInformation type) { | 538 void updateField(Element element, TypeInformation type) { |
| 538 fieldScope.updateField(element, type); | 539 fieldScope.updateField(element, type); |
| 539 } | 540 } |
| 540 } | 541 } |
| OLD | NEW |