Loading...

Searching...

No Matches

json_symbol.cpp File Reference

#include "json_symbol.h"
#include <util/exception_utils.h>
#include <util/expr.h>
#include <util/json_irep.h>
#include <util/type.h>

+ Include dependency graph for json_symbol.cpp:

Functions

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.

Return boolean value for a given key if present in the json object.

Return a source_locationt from the given JSON object.

Deserialise a json object to a symbolt.

Function Documentation

symbolt symbol_from_json ( const jsont & in )

Deserialise a json object to a symbolt.

Definition at line 140 of file json_symbol.cpp.

bool try_get_bool ( const jsont & in,

const std::string & key

)

Return boolean value for a given key if present in the json object.

Parameters: 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.

Definition at line 34 of file json_symbol.cpp.

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.

Parameters: 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.