klee
|
#include <Lexer.h>
Public Types | |
enum | Kind { At , Arrow , Colon , Comma , Comment , EndOfFile , Equals , Identifier , KWArray , KWFalse , KWQuery , KWReserved , KWSymbolic , KWTrue , KWWidth , LBrace , LParen , LSquare , Number , RBrace , RParen , RSquare , Semicolon , Unknown , KWKindFirst =KWArray , KWKindLast =KWWidth } |
Public Member Functions | |
const char * | getKindName () const |
getKindName - The name of this token's kind. More... | |
std::string | getString () const |
bool | isKeyword () const |
isKeyword - True if this token is a keyword. More... | |
void | dump () |
Token () | |
Public Attributes | |
Kind | kind |
const char * | start |
The token kind. More... | |
unsigned | length |
The beginning of the token string. More... | |
unsigned | line |
The length of the token. More... | |
unsigned | column |
The line number of the start of this token. More... | |
void Token::dump | ( | ) |
const char * Token::getKindName | ( | ) | const |
getKindName - The name of this token's kind.
The column number at the start of this token.
Definition at line 24 of file Lexer.cpp.
References Arrow, At, Colon, Comma, Comment, EndOfFile, Equals, Identifier, kind, KWArray, KWFalse, KWQuery, KWReserved, KWSymbolic, KWTrue, KWWidth, LBrace, LParen, LSquare, Number, RBrace, RParen, RSquare, Semicolon, and Unknown.
Referenced by dump(), and PrintInputTokens().
|
inline |
|
inline |
isKeyword - True if this token is a keyword.
Definition at line 67 of file Lexer.h.
References kind, KWKindFirst, and KWKindLast.
unsigned klee::expr::Token::column |
The line number of the start of this token.
Definition at line 56 of file Lexer.h.
Referenced by dump(), klee::expr::Lexer::Lex(), and PrintInputTokens().
Kind klee::expr::Token::kind |
Definition at line 52 of file Lexer.h.
Referenced by getKindName(), isKeyword(), klee::expr::Lexer::Lex(), LookupExprInfo(), PrintInputTokens(), and klee::expr::Lexer::SetTokenKind().
unsigned klee::expr::Token::length |
The beginning of the token string.
Definition at line 54 of file Lexer.h.
Referenced by dump(), getString(), klee::expr::Lexer::Lex(), LookupExprInfo(), PrintInputTokens(), and klee::expr::Lexer::SetTokenKind().
unsigned klee::expr::Token::line |
The length of the token.
Definition at line 55 of file Lexer.h.
Referenced by dump(), klee::expr::Lexer::Lex(), and PrintInputTokens().
const char* klee::expr::Token::start |
The token kind.
Definition at line 53 of file Lexer.h.
Referenced by dump(), getString(), klee::expr::Lexer::Lex(), LookupExprInfo(), PrintInputTokens(), klee::expr::Lexer::SetIdentifierTokenKind(), and klee::expr::Lexer::SetTokenKind().