cprover
Loading...
Searching...
No Matches
assignments_from_json.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Assignments to values specified in JSON files
4
5Author: 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
16class jsont;
17class symbol_table_baset;
18class ci_lazy_methods_neededt;
19
98code_with_references_listt assign_from_json(
99 const exprt &expr,
100 const jsont &json,
101 const irep_idt &function_id,
102 symbol_table_baset &symbol_table,
103 std::optional<ci_lazy_methods_neededt> &needed_lazy_methods,
104 size_t max_user_array_length,
105 std::unordered_map<std::string, object_creation_referencet> &references);
106
107#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...
Definition assignments_from_json.cpp:914
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
exprt
Base class for all expressions.
Definition expr.h:57
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
irep_idt
dstringt irep_idt
Definition verification_result.h:16