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 library kernel.treeshaker_check; | 4 library kernel.treeshaker_check; |
5 | 5 |
| 6 import 'package:kernel/core_types.dart'; |
6 import 'package:kernel/kernel.dart'; | 7 import 'package:kernel/kernel.dart'; |
7 import 'package:kernel/transformations/treeshaker.dart'; | 8 import 'package:kernel/transformations/treeshaker.dart'; |
8 import 'dart:io'; | 9 import 'dart:io'; |
9 | 10 |
10 String usage = ''' | 11 String usage = ''' |
11 Usage: treeshaker_check FILE.dill | 12 Usage: treeshaker_check FILE.dill |
12 | 13 |
13 Run the tree shaker on FILE.dill and perform some internal sanity checks. | 14 Run the tree shaker on FILE.dill and perform some internal sanity checks. |
14 '''; | 15 '''; |
15 | 16 |
16 main(List<String> args) { | 17 main(List<String> args) { |
17 if (args.length == 0) { | 18 if (args.length == 0) { |
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 shaker = new TreeShaker(program); | 23 var coreTypes = new CoreTypes(program); |
| 24 var shaker = new TreeShaker(coreTypes, program); |
23 shaker.transform(program); | 25 shaker.transform(program); |
24 new TreeShakingSanityCheck(shaker).visit(program); | 26 new TreeShakingSanityCheck(shaker).visit(program); |
25 } | 27 } |
26 | 28 |
27 class TreeShakingSanityCheck extends RecursiveVisitor { | 29 class TreeShakingSanityCheck extends RecursiveVisitor { |
28 final TreeShaker shaker; | 30 final TreeShaker shaker; |
29 bool isInCoreLibrary = false; | 31 bool isInCoreLibrary = false; |
30 | 32 |
31 TreeShakingSanityCheck(this.shaker); | 33 TreeShakingSanityCheck(this.shaker); |
32 | 34 |
(...skipping 13 matching lines...) Expand all Loading... |
46 throw 'Unused member $member was not removed'; | 48 throw 'Unused member $member was not removed'; |
47 } | 49 } |
48 } | 50 } |
49 | 51 |
50 defaultMemberReference(Member target) { | 52 defaultMemberReference(Member target) { |
51 if (!shaker.isMemberUsed(target)) { | 53 if (!shaker.isMemberUsed(target)) { |
52 throw 'Found reference to $target'; | 54 throw 'Found reference to $target'; |
53 } | 55 } |
54 } | 56 } |
55 } | 57 } |
OLD | NEW |