CBMC
Loading...
Searching...
No Matches
json_goto_functions.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: JSON goto_functions deserialization
4
5Author: Michael Tautschnig
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_JSON_SYMTAB_LANGUAGE_JSON_GOTO_FUNCTIONS_H
13#define CPROVER_JSON_SYMTAB_LANGUAGE_JSON_GOTO_FUNCTIONS_H
14
15class goto_functionst;
16class jsont;
17
21void goto_functions_from_json(
22 const jsont &json,
23 goto_functionst &goto_functions);
24
25#endif // CPROVER_JSON_SYMTAB_LANGUAGE_JSON_GOTO_FUNCTIONS_H
goto_functionst
A collection of goto functions.
Definition goto_functions.h:25
jsont
Definition json.h:27
goto_functions_from_json
void goto_functions_from_json(const jsont &json, goto_functionst &goto_functions)
Deserialize goto_functionst from JSON.
Definition json_goto_functions.cpp:21
json
static void json(json_objectT &result, const irep_idt &property_id, const property_infot &property_info)
Definition properties.cpp:120