cprover
Loading...
Searching...
No Matches
json_symbol_table.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: JSON symbol table deserialization
4
5
Author: Chris Smowton, chris.smowton@diffblue.com
6
7
\*******************************************************************/
8
9
#ifndef CPROVER_JSON_SYMTAB_LANGUAGE_JSON_SYMBOL_TABLE_H
10
#define CPROVER_JSON_SYMTAB_LANGUAGE_JSON_SYMBOL_TABLE_H
11
12
class
jsont
;
13
class
symbol_tablet
;
14
15
void
symbol_table_from_json
(
const
jsont
&,
symbol_tablet
&);
16
17
#endif
jsont
Definition
json.h:27
symbol_tablet
The symbol table.
Definition
symbol_table.h:14
symbol_table_from_json
void symbol_table_from_json(const jsont &, symbol_tablet &)
Definition
json_symbol_table.cpp:16
json-symtab-language
json_symbol_table.h
Generated by
1.9.7