Uses of Interface
org.smtlib.sexpr.ILexToken

Packages that use ILexToken

Package	Description
org.smtlib.sexpr	This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.

Uses of ILexToken in org.smtlib.sexpr

Subinterfaces of ILexToken in org.smtlib.sexpr

Modifier and Type	Interface	Description
static interface	Lexer.IPLexToken	An interface used for punctuation tokens that can be retrieved from the parser input.

Classes in org.smtlib.sexpr that implement ILexToken

Modifier and Type	Class	Description
protected class	Lexer.LexToken	A lexical token class for single punctuation characters.

Fields in org.smtlib.sexpr declared as ILexToken

Modifier and Type	Field	Description
ILexToken	Parser.savedlp	This field is used to communicate the beginning LP while parsing commands

Methods in org.smtlib.sexpr that return ILexToken

Modifier and Type	Method	Description
ILexToken	Lexer.getToken()	Returns the next lexical token, advancing the scanner.
ILexToken	Lexer.getToken(Class<?> clazz)	Returns the next lexical token; if the token returned matches the given class (or is a subclass), then the scanner is advanced; if the token does not match, the scanner is not advanced.
ILexToken	Lexer.getToken(String text)	Returns the first token found in the given text
protected ILexToken	Lexer.getToken(Matcher matcher)	Returns the next token found in the given matcher, advancing the matcher
protected ILexToken	Parser.getToken(Matcher m)	Reports a vertical tab or form feed between tokens (except with --relax), which is then read as white space, and a keyword that is not a colon followed by a simple symbol (#185)
ILexToken	Parser.parseLP()	Parses a left parenthesis, returning null and emitting an error message if there isn't one (and the next token is not consumed)
ILexToken	Parser.parseRP()	Parses a right parenthesis, returning null and emitting an error message if there isn't one (and the next token is not consumed)
ILexToken	Lexer.peekToken()	Returns the next lexical token without consuming it; a subsequent call to getToken will return the same token.

Methods in org.smtlib.sexpr with parameters of type ILexToken

Modifier and Type	Method	Description
IParser.ParserException	Parser.error(String msg, ILexToken token)	Creates a ParserException from the given message and token; callers should throw the result.
Sexpr.Seq	Parser.parseSeq(ILexToken lp)	Parses and adds Sexpr to a list until parseSexpr returns null (indicating a RightParen has been seen or end of input or an error)