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 |