cprover
|
#include <smt2_parser.h>
Public Member Functions | |
smt2_parsert (std::istream &_in) | |
void | operator() () |
Protected Member Functions | |
virtual void | string_literal ()=0 |
virtual void | numeral ()=0 |
virtual void | symbol ()=0 |
virtual void | keyword ()=0 |
virtual void | open_expression ()=0 |
virtual void | close_expression ()=0 |
virtual void | error (const std::string &)=0 |
Protected Attributes | |
std::istream & | in |
std::string | buffer |
Private Member Functions | |
void | get_decimal_numeral () |
void | get_hex_numeral () |
void | get_bin_numeral () |
void | get_simple_symbol () |
void | get_quoted_symbol () |
void | get_string_literal () |
bool | is_simple_symbol_character (char ch) |
Definition at line 16 of file smt2_parser.h.
|
inlineexplicit |
Definition at line 19 of file smt2_parser.h.
References operator()().
|
protectedpure virtual |
Implemented in smt2irept.
Referenced by operator()().
|
protectedpure virtual |
Implemented in smt2irept.
Referenced by get_string_literal(), and operator()().
|
private |
Definition at line 75 of file smt2_parser.cpp.
Referenced by operator()().
|
private |
Definition at line 52 of file smt2_parser.cpp.
Referenced by operator()().
|
private |
Definition at line 100 of file smt2_parser.cpp.
Referenced by operator()().
|
private |
Definition at line 125 of file smt2_parser.cpp.
Referenced by operator()().
|
private |
Definition at line 27 of file smt2_parser.cpp.
References buffer, in, and is_simple_symbol_character().
Referenced by operator()().
|
private |
Definition at line 145 of file smt2_parser.cpp.
References buffer, error(), and in.
Referenced by operator()().
|
private |
Definition at line 14 of file smt2_parser.cpp.
Referenced by get_simple_symbol(), and operator()().
|
protectedpure virtual |
Implemented in smt2irept.
Referenced by operator()().
|
protectedpure virtual |
Implemented in smt2irept.
Referenced by operator()().
|
protectedpure virtual |
Implemented in smt2irept.
Referenced by operator()().
void smt2_parsert::operator() | ( | void | ) |
Definition at line 176 of file smt2_parser.cpp.
References close_expression(), error(), get_bin_numeral(), get_decimal_numeral(), get_hex_numeral(), get_quoted_symbol(), get_simple_symbol(), get_string_literal(), in, is_simple_symbol_character(), keyword(), numeral(), open_expression(), string_literal(), and symbol().
Referenced by smt2irept::operator()(), and smt2_parsert().
|
protectedpure virtual |
Implemented in smt2irept.
Referenced by operator()().
|
protectedpure virtual |
Implemented in smt2irept.
Referenced by operator()().
|
protected |
Definition at line 27 of file smt2_parser.h.
Referenced by get_bin_numeral(), get_decimal_numeral(), get_hex_numeral(), get_quoted_symbol(), get_simple_symbol(), get_string_literal(), and smt2irept::symbol().
|
protected |
Definition at line 26 of file smt2_parser.h.
Referenced by get_bin_numeral(), get_decimal_numeral(), get_hex_numeral(), get_quoted_symbol(), get_simple_symbol(), get_string_literal(), and operator()().