|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use History.HistoryElement | |
| spider.crawl | |
| Uses of History.HistoryElement in spider.crawl |
| Methods in spider.crawl that return History.HistoryElement | |
History.HistoryElement |
History.getHistoryElement(java.lang.String url)
return HistoryElement for a given url |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||