CBMC
Loading...
Searching...
No Matches
Functions
json_goto_functions.cpp File Reference

JSON goto_functions deserialization. More...

#include "json_goto_functions.h"
#include <util/exception_utils.h>
#include <util/json.h>
#include <goto-programs/goto_functions.h>
#include "json_goto_function.h"
+ Include dependency graph for json_goto_functions.cpp:

Go to the source code of this file.

Functions

  Deserialize goto_functionst from JSON.
 

Detailed Description

JSON goto_functions deserialization.

Definition in file json_goto_functions.cpp.

Function Documentation

◆  goto_functions_from_json()

void goto_functions_from_json ( const jsontjson,
goto_functionstgoto_functions 
)

Deserialize goto_functionst from JSON.

Parameters
json The JSON object representing goto_functions
goto_functions The goto_functionst object to populate

Definition at line 21 of file json_goto_functions.cpp.

AltStyle によって変換されたページ (->オリジナル) /