|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use JavaCharStream | |
---|---|
DLV.parser |
Uses of JavaCharStream in DLV.parser |
---|
Methods in DLV.parser with parameters of type JavaCharStream | |
---|---|
void |
QueryParserTokenManager.ReInit(JavaCharStream stream)
|
void |
QueryParserTokenManager.ReInit(JavaCharStream stream,
int lexState)
|
Constructors in DLV.parser with parameters of type JavaCharStream | |
---|---|
QueryParserTokenManager(JavaCharStream stream)
|
|
QueryParserTokenManager(JavaCharStream stream,
int lexState)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |