json_to_txt.dart

import 'dart:io';
import 'dart:convert';

int ayahFromAbsolute(int ayahAbs, int surah) {
  int soff = surahAyahOffsets[surah];
  int ayah = ayahAbs - soff;
  return ayah + 1;
}

void dumpObj(dynamic obj) {
  stdout.write(
      "${obj['sIdx'] + 1}:${ayahFromAbsolute(obj['ayah'], obj['sIdx'])}");
}

void main() {
  String file = "7.json";
  final list = jsonDecode(File(file).readAsStringSync()) as List<dynamic>;
  for (final obj in list) {
    dynamic src = obj['src'];
    dumpObj(src);
    stdout.write('|');
    List<dynamic> muts = obj['muts'];
    dynamic last = muts.removeLast();
    for (final m in muts) {
      dumpObj(m);
      stdout.write(',');
    }
    dumpObj(last);
    stdout.write('\n');
  }
}

const List<int> surahAyahOffsets = [
  0,
  7,
  293,
  493,
  669,
  789,
  954,
  1160,
  1235,
  1364,
  1473,
  1596,
  1707,
  1750,
  1802,
  1901,
  2029,
  2140,
  2250,
  2348,
  2483,
  2595,
  2673,
  2791,
  2855,
  2932,
  3159,
  3252,
  3340,
  3409,
  3469,
  3503,
  3533,
  3606,
  3660,
  3705,
  3788,
  3970,
  4058,
  4133,
  4218,
  4272,
  4325,
  4414,
  4473,
  4510,
  4545,
  4583,
  4612,
  4630,
  4675,
  4735,
  4784,
  4846,
  4901,
  4979,
  5075,
  5104,
  5126,
  5150,
  5163,
  5177,
  5188,
  5199,
  5217,
  5229,
  5241,
  5271,
  5323,
  5375,
  5419,
  5447,
  5475,
  5495,
  5551,
  5591,
  5622,
  5672,
  5712,
  5758,
  5800,
  5829,
  5848,
  5884,
  5909,
  5931,
  5948,
  5967,
  5993,
  6023,
  6043,
  6058,
  6079,
  6090,
  6098,
  6106,
  6125,
  6130,
  6138,
  6146,
  6157,
  6168,
  6176,
  6179,
  6188,
  6193,
  6197,
  6204,
  6207,
  6213,
  6216,
  6221,
  6225,
  6230
];