| 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 'dart:async'; | 7 import 'dart:async'; |
| 8 | 8 |
| 9 import 'package:analyzer/dart/ast/ast.dart'; | 9 import 'package:analyzer/dart/ast/ast.dart'; |
| 10 import 'package:analyzer/dart/ast/standard_resolution_map.dart'; | 10 import 'package:analyzer/dart/ast/standard_resolution_map.dart'; |
| 11 import 'package:analyzer/dart/element/element.dart'; | 11 import 'package:analyzer/dart/element/element.dart'; |
| 12 import 'package:analyzer/dart/element/type.dart'; | 12 import 'package:analyzer/dart/element/type.dart'; |
| 13 import 'package:analyzer/src/dart/element/element.dart'; | 13 import 'package:analyzer/src/dart/element/element.dart'; |
| 14 import 'package:analyzer/src/error/codes.dart'; | 14 import 'package:analyzer/src/error/codes.dart'; |
| 15 import 'package:analyzer/src/generated/engine.dart'; | 15 import 'package:analyzer/src/generated/engine.dart'; |
| 16 import 'package:analyzer/src/generated/source_io.dart'; | 16 import 'package:analyzer/src/generated/source_io.dart'; |
| 17 import 'package:test/test.dart'; | 17 import 'package:test/test.dart'; |
| 18 import 'package:test_reflective_loader/test_reflective_loader.dart'; | 18 import 'package:test_reflective_loader/test_reflective_loader.dart'; |
| 19 | 19 |
| 20 import '../utils.dart'; | 20 import '../utils.dart'; |
| 21 import 'resolver_test_case.dart'; | 21 import 'resolver_test_case.dart'; |
| 22 | 22 |
| 23 main() { | 23 main() { |
| 24 defineReflectiveSuite(() { | 24 defineReflectiveSuite(() { |
| 25 defineReflectiveTests(StrongModeDownwardsInferenceTest); | 25 defineReflectiveTests(StrongModeDownwardsInferenceTest); |
| 26 defineReflectiveTests(StrongModeStaticTypeAnalyzer2Test); | 26 defineReflectiveTests(StrongModeStaticTypeAnalyzer2Test); |
| 27 defineReflectiveTests(StrongModeTypePropagationTest); | 27 defineReflectiveTests(StrongModeTypePropagationTest); |
| 28 defineReflectiveTests(StrongModeTypePropagationTest_Driver); |
| 28 }); | 29 }); |
| 29 } | 30 } |
| 30 | 31 |
| 31 /** | 32 /** |
| 32 * Strong mode static analyzer downwards inference tests | 33 * Strong mode static analyzer downwards inference tests |
| 33 */ | 34 */ |
| 34 @reflectiveTest | 35 @reflectiveTest |
| 35 class StrongModeDownwardsInferenceTest extends ResolverTestCase { | 36 class StrongModeDownwardsInferenceTest extends ResolverTestCase { |
| 36 TypeAssertions _assertions; | 37 TypeAssertions _assertions; |
| 37 | 38 |
| (...skipping 2374 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2412 main() { | 2413 main() { |
| 2413 var v = x; | 2414 var v = x; |
| 2414 v; // marker | 2415 v; // marker |
| 2415 } | 2416 } |
| 2416 int x = 3; | 2417 int x = 3; |
| 2417 '''; | 2418 '''; |
| 2418 await assertPropagatedAssignedType(code, typeProvider.intType, null); | 2419 await assertPropagatedAssignedType(code, typeProvider.intType, null); |
| 2419 await assertTypeOfMarkedExpression(code, typeProvider.intType, null); | 2420 await assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
| 2420 } | 2421 } |
| 2421 } | 2422 } |
| 2423 |
| 2424 @reflectiveTest |
| 2425 class StrongModeTypePropagationTest_Driver |
| 2426 extends StrongModeTypePropagationTest { |
| 2427 @override |
| 2428 bool get enableNewAnalysisDriver => true; |
| 2429 |
| 2430 @failingTest |
| 2431 @override |
| 2432 test_localVariableInference_transitive_field_inferred_lexical() { |
| 2433 return super |
| 2434 .test_localVariableInference_transitive_field_inferred_lexical(); |
| 2435 } |
| 2436 |
| 2437 @failingTest |
| 2438 @override |
| 2439 test_localVariableInference_transitive_field_inferred_reversed() { |
| 2440 return super |
| 2441 .test_localVariableInference_transitive_field_inferred_reversed(); |
| 2442 } |
| 2443 |
| 2444 @failingTest |
| 2445 @override |
| 2446 test_localVariableInference_transitive_field_lexical() { |
| 2447 return super.test_localVariableInference_transitive_field_lexical(); |
| 2448 } |
| 2449 |
| 2450 @failingTest |
| 2451 @override |
| 2452 test_localVariableInference_transitive_field_reversed() { |
| 2453 return super.test_localVariableInference_transitive_field_reversed(); |
| 2454 } |
| 2455 } |
| OLD | NEW |