cbmc/assignments__from__json_8h_source.html

 /*******************************************************************\


 Module: Assignments to values specified in JSON files


 Author: Diffblue Ltd.


 \*******************************************************************/


 #ifndef CPROVER_JAVA_BYTECODE_ASSIGNMENTS_FROM_JSON_H

 #define CPROVER_JAVA_BYTECODE_ASSIGNMENTS_FROM_JSON_H


 #include "code_with_references.h"


 class jsont;

 class symbol_table_baset;

 class ci_lazy_methods_neededt;


 code_with_references_listt assign_from_json(

   const exprt &expr,

   const jsont &json,

   const irep_idt &function_id,

   symbol_table_baset &symbol_table,

   std::optional<ci_lazy_methods_neededt> &needed_lazy_methods,

   size_t max_user_array_length,

   std::unordered_map<std::string, object_creation_referencet> &references);


 #endif // CPROVER_JAVA_BYTECODE_ASSIGNMENTS_FROM_JSON_H

assign_from_json
code_with_references_listt assign_from_json(const exprt &expr, const jsont &json, const irep_idt &function_id, symbol_table_baset &symbol_table, std::optional< ci_lazy_methods_neededt > &needed_lazy_methods, size_t max_user_array_length, std::unordered_map< std::string, object_creation_referencet > &references)
Given an expression expr representing a Java object or primitive and a JSON representation json of th...

ci_lazy_methods_neededt
Definition: ci_lazy_methods_needed.h:26

ci_lazy_methods_neededt::symbol_table
const symbol_table_baset & symbol_table
Definition: ci_lazy_methods_needed.h:56

code_with_references_listt
Wrapper around a list of shared pointer to code_with_referencest objects, which provides a nicer inte...
Definition: code_with_references.h:93

dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:38

exprt
Base class for all expressions.
Definition: expr.h:56

jsont
Definition: json.h:27

symbol_table_baset
The symbol table base class interface.
Definition: symbol_table_base.h:23

code_with_references.h

json
static void json(json_objectT &result, const irep_idt &property_id, const property_infot &property_info)
Definition: properties.cpp:120