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.
void jsil_parse_treet::output | ( | std::ostream & | out | ) | const |
Definition at line 92 of file jsil_parse_tree.cpp.
|
inline |
Definition at line 107 of file jsil_parse_tree.h.
itemst jsil_parse_treet::items |
Definition at line 105 of file jsil_parse_tree.h.