| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 /** | 5 /** |
| 6 * This generates the reference documentation for the core libraries that come | 6 * This generates the reference documentation for the core libraries that come |
| 7 * with dart. It is built on top of dartdoc, which is a general-purpose library | 7 * with dart. It is built on top of dartdoc, which is a general-purpose library |
| 8 * for generating docs from any Dart code. This library extends that to include | 8 * for generating docs from any Dart code. This library extends that to include |
| 9 * additional information and styling specific to our standard library. | 9 * additional information and styling specific to our standard library. |
| 10 * | 10 * |
| (...skipping 72 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 83 var files = new VMFileSystem(); | 83 var files = new VMFileSystem(); |
| 84 parseOptions(frogPath, ['', '', '--libdir=$frogPath/lib'], files); | 84 parseOptions(frogPath, ['', '', '--libdir=$frogPath/lib'], files); |
| 85 initializeWorld(files); | 85 initializeWorld(files); |
| 86 | 86 |
| 87 print('Parsing MDN data...'); | 87 print('Parsing MDN data...'); |
| 88 final mdnFile = new File('${doc.scriptDir}/mdn/database.json'); | 88 final mdnFile = new File('${doc.scriptDir}/mdn/database.json'); |
| 89 final mdn = JSON.parse(mdnFile.readAsTextSync()); | 89 final mdn = JSON.parse(mdnFile.readAsTextSync()); |
| 90 | 90 |
| 91 print('Cross-referencing dart:dom and dart:html...'); | 91 print('Cross-referencing dart:dom and dart:html...'); |
| 92 HtmlDiff.initialize(); | 92 HtmlDiff.initialize(); |
| 93 _diff = new HtmlDiff(); | 93 _diff = new HtmlDiff(printWarnings:false); |
| 94 _diff.run(); | 94 _diff.run(); |
| 95 world.reset(); | 95 world.reset(); |
| 96 | 96 |
| 97 // Add all of the core libraries. | 97 // Add all of the core libraries. |
| 98 world.getOrAddLibrary('dart:core'); | 98 world.getOrAddLibrary('dart:core'); |
| 99 world.getOrAddLibrary('dart:coreimpl'); | 99 world.getOrAddLibrary('dart:coreimpl'); |
| 100 world.getOrAddLibrary('dart:json'); | 100 world.getOrAddLibrary('dart:json'); |
| 101 world.getOrAddLibrary('dart:dom'); | 101 world.getOrAddLibrary('dart:dom'); |
| 102 world.getOrAddLibrary('dart:html'); | 102 world.getOrAddLibrary('dart:html'); |
| 103 world.getOrAddLibrary('dart:io'); | 103 world.getOrAddLibrary('dart:io'); |
| (...skipping 385 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 489 return | 489 return |
| 490 ''' | 490 ''' |
| 491 <p class="correspond">This corresponds to $domTypesText in the | 491 <p class="correspond">This corresponds to $domTypesText in the |
| 492 ${a("dom.html", "dart:dom")} library.</p> | 492 ${a("dom.html", "dart:dom")} library.</p> |
| 493 '''; | 493 '''; |
| 494 } | 494 } |
| 495 | 495 |
| 496 return ''; | 496 return ''; |
| 497 } | 497 } |
| 498 } | 498 } |
| OLD | NEW |