53 xmlt::elementst::const_iterator it =
xml.
elements.begin();
60 else if(it->name==
"named_sub")
64 std::string named_name = it->get_attribute(
"name");
67 else if(it->name==
"sub")
73 else if(it->name==
"comment")
77 std::string named_name = it->get_attribute(
"name");
83 std::cout <<
"Unknown sub found (" << it->name <<
"); malformed xml?";
void move_to_sub(irept &irep)
void convert(const irept &irep, xmlt &xml)
#define forall_named_irep(it, irep)
xmlt xml(const source_locationt &location)
const irep_idt & id() const
const std::string & name2string(const irep_namet &n)
void set_attribute(const std::string &attribute, unsigned value)
named_subt & get_comments()
Base class for tree-like data structures with sharing.
xmlt & new_element(const std::string &name)
named_subt & get_named_sub()
const std::string & id_string() const
void move_to_named_sub(const irep_namet &name, irept &irep)
#define forall_irep(it, irep)