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, unread
public 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 Lexer
LexerException
java.io.IOException
public ParseOptions getParseOptions()
public void setParseOptions(ParseOptions parseOptions)