| Index: pkg/kernel/test/baseline_strong_mode_test.dart
|
| diff --git a/pkg/kernel/test/baseline_strong_mode_test.dart b/pkg/kernel/test/baseline_strong_mode_test.dart
|
| deleted file mode 100644
|
| index e116f8578e11b3937eb99e23514056ce26ec1ed2..0000000000000000000000000000000000000000
|
| --- a/pkg/kernel/test/baseline_strong_mode_test.dart
|
| +++ /dev/null
|
| @@ -1,85 +0,0 @@
|
| -// 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/class_hierarchy.dart';
|
| -import 'package:kernel/core_types.dart';
|
| -import 'package:kernel/kernel.dart';
|
| -import 'package:kernel/transformations/insert_covariance_checks.dart';
|
| -import 'package:kernel/transformations/insert_type_checks.dart';
|
| -import 'package:kernel/transformations/mixin_full_resolution.dart';
|
| -import 'package:kernel/transformations/treeshaker.dart';
|
| -import 'package:kernel/type_checker.dart';
|
| -import 'package:path/path.dart' as pathlib;
|
| -
|
| -import 'baseline_tester.dart';
|
| -
|
| -class StrongModeTest extends TestTarget {
|
| - @override
|
| - List<String> get extraRequiredLibraries => [];
|
| -
|
| - @override
|
| - String get name => 'strong-mode-test';
|
| -
|
| - @override
|
| - bool get strongMode => true;
|
| -
|
| - @override
|
| - List<String> performModularTransformations(Program program) {
|
| - new MixinFullResolution().transform(program);
|
| - return const <String>[];
|
| - }
|
| -
|
| - @override
|
| - List<String> performGlobalTransformations(Program program) {
|
| - List<String> errors = <String>[];
|
| - new InsertTypeChecks().transformProgram(program);
|
| - new InsertCovarianceChecks().transformProgram(program);
|
| - new TestTypeChecker(
|
| - errors, new CoreTypes(program), new ClassHierarchy(program))
|
| - .checkProgram(program);
|
| - new TreeShaker(program, strongMode: true).transform(program);
|
| - program.accept(new TreeShakerCheck());
|
| - return errors;
|
| - }
|
| -}
|
| -
|
| -class TestTypeChecker extends TypeChecker {
|
| - final List<String> errors;
|
| -
|
| - TestTypeChecker(this.errors, CoreTypes coreTypes, ClassHierarchy hierarchy)
|
| - : super(coreTypes, hierarchy);
|
| -
|
| - @override
|
| - void checkAssignable(TreeNode where, DartType from, DartType to) {
|
| - if (!environment.isSubtypeOf(from, to)) {
|
| - fail(where, '$from is not a subtype of $to');
|
| - }
|
| - }
|
| -
|
| - @override
|
| - void fail(TreeNode where, String message) {
|
| - var location = where.location;
|
| - var locationString;
|
| - if (location != null) {
|
| - var file = pathlib.basename(Uri.parse(location.file).path);
|
| - locationString = '($file:${location.line}:${location.column})';
|
| - } else {
|
| - locationString = '(no location)';
|
| - }
|
| - errors.add('$message $locationString');
|
| - }
|
| -}
|
| -
|
| -class TreeShakerCheck extends RecursiveVisitor {
|
| - visitStringLiteral(StringLiteral node) {
|
| - if (node.value.toLowerCase() == 'unused') {
|
| - throw 'Code not tree-shaken at ${node.location}.\n'
|
| - 'The string literal $node is used to indicate that the code is '
|
| - 'expected to be removed by strong-mode tree shaking';
|
| - }
|
| - }
|
| -}
|
| -
|
| -void main() {
|
| - runBaselineTests('strong-mode', new StrongModeTest());
|
| -}
|
|
|