cprover
|
#include <cpp_parse_tree.h>
Public Types | |
typedef std::list< cpp_itemt > | itemst |
Public Member Functions | |
void | swap (cpp_parse_treet &cpp_parse_tree) |
void | clear () |
Public Attributes | |
itemst | items |
Definition at line 17 of file cpp_parse_tree.h.
typedef std::list<cpp_itemt> cpp_parse_treet::itemst |
Definition at line 22 of file cpp_parse_tree.h.
void cpp_parse_treet::clear | ( | void | ) |
Definition at line 19 of file cpp_parse_tree.cpp.
References items.
Referenced by cpp_parsert::clear().
void cpp_parse_treet::swap | ( | cpp_parse_treet & | cpp_parse_tree | ) |
Definition at line 14 of file cpp_parse_tree.cpp.
References items.
Referenced by cpp_languaget::parse().
itemst cpp_parse_treet::items |
Definition at line 23 of file cpp_parse_tree.h.
Referenced by clear(), Parser::operator()(), cpp_languaget::show_parse(), swap(), cpp_languaget::to_expr(), and cpp_typecheckt::typecheck().