| 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 |