OLD | NEW |
1 /** | 1 /** |
2 * Creates database.html, examples.html, and obsolete.html. | 2 * Creates database.html, examples.html, and obsolete.html. |
3 */ | 3 */ |
4 | 4 |
5 library prettyPrint; | 5 library prettyPrint; |
6 | 6 |
7 import 'dart:io'; | 7 import 'dart:io'; |
8 import 'dart:json'; | 8 import 'dart:json'; |
9 import 'util.dart'; | 9 import 'util.dart'; |
10 | 10 |
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
45 | 45 |
46 addMissingHelper('properties'); | 46 addMissingHelper('properties'); |
47 addMissingHelper('methods'); | 47 addMissingHelper('methods'); |
48 addMissingHelper('constants'); | 48 addMissingHelper('constants'); |
49 return total; | 49 return total; |
50 } | 50 } |
51 | 51 |
52 void main() { | 52 void main() { |
53 // Database of code documentation. | 53 // Database of code documentation. |
54 final Map<String, Map> database = JSON.parse( | 54 final Map<String, Map> database = JSON.parse( |
55 new File('output/database.filtered.json').readAsTextSync()); | 55 new File('output/database.filtered.json').readAsStringSync()); |
56 | 56 |
57 // Types we have documentation for. | 57 // Types we have documentation for. |
58 matchedTypes = new Set<String>(); | 58 matchedTypes = new Set<String>(); |
59 int numMissingMethods = 0; | 59 int numMissingMethods = 0; |
60 int numFoundMethods = 0; | 60 int numFoundMethods = 0; |
61 int numExtraMethods = 0; | 61 int numExtraMethods = 0; |
62 int numGen = 0; | 62 int numGen = 0; |
63 int numSkipped = 0; | 63 int numSkipped = 0; |
64 final sbSkipped = new StringBuffer(); | 64 final sbSkipped = new StringBuffer(); |
65 final sbAllExamples = new StringBuffer(); | 65 final sbAllExamples = new StringBuffer(); |
(...skipping 355 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
421 <th>IDL</th> | 421 <th>IDL</th> |
422 <th>Status</th> | 422 <th>Status</th> |
423 </tr> | 423 </tr> |
424 $sbObsolete | 424 $sbObsolete |
425 </tbody> | 425 </tbody> |
426 </table> | 426 </table> |
427 </body> | 427 </body> |
428 </html> | 428 </html> |
429 """); | 429 """); |
430 } | 430 } |
OLD | NEW |