solidity_convertert Member List

This is the complete list of members for solidity_convertert, including all inherited members.

absolute_path	solidity_convertert	protected
add_auxiliary_members(const nlohmann::json &json, const std::string contract_name)	solidity_convertert	protected
add_empty_body_node(nlohmann::json &ast_node)	solidity_convertert	protected
add_enum_member_val(nlohmann::json &ast_node)	solidity_convertert	protected
add_implicit_constructor(const std::string &contract_name)	solidity_convertert	protected
add_inherit_label(nlohmann::json &node, const std::string &cname)	solidity_convertert	protected
add_offset(const std::string &src, size_t start_position)	solidity_convertert	protected
add_reentry_check(const std::string &c_name, const locationt &loc, exprt &body_exprt)	solidity_convertert	protected
add_static_contract_instance(const std::string c_name)	solidity_convertert	protected
addr_t	solidity_convertert	protected
addrp_t	solidity_convertert	protected
assign_nondet_contract_name(const std::string &_cname, exprt &new_expr)	solidity_convertert	protected
assign_param_nondet(const nlohmann::json &decl_ref, side_effect_expr_function_callt &call)	solidity_convertert	protected
aux_counter	solidity_convertert	protected
bool_t	solidity_convertert	protected
build_canonical_signature(const nlohmann::json &func_def)	solidity_convertert	protected
byte_dynamic_t	solidity_convertert	protected
byte_static_t	solidity_convertert	protected
check_array_push_pop_length(const nlohmann::json &node)	solidity_convertert	protected
check_intrinsic_function(const nlohmann::json &ast_node)	solidity_convertert	protected
check_sol_ver()	solidity_convertert	protected
construct_tuple_assigments(const nlohmann::json &ast_node, const exprt &lhs, const exprt &rhs)	solidity_convertert	protected
context	solidity_convertert	protected
contract_contents	solidity_convertert	protected
contract_path	solidity_convertert	protected
contract_precheck()	solidity_convertert	protected
contractNamesList	solidity_convertert	protected
contractNamesMap	solidity_convertert	protected
convert()	solidity_convertert
convert_ast_nodes(const nlohmann::json &contract_def, const std::string &cname)	solidity_convertert	protected
convert_bool_literal(const nlohmann::json &bool_literal, std::string the_value, exprt &dest)	solidity_convertert	protected
convert_expression_to_code(exprt &expr)	solidity_convertert	protected
convert_hex_literal(std::string the_value, exprt &dest, const int n=256)	solidity_convertert	protected
convert_integer_literal(const nlohmann::json &integer_literal, std::string the_value, exprt &dest)	solidity_convertert	protected
convert_operand_types(exprt &lhs, exprt &rhs, const typet &common_type, bool is_shift, const nlohmann::json &expr)	solidity_convertert	protected
convert_string_literal(std::string the_value, exprt &dest)	solidity_convertert	protected
convert_type_expr(const namespacet &ns, exprt &src_expr, const typet &dest_type, const nlohmann::json &expr)	solidity_convertert	protected
convert_type_expr(const namespacet &ns, exprt &src_expr, const exprt &dest_expr, const nlohmann::json &expr)	solidity_convertert	protected
convert_unboundcall_nondet(exprt &new_expr, const typet common_type, const locationt &l)	solidity_convertert	protected
ctor_backBlockDecl	solidity_convertert	protected
ctor_frontBlockDecl	solidity_convertert	protected
current_baseContractName	solidity_convertert	static
current_BinOp_type	solidity_convertert	protected
current_forStmt	solidity_convertert	protected
current_functionDecl	solidity_convertert	protected
current_functionName	solidity_convertert	protected
current_lhsDecl	solidity_convertert	protected
current_rhsDecl	solidity_convertert	protected
delegate_shadow_param_remap	solidity_convertert	protected
delegate_shadow_target_cname	solidity_convertert	protected
delegate_shadow_target_return_params	solidity_convertert	protected
delete_modifier_json(const std::string &cname, const std::string &fname, nlohmann::json *&modifier_def)	solidity_convertert	protected
empty_json	solidity_convertert	static
expr_backBlockDecl	solidity_convertert	protected
expr_frontBlockDecl	solidity_convertert	protected
extract_abi_encode_signature(const nlohmann::json &payload, std::string &sig_literal, std::vector< const nlohmann::json * > &args_out)	solidity_convertert	protected
extract_new_contracts()	solidity_convertert	protected
find_constructor_ref(int ref_decl_id)	solidity_convertert	static
find_constructor_ref(const std::string &contract_name)	solidity_convertert	static
find_contract_name_for_id(int func_id)	solidity_convertert	protected
find_decl_ref(int ref_id)	solidity_convertert
find_function_by_signature(const std::string &cname, const std::string &target_sig)	solidity_convertert	protected
find_last_parent(const nlohmann::json &json, const nlohmann::json &target)	solidity_convertert	static
find_node_by_id(const nlohmann::json &subtree, int ref_id)	solidity_convertert	static
find_parent_contract(const nlohmann::json &json, const nlohmann::json &target)	solidity_convertert	static
flatten_nested_tuple_assignment(const nlohmann::json &expr, const nlohmann::json &lhs_json, const nlohmann::json &rhs_json)	solidity_convertert	protected
focus_func	solidity_convertert	protected
func_sig typedef	solidity_convertert	protected
funcSignatures	solidity_convertert	protected
gen_mapping_key_typecast(const std::string &c_name, exprt &pos, const locationt &l, const typet &key_type)	solidity_convertert	protected
get_access_from_decl(const nlohmann::json &ast_node, struct_typet::componentt &comp)	solidity_convertert	protected
get_addr_expr(const std::string &cname, const exprt &base, exprt &new_expr)	solidity_convertert	protected
get_array_pointer_type(const nlohmann::json &decl, const typet &base_type, typet &new_type)	solidity_convertert	protected
get_array_size(const nlohmann::json &type_descrpt)	solidity_convertert	protected
get_array_to_pointer_type(const nlohmann::json &decl, typet &new_type)	solidity_convertert	protected
get_arrcpy_function_call(const locationt &loc, side_effect_expr_function_callt &calc_call)	solidity_convertert	protected
get_aux_array(const exprt &src_expr, const typet &sub_t, exprt &new_expr)	solidity_convertert	protected
get_aux_array_name(std::string &aux_name, std::string &aux_id)	solidity_convertert	protected
get_aux_property_function(const std::string &cname, const exprt &addr, const typet &return_t, const locationt &loc, const std::string &property_name, exprt &new_expr)	solidity_convertert	protected
get_aux_var(std::string &aux_name, std::string &aux_id)	solidity_convertert	protected
get_base_contract_name(const exprt &base, std::string &cname)	solidity_convertert	protected
get_binary_operator_expr(const nlohmann::json &expr, exprt &new_expr)	solidity_convertert	protected
get_bind_cname_expr(const nlohmann::json &json, exprt &bind_cname_expr)	solidity_convertert	protected
get_bind_cname_func_name(const std::string &cname, std::string &fname, std::string &fid)	solidity_convertert	protected
get_block(const nlohmann::json &expr, exprt &new_expr)	solidity_convertert	protected
get_bound_low_level_call(const nlohmann::json &expr, const nlohmann::json &literal_type, const std::string &mem_name, const exprt &base, exprt &new_expr)	solidity_convertert	protected
get_builtin_property_expr(const std::string &cname, const std::string &name, const exprt &base, const locationt &loc, exprt &new_expr)	solidity_convertert	protected
get_builtin_symbol(const std::string name, const std::string id, const typet t, const locationt &l, const exprt &val, const std::string c_name)	solidity_convertert	protected
get_bytesN_size(const exprt &src_expr, exprt &len_expr)	solidity_convertert	protected
get_call_definition(const std::string &cname, exprt &new_expr)	solidity_convertert	protected
get_call_expr(const nlohmann::json &expr, const nlohmann::json &literal_type, exprt &new_expr)	solidity_convertert	protected
get_call_value_definition(const std::string &cname, exprt &new_expr)	solidity_convertert	protected
get_calloc_function_call(const locationt &loc, side_effect_expr_function_callt &_call)	solidity_convertert	protected
get_cast_expr(const nlohmann::json &cast_expr, exprt &new_expr, const nlohmann::json literal_type=nullptr)	solidity_convertert	protected
get_cname_expr(const std::string &cname, exprt &new_expr)	solidity_convertert	protected
get_compound_assign_expr(const nlohmann::json &expr, exprt &lhs, exprt &rhs, typet &common_type, exprt &new_expr)	solidity_convertert	protected
get_conditional_operator_expr(const nlohmann::json &expr, exprt &new_expr)	solidity_convertert	protected
get_constant_value(const int ref_id, std::string &value)	solidity_convertert	protected
get_constructor(const nlohmann::json &ast_node, const std::string &contract_name)	solidity_convertert	protected
get_contract_definition(const std::string &c_name)	solidity_convertert	protected
get_contract_member_call_expr(const nlohmann::json &expr, const nlohmann::json &literal_type, exprt &new_expr)	solidity_convertert	protected
get_contract_mutex_expr(const std::string c_name, const exprt &this_expr, exprt &expr)	solidity_convertert	protected
get_contract_mutex_name(const std::string c_name, std::string &name, std::string &id)	solidity_convertert	protected
get_ctor_call(const nlohmann::json &decl_ref, const nlohmann::json &epxr, side_effect_expr_function_callt &call)	solidity_convertert	protected
get_ctor_call_id(const std::string &contract_name, std::string &ctor_id)	solidity_convertert	protected
get_ctor_decl_this_ref(const nlohmann::json &caller, exprt &this_object)	solidity_convertert	protected
get_ctor_decl_this_ref(const std::string &c_name, exprt &this_object)	solidity_convertert	protected
get_current_contract_name(const nlohmann::json &ast_node, std::string &contract_name)	solidity_convertert	protected
get_decl_ref_expr(const nlohmann::json &expr, exprt &new_expr)	solidity_convertert	protected
get_default_symbol(symbolt &symbol, std::string module_name, typet type, std::string name, std::string id, locationt location)	solidity_convertert	protected
get_delegatecall_definition(const std::string &cname, exprt &new_expr)	solidity_convertert	protected
get_dynamic_pool(const std::string &c_name, exprt &pool)	solidity_convertert	protected
get_dynamic_pool(const nlohmann::json &expr, exprt &pool)	solidity_convertert	protected
get_elementary_type_name(const nlohmann::json &type_name, typet &new_type)	solidity_convertert	protected
get_empty_array_ref(const nlohmann::json &ast_node, exprt &new_expr)	solidity_convertert	protected
get_enum_member_ref(const nlohmann::json &decl, exprt &new_expr)	solidity_convertert	protected
get_error_definition(const nlohmann::json &ast_node)	solidity_convertert	protected
get_error_definition_name(const nlohmann::json &ast_node, std::string &name, std::string &id)	solidity_convertert	protected
get_esbmc_builtin_ref(const nlohmann::json &decl, exprt &new_expr)	solidity_convertert	protected
get_explicit_ctor_call_id(const std::string &contract_name)	solidity_convertert	protected
get_expr(const nlohmann::json &expr, exprt &new_expr)	solidity_convertert	protected
get_expr(const nlohmann::json &expr, const nlohmann::json &expr_common_type, exprt &new_expr)	solidity_convertert	protected
get_filename_from_path(std::string path)	solidity_convertert	protected
get_final_location_from_stmt(const nlohmann::json &ast_node, locationt &location)	solidity_convertert	protected
get_func_decl_ref(const nlohmann::json &decl, exprt &new_expr)	solidity_convertert	protected
get_func_decl_ref(const std::string &c_name, const std::string &f_name)	solidity_convertert	protected
get_func_decl_ref_type(const nlohmann::json &decl, typet &new_type)	solidity_convertert	protected
get_func_decl_this_ref(const nlohmann::json &decl, exprt &new_expr)	solidity_convertert	protected
get_func_decl_this_ref(const std::string contract_name, const std::string &func_id, exprt &new_expr)	solidity_convertert	protected
get_func_modifier(const nlohmann::json &ast_node, const std::string &c_name, const std::string &f_name, const std::string &f_id, const bool add_reentry, exprt &body_exprt)	solidity_convertert	protected
get_function_decl(const nlohmann::json &ast_node)	solidity_convertert	protected
get_function_definition(const nlohmann::json &ast_node)	solidity_convertert	protected
get_function_definition_name(const nlohmann::json &ast_node, std::string &name, std::string &id)	solidity_convertert	protected
get_function_params(const nlohmann::json &pd, const std::string &cname, exprt &param)	solidity_convertert	protected
get_function_this_pointer_param(const std::string &contract_name, const std::string &ctor_id, const std::string &debug_modulename, const locationt &location_begin, code_typet &type)	solidity_convertert	protected
get_high_level_call_wrapper(const std::string c_name, const exprt &this_expr, exprt &front_block, exprt &back_block)	solidity_convertert	protected
get_high_level_member_access(const nlohmann::json &expr, const nlohmann::json &literal_type, const exprt &base, const exprt &member, const exprt &_mem_call, const bool is_func_call, exprt &new_expr)	solidity_convertert	protected
get_high_level_member_access(const nlohmann::json &expr, const exprt &base, const exprt &member, const exprt &_mem_call, const bool is_func_call, exprt &new_expr)	solidity_convertert	protected
get_implicit_ctor_ref(const std::string &contract_name, const bool is_object, exprt &new_expr)	solidity_convertert	protected
get_implict_ctor_call_id(const std::string &contract_name)	solidity_convertert	protected
get_index_access_expr(const nlohmann::json &expr, const nlohmann::json &literal_type, exprt &new_expr)	solidity_convertert	protected
get_index_range_access_expr(const nlohmann::json &expr, const nlohmann::json &literal_type, exprt &new_expr)	solidity_convertert	protected
get_inherit_ctor_definition(const std::string c_name, exprt &new_expr)	solidity_convertert	protected
get_inherit_ctor_definition_name(const std::string c_name, std::string &name, std::string &id)	solidity_convertert	protected
get_inherit_static_contract_instance(const std::string bs_c_name, const std::string c_name, const nlohmann::json &args_list, symbolt &sym)	solidity_convertert	protected
get_inherit_static_contract_instance_name(const std::string bs_c_name, const std::string c_name, std::string &name, std::string &id)	solidity_convertert	protected
get_init_expr(const nlohmann::json &init_value, const nlohmann::json &literal_type, const typet &dest_type, exprt &new_expr)	solidity_convertert	protected
get_instantiation_ctor_call(const std::string &contract_name, exprt &new_expr)	solidity_convertert	protected
get_library_function_call(const nlohmann::json &decl_ref, const nlohmann::json &caller, side_effect_expr_function_callt &call, bool skip_first_param=false)	solidity_convertert	protected
get_library_function_call(const exprt &func, const typet &t, const nlohmann::json &decl_ref, const nlohmann::json &caller, side_effect_expr_function_callt &call, bool skip_first_param=false)	solidity_convertert	protected
get_library_function_call_no_args(const std::string &func_name, const std::string &func_id, const typet &t, const locationt &l, exprt &new_expr)	solidity_convertert	protected
get_library_param_id(const std::string &lib_cname, const std::string &func_name, const std::string &param_name, int param_ast_id)	solidity_convertert	protectedstatic
get_line_number(const nlohmann::json &ast_node, bool final_position=false)	solidity_convertert	protected
get_literal_expr(const nlohmann::json &expr, const nlohmann::json &literal_type, exprt &new_expr)	solidity_convertert	protected
get_llc_ret_tuple(symbolt &sym)	solidity_convertert	protected
get_local_var_decl_name(const nlohmann::json &ast_node, const std::string &cname, std::string &name, std::string &id)	solidity_convertert	protected
get_location_from_node(const nlohmann::json &ast_node, locationt &location)	solidity_convertert	protected
get_low_level_member_accsss(const nlohmann::json &expr, const nlohmann::json &options, const std::string mem_name, const exprt &base, const exprt &arg, exprt &new_expr)	solidity_convertert	protected
get_malloc_function_call(const locationt &loc, side_effect_expr_function_callt &_call)	solidity_convertert	protected
get_mapping_inf_arr_name(const std::string &cname, const std::string &name, std::string &arr_name, std::string &arr_id)	solidity_convertert	protected
get_mapping_key_value_type(const nlohmann::json &map_node, typet &key_t, typet &value_t, SolidityGrammar::SolType &key_sol_type, SolidityGrammar::SolType &val_sol_type)	solidity_convertert	protected
get_mapping_struct_function(const typet &struct_t, std::string &struct_contract_name, const side_effect_expr_function_callt &gen_call, exprt &new_expr)	solidity_convertert	protected
get_memcpy_function_call(const locationt &loc, side_effect_expr_function_callt &_call)	solidity_convertert	protected
get_modifier_function_name(const std::string &cname, const std::string &mod_name, const std::string &func_name, std::string &name, std::string &id)	solidity_convertert	protected
get_modulename_from_path(std::string path)	solidity_convertert	protected
get_new_mapping_index_access(const typet &value_t, SolidityGrammar::SolType val_sol_type, bool is_mapping_set, const exprt &array, const exprt &pos, const locationt &location, exprt &new_expr)	solidity_convertert	protected
get_new_object(const typet &t, exprt &this_object)	solidity_convertert	protected
get_new_object_ctor_call(const nlohmann::json &ast_node, const bool is_object, exprt &new_expr)	solidity_convertert	protected
get_new_object_ctor_call(const std::string &contract_name, const nlohmann::json param_list, const bool is_object, exprt &new_expr)	solidity_convertert	protected
get_new_object_expr(const nlohmann::json &expr, const nlohmann::json &literal_type, exprt &new_expr)	solidity_convertert	protected
get_non_function_decl(const nlohmann::json &ast_node, exprt &new_expr)	solidity_convertert	protected
get_non_library_function_call(const nlohmann::json &decl_ref, const nlohmann::json &caller, side_effect_expr_function_callt &call)	solidity_convertert	protected
get_noncontract_decl_ref(const nlohmann::json &ast_node, exprt &new_expr)	solidity_convertert	protected
get_noncontract_defition(nlohmann::json &ast_node)	solidity_convertert	protected
get_nondet_expr(const typet &t, exprt &new_expr)	solidity_convertert	protected
get_parameter_list(const nlohmann::json &type_name, typet &new_type)	solidity_convertert	protected
get_send_definition(const std::string &cname, exprt &new_expr)	solidity_convertert	protected
get_size_expr(const exprt &rhs, exprt &size_expr)	solidity_convertert	protected
get_size_of_expr(const typet &elem_type, exprt &size_of_expr)	solidity_convertert	protected
get_sol_array_size(const typet &t)	solidity_convertert	inlinestatic
get_sol_builtin_ref(const nlohmann::json expr, exprt &new_expr)	solidity_convertert	protected
get_sol_bytesn_size(const typet &t)	solidity_convertert	inlinestatic
get_sol_contract(const typet &t) const	solidity_convertert	inline
get_sol_dynarray_state(const typet &t)	solidity_convertert	inlinestatic
get_sol_mapping_array(const typet &t)	solidity_convertert	inlinestatic
get_sol_state_var(const irep_idt &symbol_id) const	solidity_convertert	inline
get_sol_type(const typet &t)	solidity_convertert	inlinestatic
get_src_from_json(const nlohmann::json &ast_node)	solidity_convertert	protected
get_start_location_from_stmt(const nlohmann::json &ast_node, locationt &location)	solidity_convertert	protected
get_state_var_decl_name(const nlohmann::json &ast_node, const std::string &cname, std::string &name, std::string &id)	solidity_convertert	protected
get_statement(const nlohmann::json &block, exprt &new_expr)	solidity_convertert	protected
get_static_contract_instance_name(const std::string c_name, std::string &name, std::string &id)	solidity_convertert	protected
get_static_contract_instance_ref(const std::string &c_name, exprt &new_expr)	solidity_convertert	protected
get_staticcall_definition(const std::string &cname, exprt &new_expr)	solidity_convertert	protected
get_str_assign_function_call(const locationt &loc, side_effect_expr_function_callt &_call)	solidity_convertert	protected
get_string_assignment(const exprt &lhs, const exprt &rhs, exprt &new_expr)	solidity_convertert	protected
get_struct_class(const nlohmann::json &ast_node)	solidity_convertert	protected
get_struct_class_fields(const nlohmann::json &ast_node, struct_typet &type)	solidity_convertert	protected
get_struct_class_method(const nlohmann::json &ast_node, struct_typet &type)	solidity_convertert	protected
get_super_function_call(const nlohmann::json &member_access, const nlohmann::json &call_expr, exprt &new_expr)	solidity_convertert	protected
get_symbol_decl_ref(const std::string &sym_name, const std::string &sym_id, const typet &t, exprt &new_expr)	solidity_convertert	protected
get_target_function(const std::string &cname, const std::string &func_name)	solidity_convertert	protected
get_temporary_object(exprt &call, exprt &new_expr)	solidity_convertert	protected
get_transfer_definition(const std::string &cname, exprt &new_expr)	solidity_convertert	protected
get_tuple_assignment(const nlohmann::json &expr, const exprt &lop, exprt rop)	solidity_convertert	protected
get_tuple_definition(const nlohmann::json &ast_node)	solidity_convertert	protected
get_tuple_expr(const nlohmann::json &expr, const nlohmann::json &literal_type, exprt &new_expr)	solidity_convertert	protected
get_tuple_function_call(const exprt &op)	solidity_convertert	protected
get_tuple_function_ref(const nlohmann::json &ast_node, exprt &new_expr)	solidity_convertert	protected
get_tuple_instance(const nlohmann::json &ast_node, exprt &new_expr)	solidity_convertert	protected
get_tuple_instance_name(const nlohmann::json &ast_node, std::string &name, std::string &id)	solidity_convertert	protected
get_tuple_member_call(const irep_idt instance_id, const exprt &comp, exprt &new_expr)	solidity_convertert	protected
get_tuple_name(const nlohmann::json &ast_node, std::string &name, std::string &id)	solidity_convertert	protected
get_type_description(const nlohmann::json &type_name, typet &new_type)	solidity_convertert	protected
get_type_description(const nlohmann::json &decl, const nlohmann::json &type_name, typet &new_type)	solidity_convertert	protected
get_typed_call_definition(const std::string &caller_cname, const std::string &target_sig, const std::vector< exprt > &arg_exprs, symbolt *&out_sym)	solidity_convertert	protected
get_unary_operator_expr(const nlohmann::json &expr, const nlohmann::json &literal_type, exprt &new_expr)	solidity_convertert	protected
get_unbound_expr(const nlohmann::json expr, const std::string &cname, exprt &new_expr)	solidity_convertert	protected
get_unbound_funccall(const std::string contractName, code_function_callt &call)	solidity_convertert	protected
get_unbound_function(const std::string &c_name, symbolt &sym)	solidity_convertert	protected
get_unique_name(const std::string &name_prefix, const std::string &id_prefix, std::string &aux_name, std::string &aux_id)	solidity_convertert	protected
get_var_decl(const nlohmann::json &ast_node, const nlohmann::json &initialValue, exprt &new_expr)	solidity_convertert	protected
get_var_decl(const nlohmann::json &ast_node, exprt &new_expr)	solidity_convertert	protected
get_var_decl_name(const nlohmann::json &decl, std::string &name, std::string &id)	solidity_convertert	protected
get_var_decl_ref(const nlohmann::json &decl, const bool is_this_ptr, exprt &new_expr)	solidity_convertert	protected
has_callable_func(const std::string &cname)	solidity_convertert	protected
has_contract_bytes(const nlohmann::json &json)	solidity_convertert	protected
has_modifier_invocation(const nlohmann::json &ast_node)	solidity_convertert	protected
has_sol_array_size(const typet &t)	solidity_convertert	inlinestatic
has_sol_bytesn_size(const typet &t)	solidity_convertert	inlinestatic
has_sol_contract(const typet &t) const	solidity_convertert	inline
has_target_function(const std::string &cname, const std::string func_name)	solidity_convertert	protected
in_unchecked_block	solidity_convertert	protected
inheritanceMap	solidity_convertert	protected
initializers	solidity_convertert	protected
insert_modifier_json(const nlohmann::json &ast_node, const std::string &cname, const std::string &fname, nlohmann::json *&modifier_def)	solidity_convertert	protected
is_bound	solidity_convertert	protected
is_byte_type(const typet &t)	solidity_convertert	protected
is_bytes_type(const typet &t)	solidity_convertert	protected
is_bytesN_type(const typet &t)	solidity_convertert	protected
is_dyn_array(const nlohmann::json &json_in)	solidity_convertert	protected
is_esbmc_library_function(const std::string &id)	solidity_convertert	protected
is_func_sig_cover(const std::string &derived, const std::string &base)	solidity_convertert	protected
is_low_level_call(const std::string &name)	solidity_convertert	static
is_low_level_property(const std::string &name)	solidity_convertert	static
is_mapping_set_lvalue(const nlohmann::json &json)	solidity_convertert	protected
is_pointer_check	solidity_convertert	protected
is_reentry_check	solidity_convertert	protected
is_sol_builin_symbol(const std::string &cname, const std::string &name)	solidity_convertert	protected
is_var_getter_matched(const std::string &cname, const std::string &tname, const typet &ttype)	solidity_convertert	protected
lib_prefix	solidity_convertert	protected
linearizedBaseList	solidity_convertert	protected
make_array_elementary_type(const nlohmann::json &type_descrpt)	solidity_convertert	protected
make_array_to_pointer_type(const nlohmann::json &type_descrpt)	solidity_convertert	protected
make_aux_var(exprt &val, const locationt &location)	solidity_convertert	protected
make_implicit_cast_expr(const nlohmann::json &sub_expr, std::string cast_type)	solidity_convertert	protected
make_pointee_type(const nlohmann::json &sub_expr)	solidity_convertert	protected
make_return_type_from_typet(typet type)	solidity_convertert	protected
member_entity_scope	solidity_convertert	protected
merge_inheritance_ast(const std::string &c_name, nlohmann::json &c_node, std::set< std::string > &merged_list)	solidity_convertert	protected
merge_multi_files()	solidity_convertert	protected
mode	solidity_convertert	protectedstatic
model_transaction(const nlohmann::json &expr, const exprt &this_expr, const exprt &base, const exprt &value, const locationt &loc, exprt &front_block, exprt &back_block)	solidity_convertert	protected
move_builtin_to_contract(const std::string cname, const exprt &sym, bool is_method)	solidity_convertert	protected
move_builtin_to_contract(const std::string cname, const exprt &sym, const std::string &access, bool is_method)	solidity_convertert	protected
move_inheritance_to_ctor(const nlohmann::json *based_contracts, const std::string contract_name, std::string ctor_id, symbolt &sym)	solidity_convertert	protected
move_initializer_to_ctor(const nlohmann::json *based_contracts, const nlohmann::json &current_contract, const std::string contract_name)	solidity_convertert	protected
move_initializer_to_ctor(const nlohmann::json *based_contracts, const nlohmann::json &current_contract, const std::string contract_name, bool is_aux_ctor)	solidity_convertert	protected
move_initializer_to_main(codet &func_body)	solidity_convertert	protected
move_symbol_to_context(symbolt &symbol)	solidity_convertert	protected
move_to_back_block(const exprt &expr)	solidity_convertert	protected
move_to_front_block(const exprt &expr)	solidity_convertert	protected
move_to_initializer(const exprt &expr)	solidity_convertert	protected
multi_contract_verification_bound(std::set< std::string > &tgt_set)	solidity_convertert	protected
multi_contract_verification_unbound(std::set< std::string > &tgt_set)	solidity_convertert	protected
multi_transaction_verification(const std::string &contractName)	solidity_convertert	protected
newContractSet	solidity_convertert	protected
nonContractNamesList	solidity_convertert	protected
nondet_bool_expr	solidity_convertert	protected
nondet_bytes_dynamic_expr	solidity_convertert	protected
nondet_uint_expr	solidity_convertert	protected
ns	solidity_convertert	protected
overrideMap	solidity_convertert	protected
populate_auxiliary_vars()	solidity_convertert	protected
populate_function_signature(nlohmann::json &json, const std::string &cname)	solidity_convertert	protected
populate_low_level_functions(const std::string &cname)	solidity_convertert	protected
prefix	solidity_convertert	protected
prepare_harness_entry_functions(const std::set< std::string > &cname_set, std::vector< const symbolt * > &entry_syms)	solidity_convertert	protected
register_harness_main(const std::string &sol_id, const codet &func_body)	solidity_convertert	protected
reorder_arguments(const nlohmann::json &expr, const nlohmann::json &callee_expr_json)	solidity_convertert	protected
reset_auxiliary_vars()	solidity_convertert	protected
rewrite_returns_for_delegate_shadow(exprt &node, const exprt &ret_lvalue, const std::string &end_label)	solidity_convertert	protected
set_sol_array_size(typet &t, const std::string &size)	solidity_convertert	inlinestatic
set_sol_bytesn_size(typet &t, long size)	solidity_convertert	inlinestatic
set_sol_bytesn_size(typet &t, const irep_idt &size)	solidity_convertert	inlinestatic
set_sol_dynarray_state(typet &t, bool v)	solidity_convertert	inlinestatic
set_sol_mapping_array(typet &t, bool v)	solidity_convertert	inlinestatic
set_sol_state_var(const irep_idt &symbol_id, bool v)	solidity_convertert	inline
set_sol_type(typet &t, SolidityGrammar::SolType st)	solidity_convertert	inlinestatic
should_treat_as_new(const std::string &contract_name) const	solidity_convertert	inlineprotected
sol_state_vars	solidity_convertert
solidity_convertert(contextt &_context, nlohmann::json &_ast_json, const std::string &_sol_cnts, const std::string &_sol_func, const std::string &_contract_path, const std::string &_focus_func=std::string())	solidity_convertert
src_ast_json	solidity_convertert	static
src_ast_json_array	solidity_convertert	protected
storage_ref_aliases	solidity_convertert	protected
store_update_dyn_array(const exprt &dyn_arr, const exprt &size_expr, exprt &store_call)	solidity_convertert	protected
string_t	solidity_convertert	protected
structureTypingMap	solidity_convertert	protected
tgt_cnt_set	solidity_convertert	protected
tgt_cnts	solidity_convertert	protected
tgt_func	solidity_convertert	protected
topological_sort(std::unordered_map< std::string, std::unordered_set< std::string > > &graph, std::unordered_map< std::string, nlohmann::json > &path_to_json, nlohmann::json &sorted_files)	solidity_convertert	protected
try_get_delegate_shadow_call(const nlohmann::json &expr, const nlohmann::json &func_call, const exprt &base, exprt &new_expr)	solidity_convertert	protected
try_get_signature_dispatched_call(const nlohmann::json &expr, const nlohmann::json &func_call, const exprt &base, exprt &new_expr)	solidity_convertert	protected
try_inline_delegate_shadow_helper_call(const nlohmann::json &call_expr, const nlohmann::json &fdecl, exprt &new_expr)	solidity_convertert	protected
UserDefinedVarMap	solidity_convertert	static
validate_delegate_shadow_compatible(const std::string &caller_cname, const nlohmann::json &target_body)	solidity_convertert	protected
xor_fold_key_to_64bit(exprt &key)	solidity_convertert	protected
~solidity_convertert()=default	solidity_convertert	virtual