cprover
assignments_from_json.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Assignments to values specified in JSON files
4 
5 Author: Diffblue Ltd.
6 
7 \*******************************************************************/
8 
10 
11 #ifndef CPROVER_JAVA_BYTECODE_ASSIGNMENTS_FROM_JSON_H
12 #define CPROVER_JAVA_BYTECODE_ASSIGNMENTS_FROM_JSON_H
13 
14 #include "code_with_references.h"
15 #include <util/std_code.h>
16 
17 class jsont;
18 class symbol_table_baset;
20 
100  const exprt &expr,
101  const jsont &json,
102  const irep_idt &function_id,
104  optionalt<ci_lazy_methods_neededt> &needed_lazy_methods,
105  size_t max_user_array_length,
106  std::unordered_map<std::string, object_creation_referencet> &references);
107 
108 #endif // CPROVER_JAVA_BYTECODE_ASSIGNMENTS_FROM_JSON_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
code_with_references.h
exprt
Base class for all expressions.
Definition: expr.h:53
jsont
Definition: json.h:27
symbol_table_baset
The symbol table base class interface.
Definition: symbol_table_base.h:22
json
static void json(json_objectT &result, const irep_idt &property_id, const property_infot &property_info)
Definition: properties.cpp:114
ci_lazy_methods_neededt::symbol_table
const symbol_tablet & symbol_table
Definition: ci_lazy_methods_needed.h:55
std_code.h
optionalt
nonstd::optional< T > optionalt
Definition: optional.h:35
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
ci_lazy_methods_neededt
Definition: ci_lazy_methods_needed.h:25
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, optionalt< 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...