cprover
|
#include <jsil_parse_tree.h>
Public Types | |
typedef std::list< jsil_declarationt > | itemst |
Public Member Functions | |
void | swap (jsil_parse_treet &other) |
void | clear () |
void | output (std::ostream &out) const |
Public Attributes | |
itemst | items |
Definition at line 101 of file jsil_parse_tree.h.
typedef std::list<jsil_declarationt> jsil_parse_treet::itemst |
Definition at line 104 of file jsil_parse_tree.h.
|
inline |
Definition at line 112 of file jsil_parse_tree.h.
References items.
Referenced by jsil_parsert::clear().
void jsil_parse_treet::output | ( | std::ostream & | out | ) | const |
Definition at line 91 of file jsil_parse_tree.cpp.
References items.
Referenced by jsil_languaget::show_parse().
|
inline |
Definition at line 107 of file jsil_parse_tree.h.
References items.
Referenced by jsil_languaget::parse().
itemst jsil_parse_treet::items |
Definition at line 105 of file jsil_parse_tree.h.
Referenced by clear(), jsil_convertt::operator()(), output(), swap(), and jsil_languaget::to_expr().