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 // Tests related to the [TypeSystem] class. | 5 // Tests related to the [TypeSystem] class. |
6 | 6 |
7 library analyzer.test.generated.type_system_test; | 7 library analyzer.test.generated.type_system_test; |
8 | 8 |
9 import 'package:analyzer/dart/element/element.dart'; | 9 import 'package:analyzer/dart/element/element.dart'; |
10 import 'package:analyzer/dart/element/type.dart'; | 10 import 'package:analyzer/dart/element/type.dart'; |
11 import 'package:analyzer/src/dart/element/element.dart'; | 11 import 'package:analyzer/src/dart/element/element.dart'; |
12 import 'package:analyzer/src/dart/element/type.dart'; | 12 import 'package:analyzer/src/dart/element/type.dart'; |
13 import 'package:analyzer/src/generated/engine.dart'; | 13 import 'package:analyzer/src/generated/engine.dart'; |
14 import 'package:analyzer/src/generated/resolver.dart'; | 14 import 'package:analyzer/src/generated/resolver.dart'; |
15 import 'package:analyzer/src/generated/testing/element_factory.dart'; | 15 import 'package:analyzer/src/generated/testing/element_factory.dart'; |
16 import 'package:analyzer/src/generated/testing/test_type_provider.dart'; | 16 import 'package:analyzer/src/generated/testing/test_type_provider.dart'; |
| 17 import 'package:test_reflective_loader/test_reflective_loader.dart'; |
17 import 'package:unittest/unittest.dart'; | 18 import 'package:unittest/unittest.dart'; |
18 | 19 |
19 import '../reflective_tests.dart'; | |
20 import '../utils.dart'; | 20 import '../utils.dart'; |
21 import 'analysis_context_factory.dart'; | 21 import 'analysis_context_factory.dart'; |
22 | 22 |
23 main() { | 23 main() { |
24 initializeTestEnvironment(); | 24 initializeTestEnvironment(); |
25 runReflectiveTests(StrongAssignabilityTest); | 25 defineReflectiveTests(StrongAssignabilityTest); |
26 runReflectiveTests(StrongSubtypingTest); | 26 defineReflectiveTests(StrongSubtypingTest); |
27 runReflectiveTests(StrongGenericFunctionInferenceTest); | 27 defineReflectiveTests(StrongGenericFunctionInferenceTest); |
28 runReflectiveTests(LeastUpperBoundTest); | 28 defineReflectiveTests(LeastUpperBoundTest); |
29 runReflectiveTests(StrongLeastUpperBoundTest); | 29 defineReflectiveTests(StrongLeastUpperBoundTest); |
30 runReflectiveTests(StrongGreatestLowerBoundTest); | 30 defineReflectiveTests(StrongGreatestLowerBoundTest); |
31 } | 31 } |
32 | 32 |
33 /** | 33 /** |
34 * Base class for testing LUB and GLB in spec and strong mode. | 34 * Base class for testing LUB and GLB in spec and strong mode. |
35 */ | 35 */ |
36 abstract class BoundTestBase { | 36 abstract class BoundTestBase { |
37 TypeProvider typeProvider; | 37 TypeProvider typeProvider; |
38 TypeSystem typeSystem; | 38 TypeSystem typeSystem; |
39 FunctionType simpleFunctionType; | 39 FunctionType simpleFunctionType; |
40 | 40 |
(...skipping 1845 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1886 if (types != null) { | 1886 if (types != null) { |
1887 f.typeParameters = | 1887 f.typeParameters = |
1888 new List<TypeParameterElement>.from(types.map((t) => t.element)); | 1888 new List<TypeParameterElement>.from(types.map((t) => t.element)); |
1889 } | 1889 } |
1890 return f.type = new FunctionTypeImpl(f); | 1890 return f.type = new FunctionTypeImpl(f); |
1891 } | 1891 } |
1892 | 1892 |
1893 static TypeParameterType variable(String name, {DartType bound}) => | 1893 static TypeParameterType variable(String name, {DartType bound}) => |
1894 ElementFactory.typeParameterWithType(name, bound).type; | 1894 ElementFactory.typeParameterWithType(name, bound).type; |
1895 } | 1895 } |
OLD | NEW |