cprover
|
#include <smt2_tokenizer.h>
Classes | |
class | smt2_errort |
Public Member Functions | |
smt2_tokenizert (std::istream &_in) | |
![]() | |
virtual void | clear () |
parsert () | |
virtual | ~parsert () |
bool | read (char &ch) |
virtual bool | parse ()=0 |
bool | eof () |
void | parse_error (const std::string &message, const std::string &before) |
void | inc_line_no () |
void | set_line_no (unsigned _line_no) |
void | set_file (const irep_idt &file) |
irep_idt | get_file () const |
unsigned | get_line_no () const |
unsigned | get_column () const |
void | set_column (unsigned _column) |
void | set_source_location (exprt &e) |
void | set_function (const irep_idt &function) |
void | advance_column (unsigned token_width) |
Protected Types | |
using | tokent = enum { NONE, END_OF_FILE, STRING_LITERAL, NUMERAL, SYMBOL, KEYWORD, OPEN, CLOSE } |
Protected Member Functions | |
virtual tokent | next_token () |
tokent | peek () |
void | skip_to_end_of_list () |
skip any tokens until all parentheses are closed or the end of file is reached More... | |
smt2_errort | error (const std::string &message) |
generate an error exception, pre-filled with a message More... | |
smt2_errort | error () |
generate an error exception More... | |
Protected Attributes | |
std::string | buffer |
bool | quoted_symbol = false |
bool | peeked |
tokent | token |
![]() | |
source_locationt | source_location |
unsigned | line_no |
unsigned | previous_line_no |
unsigned | column |
Private Member Functions | |
tokent | get_decimal_numeral () |
tokent | get_hex_numeral () |
tokent | get_bin_numeral () |
tokent | get_simple_symbol () |
tokent | get_quoted_symbol () |
tokent | get_string_literal () |
void | get_token_from_stream () |
read a token from the input stream and store it in 'token' More... | |
Static Private Member Functions | |
static bool | is_simple_symbol_character (char) |
Additional Inherited Members | |
![]() | |
std::istream * | in |
std::string | this_line |
std::string | last_line |
std::vector< exprt > | stack |
Definition at line 18 of file smt2_tokenizer.h.
|
protected |
Definition at line 73 of file smt2_tokenizer.h.
|
inlineexplicit |
Definition at line 21 of file smt2_tokenizer.h.
|
inlineprotected |
generate an error exception
Definition at line 101 of file smt2_tokenizer.h.
|
inlineprotected |
generate an error exception, pre-filled with a message
Definition at line 95 of file smt2_tokenizer.h.
|
private |
Definition at line 86 of file smt2_tokenizer.cpp.
|
private |
Definition at line 59 of file smt2_tokenizer.cpp.
|
private |
Definition at line 115 of file smt2_tokenizer.cpp.
|
private |
Definition at line 144 of file smt2_tokenizer.cpp.
|
private |
Definition at line 26 of file smt2_tokenizer.cpp.
|
private |
Definition at line 172 of file smt2_tokenizer.cpp.
|
private |
read a token from the input stream and store it in 'token'
Definition at line 213 of file smt2_tokenizer.cpp.
|
staticprivate |
Definition at line 13 of file smt2_tokenizer.cpp.
|
protectedvirtual |
Reimplemented in smt2_parsert.
Definition at line 203 of file smt2_tokenizer.cpp.
|
inlineprotected |
Definition at line 78 of file smt2_tokenizer.h.
|
protected |
skip any tokens until all parentheses are closed or the end of file is reached
|
protected |
Definition at line 61 of file smt2_tokenizer.h.
|
protected |
Definition at line 63 of file smt2_tokenizer.h.
|
protected |
Definition at line 62 of file smt2_tokenizer.h.
|
protected |
Definition at line 74 of file smt2_tokenizer.h.