CBMC
json_symbol.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: JSON symbol deserialization
4 
5 Author: 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 
14 class jsont;
15 
16 symbolt symbol_from_json(const jsont &);
17 
18 #endif
jsont
Definition: json.h:27
symbolt
Symbol table entry.
Definition: symbol.h:28
symbol_from_json
symbolt symbol_from_json(const jsont &)
Deserialise a json object to a symbolt.
Definition: json_symbol.cpp:45
symbol.h
Symbol table entry.