Go to the documentation of this file.
55 xmlt::elementst::const_iterator it =
xml.
elements.begin();
62 else if(it->name==
"named_sub")
66 std::string named_name = it->get_attribute(
"name");
69 else if(it->name==
"sub")
75 else if(it->name==
"comment")
79 std::string named_name = it->get_attribute(
"name");
85 std::cout <<
"Unknown sub found (" << it->name <<
"); malformed xml?";
95 result.
name =
"location";
const irep_idt & get_function() const
static bool is_comment(const irep_namet &name)
void move_to_sub(irept &irep)
const irep_idt & get_column() const
void convert(const irept &irep, xmlt &xml)
const irep_idt & get_line() const
void move_to_named_sub(const irep_namet &name, irept &irep)
const std::string & id2string(const irep_idt &d)
named_subt & get_named_sub()
xmlt xml(const source_locationt &location)
#define forall_named_irep(it, irep)
const std::string & id_string() const
const irep_idt & id() const
#define forall_irep(it, irep)
void set_attribute(const std::string &attribute, unsigned value)
const std::string & name2string(const irep_namet &n)
const irep_idt & get_file() const
There are a large number of kinds of tree structured or tree-like data in CPROVER.
const irep_idt & get_working_directory() const
xmlt & new_element(const std::string &key)