assignments_from_json.h

Go to the documentation of this file.

/*******************************************************************\
 
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,
  optionalt<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