31 xmlval.
data =
"compiled";
63 xmlloc.
name =
"location";
73 for(xmlt::elementst::const_iterator
82 else if(it->name==
"value")
84 if(it->data==
"compiled")
93 else if(it->name==
"flags")
95 symbol.
is_lvalue = it->get_attribute_bool(
"lvalue");
98 symbol.
is_property = it->get_attribute_bool(
"theorem");
100 symbol.
is_type = it->get_attribute_bool(
"type");
101 symbol.
is_extern = it->get_attribute_bool(
"extern");
102 symbol.
is_input = it->get_attribute_bool(
"input");
103 symbol.
is_output = it->get_attribute_bool(
"output");
104 symbol.
is_macro = it->get_attribute_bool(
"macro");
108 symbol.
is_state_var = it->get_attribute_bool(
"statevar");
110 for(xmlt::elementst::const_iterator
111 fit=it->elements.begin();
112 fit!=it->elements.end();
115 if(fit->name==
"mode")
116 symbol.
mode=fit->data;
117 else if(fit->name==
"base_name")
119 else if(fit->name==
"module")
123 else if(it->name==
"location")
irep_idt name
The unique identifier.
void set_attribute_bool(const std::string &attribute, bool value)
const std::string & id2string(const irep_idt &d)
irep_idt mode
Language mode.
exprt value
Initial value of symbol.
irep_idt module
Name of module the symbol belongs to.
irep_idt pretty_name
Language-specific display name.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
std::string get_attribute(const std::string &attribute) const
Converts symbols to xml structures and back.
const irep_idt & id() const
void set_attribute(const std::string &attribute, unsigned value)
void convert(const symbolt &sym, xmlt &root)
converts a symbol to an xml symbol node
xmlt & new_element(const std::string &name)
typet type
Type of symbol.
source_locationt location
Source code location of definition of symbol.
irep_idt base_name
Base (non-scoped) name.