CBMC
json_symbol.h File Reference
#include <util/symbol.h>
+ Include dependency graph for json_symbol.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

symbolt symbol_from_json (const jsont &)
 Deserialise a json object to a symbolt. More...
 

Function Documentation

◆ symbol_from_json()

symbolt symbol_from_json ( const jsont in)

Deserialise a json object to a symbolt.

Parameters
inThe json object that is getting fetched as an object.
Returns
A symbolt representing the json object.

Definition at line 45 of file json_symbol.cpp.