public class LtlLexer extends Lexer
Lexer.State| Constructor and Description |
|---|
LtlLexer(java.io.PushbackReader in) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
filter() |
filterWrap, getNextList, getToken, getTokenList, next, peek, setTokenList, unread