| OLD | NEW |
| 1 #import ("dart:html"); | 1 #import ("dart:html"); |
| 2 #import ("dart:dom_deprecated", prefix:"dom"); | 2 #import ("dart:dom_deprecated", prefix:"dom"); |
| 3 #import ("dart:json"); | 3 #import ("dart:json"); |
| 4 | 4 |
| 5 // Workaround for HTML lib missing feature. | 5 // Workaround for HTML lib missing feature. |
| 6 Range newRange() { | 6 Range newRange() { |
| 7 return LevelDom.wrapRange(dom.document.createRange()); | 7 return LevelDom.wrapRange(dom.document.createRange()); |
| 8 } | 8 } |
| 9 | 9 |
| 10 // Temporary range object to optimize performance computing client rects | 10 // Temporary range object to optimize performance computing client rects |
| (...skipping 13 matching lines...) Expand all Loading... |
| 24 _tempRange.setEndAfter(n); | 24 _tempRange.setEndAfter(n); |
| 25 return _tempRange.getBoundingClientRect(); | 25 return _tempRange.getBoundingClientRect(); |
| 26 } | 26 } |
| 27 } | 27 } |
| 28 | 28 |
| 29 /** | 29 /** |
| 30 * CSS class that is added to elements in the DOM to indicate that they should | 30 * CSS class that is added to elements in the DOM to indicate that they should |
| 31 * be removed when extracting blocks of documentation. This is helpful when | 31 * be removed when extracting blocks of documentation. This is helpful when |
| 32 * running this script in a web browser as it is easy to visually see what | 32 * running this script in a web browser as it is easy to visually see what |
| 33 * blocks of information were extracted when using CSS such as DEBUG_CSS | 33 * blocks of information were extracted when using CSS such as DEBUG_CSS |
| 34 * which highlights elements that should be removed. | 34 * which highlights elements that should be removed. |
| 35 */ | 35 */ |
| 36 final DART_REMOVED = "dart-removed"; | 36 final DART_REMOVED = "dart-removed"; |
| 37 | 37 |
| 38 final DEBUG_CSS = """ | 38 final DEBUG_CSS = """ |
| 39 <style type="text/css"> | 39 <style type="text/css"> |
| 40 .dart-removed { | 40 .dart-removed { |
| 41 background-color: rgba(255, 0, 0, 0.5); | 41 background-color: rgba(255, 0, 0, 0.5); |
| 42 } | 42 } |
| 43 </style>"""; | 43 </style>"""; |
| 44 | 44 |
| (...skipping 1142 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1187 // current class name. | 1187 // current class name. |
| 1188 for (String tag in [title.split(" ")[0], title.split(".").last()]) { | 1188 for (String tag in [title.split(" ")[0], title.split(".").last()]) { |
| 1189 try { | 1189 try { |
| 1190 dom.Element element = dom.document.createElement(tag); | 1190 dom.Element element = dom.document.createElement(tag); |
| 1191 // TODO(jacobr): this is a really ugly way of doing this that will | 1191 // TODO(jacobr): this is a really ugly way of doing this that will |
| 1192 // stop working at some point soon. | 1192 // stop working at some point soon. |
| 1193 if (element.typeName == currentType) { | 1193 if (element.typeName == currentType) { |
| 1194 foundMatch = true; | 1194 foundMatch = true; |
| 1195 break; | 1195 break; |
| 1196 } | 1196 } |
| 1197 } catch(e) {} | 1197 } catch (e) {} |
| 1198 } | 1198 } |
| 1199 if (!foundMatch) { | 1199 if (!foundMatch) { |
| 1200 dbEntry['skipped'] = true; | 1200 dbEntry['skipped'] = true; |
| 1201 dbEntry['cause'] = "Suspect title"; | 1201 dbEntry['cause'] = "Suspect title"; |
| 1202 onEnd(); | 1202 onEnd(); |
| 1203 return; | 1203 return; |
| 1204 } | 1204 } |
| 1205 } | 1205 } |
| 1206 | 1206 |
| 1207 Element root = document.query(".pageText"); | 1207 Element root = document.query(".pageText"); |
| (...skipping 100 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1308 | 1308 |
| 1309 void documentLoaded(event) { | 1309 void documentLoaded(event) { |
| 1310 // Load the database of expected methods and properties with an | 1310 // Load the database of expected methods and properties with an |
| 1311 // XMLHttpRequest. | 1311 // XMLHttpRequest. |
| 1312 new XMLHttpRequest.get('${window.location}.json', (req) { | 1312 new XMLHttpRequest.get('${window.location}.json', (req) { |
| 1313 data = JSON.parse(req.responseText); | 1313 data = JSON.parse(req.responseText); |
| 1314 dbEntry = {'members': [], 'srcUrl': pageUrl}; | 1314 dbEntry = {'members': [], 'srcUrl': pageUrl}; |
| 1315 run(); | 1315 run(); |
| 1316 }); | 1316 }); |
| 1317 } | 1317 } |
| OLD | NEW |