| OLD | NEW |
| 1 #import ("dart:html"); | 1 #import ("dart:html"); |
| 2 #import ("dart:json"); | 2 #import ("dart:json"); |
| 3 | 3 |
| 4 // Workaround for HTML lib missing feature. | 4 // Workaround for HTML lib missing feature. |
| 5 Range newRange() { | 5 Range newRange() { |
| 6 return document.createRange(); | 6 return document.createRange(); |
| 7 } | 7 } |
| 8 | 8 |
| 9 // Temporary range object to optimize performance computing client rects | 9 // Temporary range object to optimize performance computing client rects |
| 10 // from text nodes. | 10 // from text nodes. |
| (...skipping 436 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 447 } | 447 } |
| 448 | 448 |
| 449 class PostOrderTraversalIterator implements Iterator<Node> { | 449 class PostOrderTraversalIterator implements Iterator<Node> { |
| 450 | 450 |
| 451 Node _next; | 451 Node _next; |
| 452 | 452 |
| 453 PostOrderTraversalIterator(Node start) { | 453 PostOrderTraversalIterator(Node start) { |
| 454 _next = _leftMostDescendent(start); | 454 _next = _leftMostDescendent(start); |
| 455 } | 455 } |
| 456 | 456 |
| 457 bool hasNext() => _next != null; | 457 bool get hasNext => _next != null; |
| 458 | 458 |
| 459 Node next() { | 459 Node next() { |
| 460 if (_next == null) return null; | 460 if (_next == null) return null; |
| 461 final ret = _next; | 461 final ret = _next; |
| 462 if (_next.nextNode != null) { | 462 if (_next.nextNode != null) { |
| 463 _next = _leftMostDescendent(_next.nextNode); | 463 _next = _leftMostDescendent(_next.nextNode); |
| 464 } else { | 464 } else { |
| 465 _next = _next.parent; | 465 _next = _next.parent; |
| 466 } | 466 } |
| 467 return ret; | 467 return ret; |
| (...skipping 837 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1305 } | 1305 } |
| 1306 | 1306 |
| 1307 void documentLoaded(event) { | 1307 void documentLoaded(event) { |
| 1308 // Load the database of expected methods and properties with an HttpRequest. | 1308 // Load the database of expected methods and properties with an HttpRequest. |
| 1309 new HttpRequest.get('${window.location}.json', (req) { | 1309 new HttpRequest.get('${window.location}.json', (req) { |
| 1310 data = JSON.parse(req.responseText); | 1310 data = JSON.parse(req.responseText); |
| 1311 dbEntry = {'members': [], 'srcUrl': pageUrl}; | 1311 dbEntry = {'members': [], 'srcUrl': pageUrl}; |
| 1312 run(); | 1312 run(); |
| 1313 }); | 1313 }); |
| 1314 } | 1314 } |
| OLD | NEW |