| 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 inferrer_visitor; | 5 library inferrer_visitor; |
| 6 | 6 |
| 7 import 'dart:collection' show IterableMixin; | 7 import 'dart:collection' show |
| 8 IterableMixin; |
| 8 | 9 |
| 10 import '../compiler.dart' show |
| 11 Compiler; |
| 9 import '../constants/constant_system.dart'; | 12 import '../constants/constant_system.dart'; |
| 10 import '../constants/expressions.dart'; | 13 import '../constants/expressions.dart'; |
| 11 import '../dart2jslib.dart' hide Selector, TypedSelector; | |
| 12 import '../dart_types.dart'; | 14 import '../dart_types.dart'; |
| 15 import '../diagnostics/spannable.dart' show |
| 16 Spannable; |
| 13 import '../elements/elements.dart'; | 17 import '../elements/elements.dart'; |
| 14 import '../resolution/operators.dart'; | 18 import '../resolution/operators.dart'; |
| 15 import '../resolved_visitor.dart'; | 19 import '../resolved_visitor.dart'; |
| 16 import '../tree/tree.dart'; | 20 import '../tree/tree.dart'; |
| 17 import '../types/types.dart' show TypeMask; | 21 import '../types/types.dart' show |
| 18 import '../types/constants.dart' show computeTypeMask; | 22 TypeMask; |
| 23 import '../types/constants.dart' show |
| 24 computeTypeMask; |
| 19 import '../universe/universe.dart'; | 25 import '../universe/universe.dart'; |
| 20 import '../util/util.dart'; | 26 import '../util/util.dart'; |
| 21 import '../world.dart' show ClassWorld; | 27 import '../world.dart' show |
| 28 ClassWorld; |
| 22 | 29 |
| 23 /** | 30 /** |
| 24 * The interface [InferrerVisitor] will use when working on types. | 31 * The interface [InferrerVisitor] will use when working on types. |
| 25 */ | 32 */ |
| 26 abstract class TypeSystem<T> { | 33 abstract class TypeSystem<T> { |
| 27 T get dynamicType; | 34 T get dynamicType; |
| 28 T get nullType; | 35 T get nullType; |
| 29 T get intType; | 36 T get intType; |
| 30 T get uint31Type; | 37 T get uint31Type; |
| 31 T get uint32Type; | 38 T get uint32Type; |
| (...skipping 1419 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1451 return type; | 1458 return type; |
| 1452 } | 1459 } |
| 1453 | 1460 |
| 1454 T visitCascade(Cascade node) { | 1461 T visitCascade(Cascade node) { |
| 1455 // Ignore the result of the cascade send and return the type of the cascade | 1462 // Ignore the result of the cascade send and return the type of the cascade |
| 1456 // receiver. | 1463 // receiver. |
| 1457 visit(node.expression); | 1464 visit(node.expression); |
| 1458 return cascadeReceiverStack.removeLast(); | 1465 return cascadeReceiverStack.removeLast(); |
| 1459 } | 1466 } |
| 1460 } | 1467 } |
| OLD | NEW |