cprover
|
#include <xml_parse_tree.h>
Public Member Functions | |
void | swap (xml_parse_treet &xml_parse_tree) |
void | clear () |
Public Attributes | |
xmlt | xml |
xmlt | element |
Definition at line 15 of file xml_parse_tree.h.
void xml_parse_treet::clear | ( | void | ) |
Definition at line 17 of file xml_parse_tree.cpp.
References xmlt::clear(), element, and xml.
Referenced by xml_parsert::clear().
void xml_parse_treet::swap | ( | xml_parse_treet & | xml_parse_tree | ) |
Definition at line 12 of file xml_parse_tree.cpp.
References element, and xmlt::swap().
xmlt xml_parse_treet::element |
Definition at line 19 of file xml_parse_tree.h.
Referenced by clear(), xml_parsert::clear(), parse_xml(), read_goto_object(), and swap().
xmlt xml_parse_treet::xml |
Definition at line 18 of file xml_parse_tree.h.
Referenced by clear(), and yyxmlparse().