CBMC
Loading...
Searching...
No Matches
json_goto_function.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: JSON goto_function deserialization
4
5Author: Michael Tautschnig
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_JSON_SYMTAB_LANGUAGE_JSON_GOTO_FUNCTION_H
13#define CPROVER_JSON_SYMTAB_LANGUAGE_JSON_GOTO_FUNCTION_H
14
15#include <goto-programs/goto_function.h>
16
17class json_objectt;
18
22goto_functiont goto_function_from_json(const json_objectt &json);
23
24#endif // CPROVER_JSON_SYMTAB_LANGUAGE_JSON_GOTO_FUNCTION_H
goto_functiont
A goto function, consisting of function body (see body) and parameter identifiers (see parameter_iden...
Definition goto_function.h:24
json_objectt
Definition json.h:298
goto_function.h
Goto Function.
goto_function_from_json
goto_functiont goto_function_from_json(const json_objectt &json)
Deserialize a goto_functiont from JSON.
Definition json_goto_function.cpp:301
json
static void json(json_objectT &result, const irep_idt &property_id, const property_infot &property_info)
Definition properties.cpp:120