json_goto_function.h File Reference

JSON goto_function deserialization. More...

#include <goto-programs/goto_function.h>

Include dependency graph for json_goto_function.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
goto_functiont	goto_function_from_json (const json_objectt &json)
	Deserialize a goto_functiont from JSON.

Detailed Description

JSON goto_function deserialization.

Definition in file json_goto_function.h.

Function Documentation

goto_function_from_json()

goto_functiont goto_function_from_json

(

const json_objectt &

json

)

Deserialize a goto_functiont from JSON.

Parameters

json	The JSON object representing a goto_function

Returns

A goto_functiont

Definition at line 301 of file json_goto_function.cpp.