| Index: bin/verify_deps.dart
|
| diff --git a/bin/verify_deps.dart b/bin/verify_deps.dart
|
| deleted file mode 100644
|
| index 05fef0f91df8c47e33e24ba40c9cafe3ee0568cd..0000000000000000000000000000000000000000
|
| --- a/bin/verify_deps.dart
|
| +++ /dev/null
|
| @@ -1,49 +0,0 @@
|
| -// Copyright (c) 2015, 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.
|
| -
|
| -/// This tools verifies that all elements that are included in the output are
|
| -/// reachable from the program entrypoint. If there are elements that are not
|
| -/// reachable from the entrypoint, then this indicates that we are missing
|
| -/// dependencies. If all functions are reachable from the entrypoint, this
|
| -/// script will return with exitcode 0. Otherwise it will list the unreachable
|
| -/// functions and return with exitcode 1.
|
| -library dart2js_info.bin.verify_deps;
|
| -
|
| -import 'dart:async';
|
| -import 'dart:convert';
|
| -import 'dart:io';
|
| -
|
| -import 'package:dart2js_info/info.dart';
|
| -import 'package:dart2js_info/src/graph.dart';
|
| -import 'package:dart2js_info/src/util.dart';
|
| -
|
| -Future main(List<String> args) async {
|
| - if (args.length > 1) {
|
| - printUsage();
|
| - exit(1);
|
| - }
|
| - var json = JSON.decode(await new File(args[0]).readAsString());
|
| - var info = new AllInfoJsonCodec().decode(json);
|
| - var graph = graphFromInfo(info);
|
| - var entrypoint = info.program.entrypoint;
|
| - var reachables = findReachable(graph, entrypoint);
|
| -
|
| - var functionsAndFields = []..addAll(info.functions)..addAll(info.fields);
|
| - var unreachables =
|
| - functionsAndFields.where((func) => !reachables.contains(func));
|
| - if (unreachables.isNotEmpty) {
|
| - unreachables.forEach((x) => print(longName(x)));
|
| - exit(1);
|
| - } else {
|
| - print('all elements are reachable from the entrypoint');
|
| - }
|
| -}
|
| -
|
| -/// Finds the set of nodes reachable from [start] in [graph].
|
| -Set<Info> findReachable(Graph<Info> graph, Info start) =>
|
| - new Set.from(graph.preOrder(start));
|
| -
|
| -void printUsage() {
|
| - print('usage: dart2js_info_verify_deps <info file>');
|
| -}
|
|
|