cprover
|
TO_BE_DOCUMENTED. More...
#include <namespace.h>
Public Member Functions | |
namespacet (const symbol_tablet &_symbol_table) | |
namespacet (const symbol_tablet &_symbol_table1, const symbol_tablet &_symbol_table2) | |
namespacet (const symbol_tablet *_symbol_table1, const symbol_tablet *_symbol_table2) | |
virtual bool | lookup (const irep_idt &name, const symbolt *&symbol) const |
virtual unsigned | get_max (const std::string &prefix) const |
const symbol_tablet & | get_symbol_table () const |
const symbolt & | lookup (const irep_idt &name) const |
const symbolt & | lookup (const irept &irep) const |
virtual bool | lookup (const irep_idt &name, const symbolt *&symbol) const=0 |
![]() | |
const symbolt & | lookup (const irep_idt &name) const |
const symbolt & | lookup (const irept &irep) const |
virtual | ~namespace_baset () |
void | follow_symbol (irept &irep) const |
void | follow_macros (exprt &expr) const |
const typet & | follow (const typet &src) const |
const typet & | follow_tag (const union_tag_typet &src) const |
const typet & | follow_tag (const struct_tag_typet &src) const |
const typet & | follow_tag (const c_enum_tag_typet &src) const |
Protected Attributes | |
const symbol_tablet * | symbol_table1 |
const symbol_tablet * | symbol_table2 |
TO_BE_DOCUMENTED.
Definition at line 62 of file namespace.h.
|
inlineexplicit |
Definition at line 66 of file namespace.h.
References symbol_table1, and symbol_table2.
Referenced by cpp_typecheckt::default_cpctor(), cpp_typecheckt::do_virtual_table(), cpp_typecheckt::dtor(), and cpp_typecheckt::typecheck_compound_declarator().
|
inline |
Definition at line 69 of file namespace.h.
References symbol_table1, and symbol_table2.
|
inline |
Definition at line 77 of file namespace.h.
References symbol_table1, and symbol_table2.
|
virtual |
Implements namespace_baset.
Reimplemented in multi_namespacet.
Definition at line 126 of file namespace.cpp.
References symbol_table1, symbol_table2, and symbol_tablet::symbols.
Referenced by get_new_name().
|
inline |
Definition at line 91 of file namespace.h.
References symbol_table1.
Referenced by ansi_c_typecheck(), remove_function_pointerst::compute_address_taken_in_symbols(), cpp_typecheck(), value_set_analysis_fit::get_globals(), value_set_analysis_fivrt::get_globals(), value_set_analysis_fivrnst::get_globals(), invariant_propagationt::get_globals(), goto_program_coverage_recordt::goto_program_coverage_recordt(), and goto_symext::symex_start_thread().
|
inline |
Definition at line 38 of file namespace.h.
|
inline |
Definition at line 30 of file namespace.h.
virtual bool namespace_baset::lookup |
Implements namespace_baset.
Reimplemented in multi_namespacet.
Definition at line 139 of file namespace.cpp.
References symbol_table1, symbol_table2, and symbol_tablet::symbols.
Referenced by string_abstractiont::abstract_function_call(), const_function_pointer_propagationt::add(), cpp_typecheckt::add_anonymous_members_to_scope(), uninitializedt::add_assertions(), cpp_typecheckt::add_base_components(), code_contractst::add_contract_check(), acceleratet::add_dirty_checks(), w_guardst::add_initialization(), goto_program2codet::add_local_types(), invariant_propagationt::add_objects(), value_set_analysis_fit::add_vars(), value_set_analysis_fivrt::add_vars(), value_set_analysis_fivrnst::add_vars(), adjust_float_expressions(), ansi_c_entry_point(), code_contractst::apply_contract(), cpp_typecheck_resolvet::apply_template_args(), array_name(), shared_bufferst::assignment(), goto_symex_statet::assignment(), base_type_eqt::base_type_eq_rec(), base_type_rec(), value_set_dereferencet::build_reference_to(), string_abstractiont::build_symbol(), string_abstractiont::build_unknown(), cpp_typecheckt::check_component_access(), cpp_typecheckt::check_member_initializers(), goto_program2codet::cleanup_expr(), dump_ct::cleanup_expr(), goto_program2codet::cleanup_function_call(), concurrency_instrumentationt::collect(), dump_ct::collect_typedefs_rec(), fence_all_sharedt::compute(), fence_volatilet::compute(), convert(), cpp_declarator_convertert::convert(), cpp_typecheckt::convert_class_template_specialization(), expr2ct::convert_code_decl(), dump_ct::convert_compound(), goto_convertt::convert_cpp_delete(), goto_convert_functionst::convert_function(), cpp_typecheckt::convert_function(), dump_ct::convert_global_variable(), cpp_typecheck_resolvet::convert_identifier(), cpp_typecheckt::convert_initializer(), expr2ct::convert_rec(), expr2cppt::convert_rec(), cpp_typecheckt::convert_template_function_or_member_specialization(), cpp_typecheckt::cpp_is_pod(), create_initialize(), dead_object(), deallocated(), cpp_typecheckt::default_assignop_value(), cpp_typecheckt::default_cpctor(), cpp_typecheck_resolvet::disambiguate_template_classes(), goto_convertt::do_cpp_new(), value_sett::do_function_call(), value_set_fit::do_function_call(), value_set_fivrnst::do_function_call(), value_set_fivrt::do_function_call(), goto_convertt::do_function_call_symbol(), parameter_assignmentst::do_function_calls(), cpp_typecheckt::do_not_typechecked(), string_instrumentationt::do_strerror(), goto_instrument_parse_optionst::doit(), cpp_typecheckt::dtor(), const_function_pointer_propagationt::dup_caller_and_inline_callee(), dynamic_size(), cpp_typecheckt::elaborate_class_template(), interpretert::execute_function_call(), fence_all_shared_aegt::fence_all_shared_aeg_explore(), cpp_typecheck_resolvet::filter_for_named_scopes(), find_macros(), cpp_typecheckt::find_parent(), c_typecastt::follow_with_qualifiers(), cpp_typecheckt::full_member_initialization(), cpp_typecheckt::get_bases(), java_bytecode_vtable_factoryt::get_class_type(), goto_convertt::get_constant(), get_failed_symbol(), get_language(), remove_virtual_functionst::get_method(), get_new_name(), expr2ct::get_shorthands(), get_symbols_rec(), fence_insertert::get_type(), cpp_typecheckt::get_virtual_bases(), goto_check(), goto_checkt::goto_check(), cpp_typecheck_resolvet::guess_function_template_args(), symex_dereference_statet::has_failed_symbol(), goto_program_dereferencet::has_failed_symbol(), java_bytecode_vtable_factoryt::has_method(), expr2ct::id_shorthand(), var_mapt::init(), initialize_needed_classes(), escape_analysist::insert_cleanup(), dump_ct::insert_local_type_decls(), cpp_typecheckt::instantiate_template(), taint_analysist::instrument(), string_instrumentationt::invalidate_buffer(), shared_bufferst::is_buffered(), is_fence(), is_lwfence(), is_shared(), goto_program_dereferencet::is_valid_object(), goto_symex_statet::l2_thread_read_encoding(), goto_symex_statet::l2_thread_write_encoding(), link_functions(), list_functions(), list_undefined_functions(), instrumentert::local(), goto_symext::locality(), goto_convertt::lookup(), cpp_typecheck_resolvet::make_constructors(), string_abstractiont::make_decl_and_def(), malloc_object(), rd_range_domaint::merge_shared(), model_argc_argv(), nondet_static(), taint_analysist::operator()(), dump_ct::operator()(), goto_symex_statet::level0t::operator()(), goto_functions_templatet< goto_programt >::output(), value_sett::output(), value_set_fit::output(), value_set_fivrt::output(), value_set_fivrnst::output_entry(), goto_inlinet::parameter_assignments(), goto_symext::parameter_assignments(), goto_inlinet::parameter_destruction(), goto_symext::phi_function(), simple_insertiont::print_to_file(), goto_symex_statet::rename(), replace_async(), cpp_typecheck_resolvet::resolve(), bmct::run(), goto_program2codet::scan_for_varargs(), string_refinementt::set_mode(), cpp_typecheck_resolvet::show_identifiers(), cpp_typecheckt::show_instantiation_stack(), show_symbol_table_plain(), language_uit::show_symbol_table_plain(), static_lifetime_init(), string_from_ns(), goto_symext::symex_assign_symbol(), goto_symext::symex_decl(), goto_symext::symex_gcc_builtin_va_arg_next(), to_expr(), shared_bufferst::track(), custom_bitvector_domaint::transform(), uninitialized_domaint::transform(), rd_range_domaint::transform(), rd_range_domaint::transform_assign(), rd_range_domaint::transform_end_function(), rd_range_domaint::transform_function_call(), rd_range_domaint::transform_start_thread(), goto_symext::trigger_auto_object(), type2name_symbol(), type_eq(), cpp_typecheckt::typecheck_class_template(), cpp_typecheckt::typecheck_compound_bases(), cpp_typecheckt::typecheck_compound_declarator(), cpp_typecheckt::typecheck_expr_address_of(), cpp_typecheckt::typecheck_expr_member(), c_typecheck_baset::typecheck_expr_symbol(), cpp_typecheckt::typecheck_method_application(), remove_returnst::undo_function_calls(), unreachable_instructions(), unsigned_from_ns(), cpp_typecheckt::user_defined_conversion_sequence(), and value_set_dereferencet::valid_check().
|
protected |
Definition at line 97 of file namespace.h.
Referenced by get_max(), get_symbol_table(), lookup(), and namespacet().
|
protected |
Definition at line 97 of file namespace.h.
Referenced by get_max(), lookup(), and namespacet().