| // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| import 'package:kernel/kernel.dart'; |
| import 'package:kernel/text/ast_to_text.dart'; |
| import 'package:kernel/transformations/mixin_full_resolution.dart'; |
| import 'package:kernel/type_propagation/builder.dart'; |
| import 'package:kernel/type_propagation/solver.dart'; |
| import 'package:kernel/type_propagation/visualizer.dart'; |
| |
| import 'baseline_tester.dart'; |
| |
| class TypePropagationTest extends TestTarget { |
| @override |
| Annotator annotator; |
| |
| @override |
| List<String> get extraRequiredLibraries => []; |
| |
| @override |
| String get name => 'type-propagation-test'; |
| |
| @override |
| bool get strongMode => false; |
| |
| @override |
| List<String> transformProgram(Program program) { |
| new MixinFullResolution().transform(program); |
| var visualizer = new Visualizer(program); |
| var builder = new Builder(program, visualizer: visualizer); |
| var solver = new Solver(builder); |
| solver.solve(); |
| visualizer.solver = solver; |
| annotator = new TextAnnotator(visualizer); |
| return const <String>[]; |
| } |
| } |
| |
| void main() { |
| runBaselineTests('type-propagation', new TypePropagationTest()); |
| } |