| Field and Description |
|---|
| io.georocket.query.parser.QueryParser.tokenNames
Use
QueryParser.VOCABULARY instead. |
| io.georocket.query.parser.QueryLexer.tokenNames
Use
QueryLexer.VOCABULARY instead. |
| Method and Description |
|---|
| io.georocket.query.parser.QueryParser.getTokenNames() |
| io.georocket.query.parser.QueryLexer.getTokenNames() |