|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Deprecated Methods | |
|---|---|
| cz.cuni.pogamut.posh.nblexer.PoshCharStream.getColumn()
|
|
| cz.cuni.pogamut.posh.explorer.Crawler.getDescription()
XXX: Not used, remove |
|
| cz.cuni.pogamut.posh.nblexer.PoshCharStream.getLine()
|
|
| cz.cuni.pogamut.posh.explorer.Crawler.getName()
XXX: Not used, remove |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||