| OLD | NEW | 
|---|
|  | (Empty) | 
| 1 /** |  | 
| 2  * Read database.json, |  | 
| 3  * write database.filtered.json (with "best" entries) |  | 
| 4  * and obsolete.json (with entries marked obsolete). |  | 
| 5  */ |  | 
| 6 |  | 
| 7 library postProcess; |  | 
| 8 |  | 
| 9 import 'dart:convert'; |  | 
| 10 import 'dart:io'; |  | 
| 11 import 'util.dart'; |  | 
| 12 |  | 
| 13 void main() { |  | 
| 14   // Database of code documentation. |  | 
| 15   Map<String, List> database = JSON.decode( |  | 
| 16       new File('output/database.json').readAsStringSync()); |  | 
| 17   final filteredDb = {}; |  | 
| 18   final obsolete = []; |  | 
| 19   for (String type in database.keys) { |  | 
| 20     final entry = pickBestEntry(database[type], type); |  | 
| 21     if (entry == null) { |  | 
| 22       print("Can't find ${type} in database.  Skipping."); |  | 
| 23       continue; |  | 
| 24     } |  | 
| 25     filteredDb[type] = entry; |  | 
| 26     if (entry.containsKey("members")) { |  | 
| 27       Map members = getMembersMap(entry); |  | 
| 28       for (String name in members.keys) { |  | 
| 29         Map memberData = members[name]; |  | 
| 30         if (memberData['obsolete'] == true) { |  | 
| 31           obsolete.add({'type': type, 'member' : name}); |  | 
| 32         } |  | 
| 33       } |  | 
| 34     } |  | 
| 35   } |  | 
| 36   writeFileSync("output/database.filtered.json", JSON.encode(filteredDb)); |  | 
| 37   writeFileSync("output/obsolete.json", JSON.encode(obsolete)); |  | 
| 38 } |  | 
| OLD | NEW | 
|---|