CBMC
Loading...
Searching...
No Matches
json_symbol.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: JSON symbol deserialization
4
5Author: Chris Smowton, chris.smowton@diffblue.com
6
7\*******************************************************************/
8
9#ifndef CPROVER_JSON_SYMTAB_LANGUAGE_JSON_SYMBOL_H
10#define CPROVER_JSON_SYMTAB_LANGUAGE_JSON_SYMBOL_H
11
12#include <util/symbol.h>
13
14class jsont;
15
16symbolt symbol_from_json(const jsont &);
17
22const std::string &try_get_string(const jsont &in, const std::string &key);
23
28bool try_get_bool(const jsont &in, const std::string &key);
29
33source_locationt try_get_source_location(const jsont &json);
34
35#endif
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
jsont
Definition json.h:27
source_locationt
Definition source_location.h:20
symbolt
Symbol table entry.
Definition symbol.h:28
try_get_bool
bool try_get_bool(const jsont &in, const std::string &key)
Return boolean value for a given key if present in the json object.
Definition json_symbol.cpp:25
symbol_from_json
symbolt symbol_from_json(const jsont &)
Deserialise a json object to a symbolt.
Definition json_symbol.cpp:140
try_get_source_location
source_locationt try_get_source_location(const jsont &json)
Return a source_locationt from the given JSON object.
Definition json_symbol.cpp:34
try_get_string
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.
Definition json_symbol.cpp:16
json
static void json(json_objectT &result, const irep_idt &property_id, const property_infot &property_info)
Definition properties.cpp:120
symbol.h
Symbol table entry.