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.