CBMC
Loading...
Searching...
No Matches
Functions
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.

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