Go to the documentation of this file.
9 #ifndef CPROVER_SOLVERS_SMT2_SMT2_TOKENIZER_H
10 #define CPROVER_SOLVERS_SMT2_SMT2_TOKENIZER_H
39 std::string
what()
const override
132 template <
typename T>
140 #endif // CPROVER_SOLVERS_SMT2_SMT2_PARSER_H
tokent get_quoted_symbol()
void skip_to_end_of_list()
skip any tokens until all parentheses are closed or the end of file is reached
enum { NONE, END_OF_FILE, STRING_LITERAL, NUMERAL, SYMBOL, KEYWORD, OPEN, CLOSE } tokent
tokent get_string_literal()
smt2_errort(unsigned _line_no)
smt2_errort error(const std::string &message)
generate an error exception, pre-filled with a message
smt2_errort(const std::string &_message, unsigned _line_no)
static const char * message(const static_verifier_resultt::statust &status)
Makes a status message string from a status.
smt2_errort error()
generate an error exception
smt2_tokenizert(std::istream &_in)
std::ostringstream message
unsigned get_line_no() const
tokent get_simple_symbol()
std::ostringstream & message_ostream()
bool token_is_quoted_symbol() const
tokent get_decimal_numeral()
smt2_tokenizert::smt2_errort operator<<(smt2_tokenizert::smt2_errort &&e, const T &message)
add to the diagnostic information in the given smt2_tokenizer exception
std::string what() const override
A human readable description of what went wrong.
const std::string & get_buffer() const
static bool is_simple_symbol_character(char)
Base class for exceptions thrown in the cprover project.
void get_token_from_stream()
read a token from the input stream and store it in 'token'