9 #ifndef CPROVER_SOLVERS_SMT2_SMT2_TOKENIZER_H 10 #define CPROVER_SOLVERS_SMT2_SMT2_TOKENIZER_H 40 std::string
what()
const override 120 template <
typename T>
128 #endif // CPROVER_SOLVERS_SMT2_SMT2_PARSER_H void skip_to_end_of_list()
skip any tokens until all parentheses are closed or the end of file is reached
unsigned get_line_no() const
void get_token_from_stream()
read a token from the input stream and store it in 'token'
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
smt2_errort error(const std::string &message)
generate an error exception, pre-filled with a message
std::string what() const override
A human readable description of what went wrong.
smt2_tokenizert(std::istream &_in)
smt2_errort(unsigned _line_no)
tokent get_string_literal()
Base class for exceptions thrown in the cprover project.
static bool is_simple_symbol_character(char)
std::ostringstream & message_ostream()
enum { NONE, END_OF_FILE, STRING_LITERAL, NUMERAL, SYMBOL, KEYWORD, OPEN, CLOSE } tokent
tokent get_quoted_symbol()
smt2_errort(const std::string &_message, unsigned _line_no)
smt2_errort error()
generate an error exception
std::ostringstream message
tokent get_simple_symbol()
virtual tokent next_token()