OLD | NEW |
| (Empty) |
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 | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 import 'package:kernel/kernel.dart'; | |
5 import 'package:kernel/text/ast_to_text.dart'; | |
6 import 'package:kernel/transformations/mixin_full_resolution.dart'; | |
7 import 'package:kernel/type_propagation/builder.dart'; | |
8 import 'package:kernel/type_propagation/solver.dart'; | |
9 import 'package:kernel/type_propagation/visualizer.dart'; | |
10 | |
11 import 'baseline_tester.dart'; | |
12 | |
13 class TypePropagationTest extends TestTarget { | |
14 @override | |
15 Annotator annotator; | |
16 | |
17 @override | |
18 List<String> get extraRequiredLibraries => []; | |
19 | |
20 @override | |
21 String get name => 'type-propagation-test'; | |
22 | |
23 @override | |
24 bool get strongMode => false; | |
25 | |
26 @override | |
27 List<String> transformProgram(Program program) { | |
28 new MixinFullResolution().transform(program); | |
29 var visualizer = new Visualizer(program); | |
30 var builder = new Builder(program, visualizer: visualizer); | |
31 var solver = new Solver(builder); | |
32 solver.solve(); | |
33 visualizer.solver = solver; | |
34 annotator = new TextAnnotator(visualizer); | |
35 return const <String>[]; | |
36 } | |
37 } | |
38 | |
39 void main() { | |
40 runBaselineTests('type-propagation', new TypePropagationTest()); | |
41 } | |
OLD | NEW |