CBMC
json_symbol_table.cpp File Reference
#include "json_symbol_table.h"
#include <util/exception_utils.h>
#include <util/json.h>
#include <util/symbol_table_base.h>
#include "json_symbol.h"
+ Include dependency graph for json_symbol_table.cpp:

Go to the source code of this file.

Functions

void symbol_table_from_json (const jsont &in, symbol_table_baset &symbol_table)
 

Function Documentation

◆ symbol_table_from_json()

void symbol_table_from_json ( const jsont in,
symbol_table_baset symbol_table 
)

Definition at line 17 of file json_symbol_table.cpp.