pkg/nnbd_migration/lib/src/preview/navigation_tree_page.dart

// Copyright (c) 2020, 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.

import 'dart:convert';

import 'package:nnbd_migration/src/front_end/navigation_tree_renderer.dart';
import 'package:nnbd_migration/src/front_end/web/navigation_tree.dart';
import 'package:nnbd_migration/src/preview/preview_page.dart';
import 'package:nnbd_migration/src/preview/preview_site.dart';

/// The JSON that is displayed for the navigation tree.
class NavigationTreePage extends PreviewPage {
  /// Initialize a newly created navigation tree page within the given [site].
  NavigationTreePage(PreviewSite site)
      : super(site, site.migrationInfo!.includedRoot);

  @override
  bool get requiresAuth => true;

  @override
  // TODO(srawlins): Refactor JSON-returning pages like this to not inherit all
  //  of the HTML logic from [PreviewPage].
  void generateBody(Map<String, String> params) {
    throw UnsupportedError('generateBody');
  }

  @override
  Future<void> generatePage(Map<String, String> params) async {
    var renderer = NavigationTreeRenderer(site.migrationInfo, site.pathMapper);
    buf.write(jsonEncode(NavigationTreeNode.listToJson(renderer.render())));
  }
}