CBMC
json_symtab_language.h File Reference
#include <util/json.h>
#include <util/symbol_table_base.h>
#include <goto-programs/goto_functions.h>
#include <langapi/language.h>
#include <set>
#include <string>
+ Include dependency graph for json_symtab_language.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  json_symtab_languaget
 

Functions

std::unique_ptr< languagetnew_json_symtab_language ()
 

Function Documentation

◆ new_json_symtab_language()

std::unique_ptr<languaget> new_json_symtab_language ( )
inline

Definition at line 85 of file json_symtab_language.h.