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 |