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/source_location.h>
#include <util/type.h>

Include dependency graph for json_symbol.cpp:

Go to the source code of this file.

Functions
static 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. More...
static bool	try_get_bool (const jsont &in, const std::string &key)
	Return boolean value for a given key if present in the json object. More...
symbolt	symbol_from_json (const jsont &in)
	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

in	The 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.

try_get_bool()

static bool try_get_bool ( const jsont &  in, const std::string &  key  )

static

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.

Returns

A boolean value for the corresponding key.

Definition at line 34 of file json_symbol.cpp.

try_get_string()

static const std::string& try_get_string ( const jsont &  in, const std::string &  key  )

static

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.

Returns

A string value for the corresponding key.

Definition at line 22 of file json_symbol.cpp.