|
cprover
|
#include <ansi_c_parse_tree.h>
Public Types | |
| typedef std::list< ansi_c_declarationt > | itemst |
Public Member Functions | |
| void | swap (ansi_c_parse_treet &other) |
| void | clear () |
| void | output (std::ostream &out) const |
Public Attributes | |
| itemst | items |
Definition at line 15 of file ansi_c_parse_tree.h.
| typedef std::list<ansi_c_declarationt> ansi_c_parse_treet::itemst |
Definition at line 19 of file ansi_c_parse_tree.h.
| void ansi_c_parse_treet::clear | ( | void | ) |
Definition at line 18 of file ansi_c_parse_tree.cpp.
References items.
Referenced by ansi_c_parsert::clear().
| void ansi_c_parse_treet::output | ( | std::ostream & | out | ) | const |
Definition at line 23 of file ansi_c_parse_tree.cpp.
References items.
Referenced by ansi_c_languaget::show_parse().
| void ansi_c_parse_treet::swap | ( | ansi_c_parse_treet & | other | ) |
Definition at line 13 of file ansi_c_parse_tree.cpp.
References items.
Referenced by ansi_c_languaget::parse().
| itemst ansi_c_parse_treet::items |
Definition at line 20 of file ansi_c_parse_tree.h.
Referenced by clear(), ansi_c_parsert::copy_item(), output(), swap(), ansi_c_languaget::to_expr(), and ansi_c_typecheckt::typecheck().