CBMC
|
#include <util/symbol.h>
Go to the source code of this file.
Functions | |
symbolt | symbol_from_json (const jsont &) |
Deserialise a json object to a symbolt. | |
const std::string & | try_get_string (const jsont &in, const std::string &key) |
Return string value for a given key if present in the json object. | |
bool | try_get_bool (const jsont &in, const std::string &key) |
Return boolean value for a given key if present in the json object. | |
source_locationt | try_get_source_location (const jsont &json) |
Return a source_locationt from the given JSON object. | |
Deserialise a json object to a symbolt.
in | The json object that is getting fetched as an object. |
Definition at line 140 of file json_symbol.cpp.
Return boolean value for a given key if present in the json object.
in | The json object that is getting fetched as a boolean. |
key | The key for the json value to be fetched. |
Definition at line 25 of file json_symbol.cpp.
source_locationt try_get_source_location | ( | const jsont & | json | ) |
Return a source_locationt
from the given JSON object.
json | The json object that represents a source location. |
Definition at line 34 of file json_symbol.cpp.
Return string value for a given key if present in the json object.
in | The json object that is getting fetched as a string. |
key | The key for the json value to be fetched. |
Definition at line 16 of file json_symbol.cpp.