| 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 | 4 |
| 5 /// A transformation to create a self-contained modular kernel without | 5 /// A transformation to create a self-contained modular kernel without |
| 6 /// unnecessary references to other libraries. | 6 /// unnecessary references to other libraries. |
| 7 library fasta.kernel.kernel_outline_shaker; | 7 library fasta.kernel.kernel_outline_shaker; |
| 8 | 8 |
| 9 import 'package:kernel/ast.dart'; | 9 import 'package:kernel/ast.dart'; |
| 10 import 'package:kernel/core_types.dart'; | 10 import 'package:kernel/core_types.dart'; |
| 11 | 11 |
| 12 import '../errors.dart' show internalError; | 12 import '../deprecated_problems.dart' show deprecated_internalProblem; |
| 13 | 13 |
| 14 /// Removes unnecessary libraries, classes, and members from [program]. | 14 /// Removes unnecessary libraries, classes, and members from [program]. |
| 15 /// | 15 /// |
| 16 /// This applies a simple "tree-shaking" technique: the full body of libraries | 16 /// This applies a simple "tree-shaking" technique: the full body of libraries |
| 17 /// whose URI match [isIncluded] is preserved, and so is the outline of the | 17 /// whose URI match [isIncluded] is preserved, and so is the outline of the |
| 18 /// members and classes which are transitively visible from the | 18 /// members and classes which are transitively visible from the |
| 19 /// included libraries. | 19 /// included libraries. |
| 20 /// | 20 /// |
| 21 /// The intent is that the resulting program has the entire code that is meant | 21 /// The intent is that the resulting program has the entire code that is meant |
| 22 /// to be included and the minimum required to prevent dangling references and | 22 /// to be included and the minimum required to prevent dangling references and |
| (...skipping 233 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 256 | 256 |
| 257 @override | 257 @override |
| 258 visitStaticInvocation(StaticInvocation node) { | 258 visitStaticInvocation(StaticInvocation node) { |
| 259 data.markMember(node.target); | 259 data.markMember(node.target); |
| 260 node.visitChildren(this); | 260 node.visitChildren(this); |
| 261 } | 261 } |
| 262 | 262 |
| 263 @override | 263 @override |
| 264 visitDirectMethodInvocation(DirectMethodInvocation node) { | 264 visitDirectMethodInvocation(DirectMethodInvocation node) { |
| 265 if (node.receiver is! ThisExpression) { | 265 if (node.receiver is! ThisExpression) { |
| 266 return internalError('Direct calls are only supported on "this"'); | 266 return deprecated_internalProblem( |
| 267 'Direct calls are only supported on "this"'); |
| 267 } | 268 } |
| 268 data.markMember(node.target); | 269 data.markMember(node.target); |
| 269 node.visitChildren(this); | 270 node.visitChildren(this); |
| 270 } | 271 } |
| 271 | 272 |
| 272 @override | 273 @override |
| 273 visitMethodInvocation(MethodInvocation node) { | 274 visitMethodInvocation(MethodInvocation node) { |
| 274 data.markMember(node.interfaceTarget); | 275 data.markMember(node.interfaceTarget); |
| 275 node.visitChildren(this); | 276 node.visitChildren(this); |
| 276 } | 277 } |
| (...skipping 53 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 330 } | 331 } |
| 331 | 332 |
| 332 @override | 333 @override |
| 333 visitSupertype(Supertype node) { | 334 visitSupertype(Supertype node) { |
| 334 data.markClass(node.classNode); | 335 data.markClass(node.classNode); |
| 335 node.visitChildren(this); | 336 node.visitChildren(this); |
| 336 } | 337 } |
| 337 | 338 |
| 338 @override | 339 @override |
| 339 visitTypedefReference(Typedef node) { | 340 visitTypedefReference(Typedef node) { |
| 340 return internalError('not implemented'); | 341 return deprecated_internalProblem('not implemented'); |
| 341 } | 342 } |
| 342 } | 343 } |
| 343 | 344 |
| 344 /// Transformer that trims everything in the excluded libraries that is not | 345 /// Transformer that trims everything in the excluded libraries that is not |
| 345 /// marked as preserved by the given [RetainedData]. For every member in these | 346 /// marked as preserved by the given [RetainedData]. For every member in these |
| 346 /// excluded libraries, this transformer also removes function bodies and | 347 /// excluded libraries, this transformer also removes function bodies and |
| 347 /// initializers. | 348 /// initializers. |
| 348 class KernelOutlineShaker extends Transformer { | 349 class KernelOutlineShaker extends Transformer { |
| 349 final RetainedData data; | 350 final RetainedData data; |
| 350 final Filter isIncluded; | 351 final Filter isIncluded; |
| (...skipping 45 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 396 /// Types appear to be encoded directly, so we have no need to preserve | 397 /// Types appear to be encoded directly, so we have no need to preserve |
| 397 /// typedefs. | 398 /// typedefs. |
| 398 // TODO(sigmund): revisit if this is not the case, the `inputError` in | 399 // TODO(sigmund): revisit if this is not the case, the `inputError` in |
| 399 // [RootsMarker] is meant to detect this. | 400 // [RootsMarker] is meant to detect this. |
| 400 Typedef visitTypedef(Typedef node) => null; | 401 Typedef visitTypedef(Typedef node) => null; |
| 401 | 402 |
| 402 TreeNode defaultTreeNode(TreeNode node) => node; | 403 TreeNode defaultTreeNode(TreeNode node) => node; |
| 403 } | 404 } |
| 404 | 405 |
| 405 typedef bool Filter(Uri uri); | 406 typedef bool Filter(Uri uri); |
| OLD | NEW |