| OLD | NEW | 
|---|
| 1 // Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file | 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 | 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. | 3 // BSD-style license that can be found in the LICENSE file. | 
| 4 import 'package:kernel/kernel.dart'; | 4 import 'package:kernel/kernel.dart'; | 
| 5 import 'package:kernel/class_hierarchy.dart'; | 5 import 'package:kernel/class_hierarchy.dart'; | 
| 6 import 'package:kernel/core_types.dart'; | 6 import 'package:kernel/core_types.dart'; | 
|  | 7 import 'package:kernel/src/incremental_class_hierarchy.dart'; | 
| 7 import 'package:kernel/type_checker.dart'; | 8 import 'package:kernel/type_checker.dart'; | 
| 8 import 'dart:io'; | 9 import 'dart:io'; | 
| 9 | 10 | 
| 10 final String usage = ''' | 11 final String usage = ''' | 
| 11 Usage: typecheck FILE.dill | 12 Usage: typecheck FILE.dill | 
| 12 | 13 | 
| 13 Runs the strong mode type checker on the given program. | 14 Runs the strong mode type checker on the given program. | 
| 14 '''; | 15 '''; | 
| 15 | 16 | 
| 16 main(List<String> args) { | 17 main(List<String> args) { | 
| 17   if (args.length != 1) { | 18   if (args.length != 1) { | 
| 18     print(usage); | 19     print(usage); | 
| 19     exit(1); | 20     exit(1); | 
| 20   } | 21   } | 
| 21   var program = loadProgramFromBinary(args[0]); | 22   var program = loadProgramFromBinary(args[0]); | 
| 22   var coreTypes = new CoreTypes(program); | 23   var coreTypes = new CoreTypes(program); | 
| 23   var hierarchy = new ClassHierarchy(program); | 24   var hierarchy = new IncrementalClassHierarchy(); | 
| 24   new TestTypeChecker(coreTypes, hierarchy).checkProgram(program); | 25   new TestTypeChecker(coreTypes, hierarchy).checkProgram(program); | 
| 25 } | 26 } | 
| 26 | 27 | 
| 27 class TestTypeChecker extends TypeChecker { | 28 class TestTypeChecker extends TypeChecker { | 
| 28   TestTypeChecker(CoreTypes coreTypes, ClassHierarchy hierarchy) | 29   TestTypeChecker(CoreTypes coreTypes, ClassHierarchy hierarchy) | 
| 29       : super(coreTypes, hierarchy); | 30       : super(coreTypes, hierarchy); | 
| 30 | 31 | 
| 31   @override | 32   @override | 
| 32   void checkAssignable(TreeNode where, DartType from, DartType to) { | 33   void checkAssignable(TreeNode where, DartType from, DartType to) { | 
| 33     if (!environment.isSubtypeOf(from, to)) { | 34     if (!environment.isSubtypeOf(from, to)) { | 
| 34       fail(where, '$from is not a subtype of $to'); | 35       fail(where, '$from is not a subtype of $to'); | 
| 35     } | 36     } | 
| 36   } | 37   } | 
| 37 | 38 | 
| 38   @override | 39   @override | 
| 39   void fail(TreeNode where, String message) { | 40   void fail(TreeNode where, String message) { | 
| 40     Location location = where.location; | 41     Location location = where.location; | 
| 41     String locationString = location == null ? '' : '($location)'; | 42     String locationString = location == null ? '' : '($location)'; | 
| 42     print('[error] $message $locationString'); | 43     print('[error] $message $locationString'); | 
| 43   } | 44   } | 
| 44 } | 45 } | 
| OLD | NEW | 
|---|