| OLD | NEW |
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, 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 dev_compiler.src.checker.rules; | 5 library dev_compiler.src.checker.rules; |
| 6 | 6 |
| 7 import 'package:analyzer/src/generated/ast.dart'; | 7 import 'package:analyzer/src/generated/ast.dart'; |
| 8 import 'package:analyzer/src/generated/element.dart'; | 8 import 'package:analyzer/src/generated/element.dart'; |
| 9 import 'package:analyzer/src/generated/resolver.dart'; | 9 import 'package:analyzer/src/generated/resolver.dart'; |
| 10 | 10 |
| (...skipping 516 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 527 | 527 |
| 528 /// Downward inference | 528 /// Downward inference |
| 529 bool _inferExpression(Expression e, DartType t, List<String> errors, | 529 bool _inferExpression(Expression e, DartType t, List<String> errors, |
| 530 {cast: true}) { | 530 {cast: true}) { |
| 531 if (e is ConditionalExpression) { | 531 if (e is ConditionalExpression) { |
| 532 return _inferConditionalExpression(e, t, errors); | 532 return _inferConditionalExpression(e, t, errors); |
| 533 } | 533 } |
| 534 if (e is ParenthesizedExpression) { | 534 if (e is ParenthesizedExpression) { |
| 535 return _inferParenthesizedExpression(e, t, errors); | 535 return _inferParenthesizedExpression(e, t, errors); |
| 536 } | 536 } |
| 537 if (e is Conversion) return _inferExpression(e.node, t, errors); | |
| 538 if (rules.isSubTypeOf(rules.getStaticType(e), t)) return true; | 537 if (rules.isSubTypeOf(rules.getStaticType(e), t)) return true; |
| 539 if (cast && rules.getStaticType(e).isDynamic) { | 538 if (cast && rules.getStaticType(e).isDynamic) { |
| 540 annotateCastFromDynamic(e, t); | 539 annotateCastFromDynamic(e, t); |
| 541 return true; | 540 return true; |
| 542 } | 541 } |
| 543 if (e is FunctionExpression) return _inferFunctionExpression(e, t, errors); | 542 if (e is FunctionExpression) return _inferFunctionExpression(e, t, errors); |
| 544 if (e is ListLiteral) return _inferListLiteral(e, t, errors); | 543 if (e is ListLiteral) return _inferListLiteral(e, t, errors); |
| 545 if (e is MapLiteral) return _inferMapLiteral(e, t, errors); | 544 if (e is MapLiteral) return _inferMapLiteral(e, t, errors); |
| 546 if (e is NamedExpression) return _inferNamedExpression(e, t, errors); | 545 if (e is NamedExpression) return _inferNamedExpression(e, t, errors); |
| 547 if (e is InstanceCreationExpression) { | 546 if (e is InstanceCreationExpression) { |
| (...skipping 234 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 782 var entries = e.entries; | 781 var entries = e.entries; |
| 783 bool inferEntry(MapLiteralEntry entry) { | 782 bool inferEntry(MapLiteralEntry entry) { |
| 784 return _inferExpression(entry.key, kType, errors) && | 783 return _inferExpression(entry.key, kType, errors) && |
| 785 _inferExpression(entry.value, vType, errors); | 784 _inferExpression(entry.value, vType, errors); |
| 786 } | 785 } |
| 787 var b = entries.every(inferEntry); | 786 var b = entries.every(inferEntry); |
| 788 if (b) annotateMapLiteral(e, targs); | 787 if (b) annotateMapLiteral(e, targs); |
| 789 return b; | 788 return b; |
| 790 } | 789 } |
| 791 } | 790 } |
| OLD | NEW |