Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(48)

Side by Side Diff: pkg/kernel/test/baseline_strong_mode_test_disabled.dart

Issue 2548833002: Re-enable kernel unit tests on platforms where they are supported. (Closed)
Patch Set: Also enable hashcode test Created 4 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
(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/class_hierarchy.dart';
5 import 'package:kernel/core_types.dart';
6 import 'package:kernel/kernel.dart';
7 import 'package:kernel/transformations/mixin_full_resolution.dart';
8 import 'package:kernel/type_checker.dart';
9 import 'package:path/path.dart' as pathlib;
10
11 import 'baseline_tester.dart';
12
13 class StrongModeTest extends TestTarget {
14 @override
15 List<String> get extraRequiredLibraries => [];
16
17 @override
18 String get name => 'strong-mode-test';
19
20 @override
21 bool get strongMode => true;
22
23 @override
24 List<String> transformProgram(Program program) {
25 List<String> errors = <String>[];
26 new MixinFullResolution().transform(program);
27 new TestTypeChecker(
28 errors, new CoreTypes(program), new ClassHierarchy(program))
29 .checkProgram(program);
30 return errors;
31 }
32 }
33
34 class TestTypeChecker extends TypeChecker {
35 final List<String> errors;
36
37 TestTypeChecker(this.errors, CoreTypes coreTypes, ClassHierarchy hierarchy)
38 : super(coreTypes, hierarchy);
39
40 @override
41 void checkAssignable(TreeNode where, DartType from, DartType to) {
42 if (!environment.isSubtypeOf(from, to)) {
43 fail(where, '$from is not a subtype of $to');
44 }
45 }
46
47 @override
48 void fail(TreeNode where, String message) {
49 var location = where.location;
50 var locationString;
51 if (location != null) {
52 var file = pathlib.basename(Uri.parse(location.file).path);
53 locationString = '($file:${location.line}:${location.column})';
54 } else {
55 locationString = '(no location)';
56 }
57 errors.add('$message $locationString');
58 }
59 }
60
61 void main() {
62 runBaselineTests('strong-mode', new StrongModeTest());
63 }
OLDNEW
« no previous file with comments | « pkg/kernel/test/baseline_strong_mode_test.dart ('k') | pkg/kernel/test/baseline_type_propagation_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698