20 "symbol_table_from_json: JSON input must be an array");
21 for(
const auto &js_symbol : in.
array)
24 if(symbol_table.
add(deserialized))
26 "symbol_table_from_json: duplicate symbol name '" +
irep_idt name
The unique identifier.
Thrown when failing to deserialize a value from some low level format, like JSON or raw bytes.
const std::string & id2string(const irep_idt &d)
void symbol_table_from_json(const jsont &in, symbol_tablet &symbol_table)
bool add(const symbolt &symbol)
Add a new symbol to the symbol table.
symbolt symbol_from_json(const jsont &in)
Deserialise a json object to a symbolt.