Loading...

Searching...

No Matches

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

void goto_functions_from_json (const jsont &json, goto_functionst &goto_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 jsont & json,

goto_functionst & goto_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.