public class BLexer extends Lexer
Lexer.State| Modifier and Type | Field and Description |
|---|---|
static int |
PUSHBACK_BUFFER_SIZE |
| Constructor and Description |
|---|
BLexer(java.io.PushbackReader in) |
BLexer(java.io.PushbackReader in,
DefinitionTypes definitions) |
BLexer(java.io.PushbackReader in,
DefinitionTypes definitions,
int tokenCountPrediction) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
filter() |
ParseOptions |
getParseOptions() |
void |
setParseOptions(ParseOptions parseOptions) |
filterWrap, getNextList, getToken, getTokenList, next, peek, setTokenList, unreadpublic static final int PUSHBACK_BUFFER_SIZE
public BLexer(java.io.PushbackReader in,
DefinitionTypes definitions,
int tokenCountPrediction)
public BLexer(java.io.PushbackReader in,
DefinitionTypes definitions)
public BLexer(java.io.PushbackReader in)
protected void filter()
throws LexerException,
java.io.IOException
filter in class LexerLexerExceptionjava.io.IOExceptionpublic ParseOptions getParseOptions()
public void setParseOptions(ParseOptions parseOptions)