100 "irep JSON representation must be an object");
112 out.
id(it->second.value);
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Thrown when failing to deserialize a value from some low level format, like JSON or raw bytes.
There are a large number of kinds of tree structured or tree-like data in CPROVER.
const std::string & id_string() const
static bool is_comment(const irep_idt &name)
const irep_idt & id() const
irept & add(const irep_idt &name)
named_subt & get_named_sub()
json_irept(bool include_comments)
To convert to JSON from an irep structure by recursively generating JSON for the different sub trees.
irept convert_from_json(const jsont &) const
Deserialize a JSON irep representation.
json_objectt convert_from_irep(const irept &) const
To convert to JSON from an irep structure by recursively generating JSON for the different sub trees.
void convert_sub_tree(const std::string &sub_tree_id, const irept::subt &sub_trees, json_objectt &parent) const
To convert to JSON from a list of ireps that are in an unlabelled subtree.
void convert_named_sub_tree(const std::string &sub_tree_id, const irept::named_subt &sub_trees, json_objectt &parent) const
To convert to JSON from a map of ireps that are in a named subtree.
typename dt::named_subt named_subt
const irep_idt & get_java_bytecode_index() const
const irep_idt & get_column() const
const irep_idt & get_function() const
const irep_idt & get_working_directory() const
const irep_idt & get_file() const
const irep_idt & get_line() const
const std::string & id2string(const irep_idt &d)
json_objectt & to_json_object(jsont &json)
json_arrayt & to_json_array(jsont &json)
json_objectt json(const source_locationt &location)