// 文件下载工具 — 跨平台接口
//
// Web: 通过 html.AnchorElement + Blob 触发浏览器下载
// 非 Web: 返回 false（Phase 2 扩展 path_provider）

import 'dart:convert';

import 'download_impl.dart'
    if (dart.library.html) 'download_impl_web.dart';

/// 下载 JSON 数据为文件
///
/// [data] — 要导出的 JSON 数据
/// [filename] — 下载文件名（如 "export_2026-06-02.json"）
///
/// 返回 true 表示下载成功。
Future<bool> downloadJsonFile(
  Map<String, dynamic> data,
  String filename,
) async {
  final jsonStr = const JsonEncoder.withIndent('  ').convert(data);
  return downloadFile(jsonStr, filename, 'application/json');
}