| OLD | NEW |
| 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, 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 analyzer.test.generated.strong_mode_test; | 5 library analyzer.test.generated.strong_mode_test; |
| 6 | 6 |
| 7 import 'package:analyzer/dart/ast/ast.dart'; | 7 import 'package:analyzer/dart/ast/ast.dart'; |
| 8 import 'package:analyzer/dart/element/element.dart'; | 8 import 'package:analyzer/dart/element/element.dart'; |
| 9 import 'package:analyzer/dart/element/type.dart'; | 9 import 'package:analyzer/dart/element/type.dart'; |
| 10 import 'package:analyzer/src/dart/element/element.dart'; | 10 import 'package:analyzer/src/dart/element/element.dart'; |
| 11 import 'package:analyzer/src/generated/engine.dart'; | 11 import 'package:analyzer/src/generated/engine.dart'; |
| 12 import 'package:analyzer/src/generated/error.dart'; | 12 import 'package:analyzer/src/generated/error.dart'; |
| 13 import 'package:analyzer/src/generated/source_io.dart'; | 13 import 'package:analyzer/src/generated/source_io.dart'; |
| 14 import 'package:test_reflective_loader/test_reflective_loader.dart'; |
| 14 import 'package:unittest/unittest.dart'; | 15 import 'package:unittest/unittest.dart'; |
| 15 | 16 |
| 16 import '../reflective_tests.dart'; | |
| 17 import '../utils.dart'; | 17 import '../utils.dart'; |
| 18 import 'resolver_test_case.dart'; | 18 import 'resolver_test_case.dart'; |
| 19 | 19 |
| 20 main() { | 20 main() { |
| 21 initializeTestEnvironment(); | 21 initializeTestEnvironment(); |
| 22 runReflectiveTests(StrongModeDownwardsInferenceTest); | 22 defineReflectiveTests(StrongModeDownwardsInferenceTest); |
| 23 runReflectiveTests(StrongModeStaticTypeAnalyzer2Test); | 23 defineReflectiveTests(StrongModeStaticTypeAnalyzer2Test); |
| 24 runReflectiveTests(StrongModeTypePropagationTest); | 24 defineReflectiveTests(StrongModeTypePropagationTest); |
| 25 } | 25 } |
| 26 | 26 |
| 27 /** | 27 /** |
| 28 * Strong mode static analyzer downwards inference tests | 28 * Strong mode static analyzer downwards inference tests |
| 29 */ | 29 */ |
| 30 @reflectiveTest | 30 @reflectiveTest |
| 31 class StrongModeDownwardsInferenceTest extends ResolverTestCase { | 31 class StrongModeDownwardsInferenceTest extends ResolverTestCase { |
| 32 TypeAssertions _assertions; | 32 TypeAssertions _assertions; |
| 33 | 33 |
| 34 Asserter<DartType> _isDynamic; | 34 Asserter<DartType> _isDynamic; |
| (...skipping 2367 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2402 main() { | 2402 main() { |
| 2403 var v = x; | 2403 var v = x; |
| 2404 v; // marker | 2404 v; // marker |
| 2405 } | 2405 } |
| 2406 int x = 3; | 2406 int x = 3; |
| 2407 '''; | 2407 '''; |
| 2408 assertPropagatedAssignedType(code, typeProvider.intType, null); | 2408 assertPropagatedAssignedType(code, typeProvider.intType, null); |
| 2409 assertTypeOfMarkedExpression(code, typeProvider.intType, null); | 2409 assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
| 2410 } | 2410 } |
| 2411 } | 2411 } |
| OLD | NEW |