clang_cpp_convertert Member List

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

add_template_param_object(const clang::TemplateParamObjectDecl &tpo, const std::string &name, const std::string &id)	clang_c_convertert	protected
add_thunk_component_to_type(const symbolt &thunk_func_symb, struct_typet &type, const struct_typet::componentt &comp, const irep_idt &virtual_name)	clang_cpp_convertert	protected
add_thunk_method(const clang::CXXMethodDecl &md, const struct_typet::componentt &component, struct_typet &type)	clang_cpp_convertert	protected
add_thunk_method_arguments(symbolt &thunk_func_symb)	clang_cpp_convertert	protected
add_thunk_method_body(symbolt &thunk_func_symb, const struct_typet::componentt &component)	clang_cpp_convertert	protected
add_thunk_method_body_no_return(symbolt &thunk_func_symb, const struct_typet::componentt &component, const exprt &late_cast_this)	clang_cpp_convertert	protected
add_thunk_method_body_return(symbolt &thunk_func_symb, const struct_typet::componentt &component, const exprt &late_cast_this)	clang_cpp_convertert	protected
add_vptr(struct_typet &type)	clang_cpp_convertert	protected
add_vtable_type_entry(struct_typet &type, struct_typet::componentt &comp, symbolt *vtable_type_symbol)	clang_cpp_convertert	protected
add_vtable_type_symbol(const struct_typet::componentt &comp, struct_typet &type)	clang_cpp_convertert	protected
add_vtable_variable_symbols(const clang::CXXRecordDecl &cxxrd, const struct_typet &struct_type, const switch_table &vtable_value_map)	clang_cpp_convertert	protected
address_taken_labels	clang_c_convertert	protected
annotate_class_field(const clang::FieldDecl &field, const struct_union_typet &type, struct_typet::componentt &comp)	clang_cpp_convertert	protected
annotate_class_field_access(const clang::FieldDecl &field, struct_typet::componentt &comp)	clang_cpp_convertert	protected
annotate_class_method(const clang::CXXMethodDecl &cxxmdd, exprt &new_expr)	clang_cpp_convertert	protected
annotate_ctor_dtor_rtn_type(const clang::CXXMethodDecl &cxxmdd, typet &rtn_type)	clang_cpp_convertert	protected
annotate_exception_specification(const clang::FunctionDecl &fd, typet &type) override	clang_cpp_convertert	protectedvirtual
annotate_implicit_copy_move_ctor_union(const clang::CXXMethodDecl &cxxmdd, typet &ctor_return_type)	clang_cpp_convertert	protected
annotate_virtual_overriding_methods(const clang::CXXMethodDecl &md, struct_typet::componentt &comp)	clang_cpp_convertert	protected
anon_symbol	clang_c_convertert	protected
AST	clang_c_convertert	protected
ASTContext	clang_c_convertert	protected
base_destructor(const symbolt &sym, const clang::CXXRecordDecl &base, const clang::CXXMethodDecl &md)	clang_cpp_convertert	protected
base_dtor_this(const clang::CXXRecordDecl &base, const exprt &deref, const irep_idt &this_id, const typet &this_ptr_type)	clang_cpp_convertert	protected
base_map typedef	clang_cpp_convertert	protected
build_destructor_chain(const clang::CXXDestructorDecl &dd, code_blockt &body)	clang_cpp_convertert	protected
build_dynamic_cast(const clang::CXXDynamicCastExpr &cast, exprt &new_expr)	clang_cpp_convertert	protected
build_lambda_static_invoker(const clang::CXXMethodDecl &invoker, exprt &new_expr)	clang_cpp_convertert	protected
build_member_from_component(const clang::FunctionDecl &fd, exprt &component)	clang_cpp_convertert	protected
build_vtable_map(const struct_typet &struct_type, switch_table &vtable_value_map)	clang_cpp_convertert	protected
cap_map	clang_cpp_convertert	protected
cap_mapt typedef	clang_cpp_convertert	protected
check_alignment_attributes(const clang::FieldDecl *field, struct_typet::componentt &comp)	clang_c_convertert	protected
check_vtable_type_symbol_existence(const struct_typet &type)	clang_cpp_convertert	protected
clang_c_convertert(contextt &_context, std::unique_ptr< clang::ASTUnit > &_AST, irep_idt _mode)	clang_c_convertert
clang_cpp_convertert(contextt &_context, std::unique_ptr< clang::ASTUnit > &_AST, irep_idt _mode)	clang_cpp_convertert
collect_address_taken_labels(const clang::Stmt &body)	clang_c_convertert	protected
constref_suffix	clang_cpp_convertert	protected
context	clang_c_convertert	protected
convert()	clang_c_convertert
convert_builtin_types()	clang_c_convertert	protected
convert_character_literal(const clang::CharacterLiteral &char_literal, exprt &dest)	clang_c_convertert	protected
convert_expression_to_code(exprt &expr)	clang_c_convertert	protected
convert_float_literal(const clang::FloatingLiteral &floating_literal, exprt &dest)	clang_c_convertert	protected
convert_integer_literal(const clang::IntegerLiteral &integer_literal, exprt &dest)	clang_c_convertert	protected
convert_string_literal(const clang::StringLiteral &string_literal, exprt &dest)	clang_c_convertert	protected
convert_top_level_decl()	clang_c_convertert	protectedvirtual
current_block	clang_c_convertert	protected
current_functionDecl	clang_c_convertert	protected
current_scope_var_num	clang_c_convertert	protected
destroy_object_on_body_unwind(const clang::CXXConstructorDecl &cd, std::size_t body_start, code_blockt &body)	clang_cpp_convertert	protected
elided_copy_source(const clang::Expr &init) override	clang_cpp_convertert	protected
field_mapt typedef	clang_cpp_convertert	protected
function_switch typedef	clang_cpp_convertert	protected
gen_typecast_base_ctor_call(const exprt &callee_decl, side_effect_expr_function_callt &call, exprt &initializer)	clang_cpp_convertert	protected
gen_typecast_to_union(const namespacet &ns, exprt &dest, const typet &type)	clang_c_convertert	static
get_access_from_decl(const clang::Decl &decl, std::string &access)	clang_cpp_convertert	protected
get_align_val(const clang::QualType &type, const clang::ParmVarDecl &param, exprt &align)	clang_cpp_convertert	protected
get_APValue_expr(const clang::APValue &value, exprt &new_expr, const clang::QualType *type=nullptr)	clang_c_convertert	protected
get_array_filler(const clang::InitListExpr &init, exprt &filler)	clang_c_convertert	protected
get_atomic_expr(const clang::AtomicExpr &atm, exprt &new_expr)	clang_c_convertert	protected
get_base_components_methods(base_map &map, struct_union_typet &type, bool has_virtual_bases, const clang::CXXRecordDecl &cxxrd)	clang_cpp_convertert	protected
get_base_flattened_inits(const clang::InitListExpr &init, std::vector< exprt > &flat)	clang_c_convertert	protected
get_base_map(const clang::CXXRecordDecl &cxxrd, base_map &map)	clang_cpp_convertert	protected
get_binary_operator_expr(const clang::BinaryOperator &binop, exprt &new_expr)	clang_c_convertert	protected
get_bitfield_type(const clang::FieldDecl &, const typet &orig_type, typet &new_type)	clang_c_convertert	protected
get_builtin_type(const clang::BuiltinType &bt, typet &new_type)	clang_c_convertert	protected
get_cast_expr(const clang::CastExpr &cast, exprt &new_expr)	clang_c_convertert	protected
get_compound_assign_expr(const clang::CompoundAssignOperator &compop, exprt &new_expr)	clang_c_convertert	protected
get_conditional_class_prvalue(const clang::ConditionalOperator &ternary, exprt &new_expr, bool &elided)	clang_cpp_convertert	protected
get_constructor_call(const clang::CXXConstructExpr &constructor_call, exprt &new_expr)	clang_cpp_convertert	protected
get_ctor_dtor_ref(const clang::CXXMethodDecl &md, exprt &new_expr)	clang_cpp_convertert	protected
get_cxx_constructor_is_complete_param(const clang::CXXConstructorDecl &cxxcd, code_typet::argumentt &param)	clang_cpp_convertert	protected
get_dealloc_function(const clang::CXXDeleteExpr &de, exprt &new_expr)	clang_cpp_convertert	protected
get_decl(const clang::Decl &decl, exprt &new_expr) override	clang_cpp_convertert	protected
get_decl_name(const clang::NamedDecl &nd, std::string &name, std::string &id) override	clang_cpp_convertert	protectedvirtual
clang_c_convertert::get_decl_name(const clang::NamedDecl &nd)	clang_c_convertert	static
get_decl_ref(const clang::Decl &decl, exprt &new_expr) override	clang_cpp_convertert	protectedvirtual
get_DeclContext_from_Stmt(const clang::Stmt &stmt)	clang_c_convertert	protected
get_default_symbol(symbolt &symbol, irep_idt module_name, typet type, irep_idt base_name, irep_idt unique_name, locationt location)	clang_c_convertert	protected
get_enum_value(const clang::EnumConstantDecl *e, exprt &new_expr)	clang_c_convertert	protected
get_expr(const clang::Stmt &stmt, exprt &new_expr) override	clang_cpp_convertert	protectedvirtual
get_fd_symbol(const clang::FunctionDecl &fd)	clang_cpp_convertert	protected
get_filename_from_path(std::string path)	clang_c_convertert	protected
get_final_location_from_stmt(const clang::Stmt &stmt, locationt &location)	clang_c_convertert	protected
get_function_body(const clang::FunctionDecl &fd, exprt &new_expr, const code_typet &ftype) override	clang_cpp_convertert	protected
get_function_param(const clang::ParmVarDecl &pd, exprt &param)	clang_c_convertert	protected
get_function_params(const clang::FunctionDecl &fd, code_typet::argumentst &params) override	clang_cpp_convertert	protectedvirtual
get_function_this_pointer_param(const clang::CXXMethodDecl &fd, code_typet::argumentst &params)	clang_cpp_convertert	protected
get_location_from_decl(const clang::Decl &decl, locationt &location)	clang_c_convertert	protected
get_mangled_id(const clang::NamedDecl &nd, std::string &id)	clang_c_convertert	protected
get_member_expr(const clang::MemberExpr &memb, exprt &new_expr) override	clang_cpp_convertert	protectedvirtual
get_member_initializer(const clang::Expr &init, const typet &member_type, exprt &rhs)	clang_cpp_convertert	protected
get_method(const clang::CXXMethodDecl &md, exprt &new_expr)	clang_cpp_convertert	protected
get_method_declaration(const clang::CXXMethodDecl &md, const symbolt *&symbol)	clang_cpp_convertert	protected
get_modulename_from_path(std::string path)	clang_c_convertert	protected
get_new_initializer(const clang::CXXNewExpr &ne, exprt &new_expr)	clang_cpp_convertert	protected
get_new_storage(const clang::CXXNewExpr &ne, exprt &new_expr)	clang_cpp_convertert	protected
get_overriden_methods(const clang::CXXMethodDecl &md, overriden_map &map)	clang_cpp_convertert	protected
get_placement_new(const clang::CXXNewExpr &ne, const typet &t, const locationt &location, exprt &new_expr)	clang_cpp_convertert	protected
get_presumed_location(const clang::SourceLocation &loc, clang::PresumedLoc &PLoc)	clang_c_convertert	protected
get_ref_to_struct_type(typet &type)	clang_c_convertert	protected
get_start_location_from_stmt(const clang::Stmt &stmt, locationt &location)	clang_c_convertert	protected
get_struct_class_virtual_methods(const clang::CXXRecordDecl &cxxrd, struct_typet &type)	clang_cpp_convertert	protected
get_struct_union_class(const clang::RecordDecl &rd) override	clang_cpp_convertert	protectedvirtual
get_struct_union_class_fields(const clang::RecordDecl &rd, struct_union_typet &type) override	clang_cpp_convertert	protectedvirtual
get_struct_union_class_methods_decls(const clang::RecordDecl &rd, typet &type) override	clang_cpp_convertert	protectedvirtual
get_template_decl(const TemplateDecl &D, bool DumpExplicitInst, exprt &new_expr)	clang_cpp_convertert	protected
get_template_decl_specialization(const SpecializationDecl *D, bool DumpExplicitInst, exprt &new_expr)	clang_cpp_convertert	protected
get_top_FunctionDecl_from_Stmt(const clang::Stmt &stmt)	clang_c_convertert	protected
get_type(const clang::QualType &type, typet &new_type) override	clang_cpp_convertert	protectedvirtual
get_type(const clang::Type &the_type, typet &new_type) override	clang_cpp_convertert	protectedvirtual
get_unary_operator_expr(const clang::UnaryOperator &uniop, exprt &new_expr) override	clang_cpp_convertert	protectedvirtual
get_var(const clang::VarDecl &vd, exprt &new_expr) override	clang_cpp_convertert	protected
get_vector_comparison(const clang::BinaryOperator &binop, irep_idt relation, exprt lhs, exprt rhs, const typet &type, exprt &new_expr)	clang_c_convertert	protected
get_vft_binding_expr(const clang::MemberExpr &member, exprt &new_expr) override	clang_cpp_convertert	protectedvirtual
get_vft_binding_expr_base(const clang::MemberExpr &member, exprt &new_expr)	clang_cpp_convertert	protected
get_vft_binding_expr_function(const clang::CXXMethodDecl &md, exprt &new_expr, const exprt &vtable_ptr_deref)	clang_cpp_convertert	protected
get_vft_binding_expr_vtable_ptr(const clang::CXXMethodDecl &md, exprt &new_expr, const exprt &base_deref)	clang_cpp_convertert	protected
get_virtual_member_function_pointer(const clang::CXXMethodDecl &md, exprt &new_expr)	clang_cpp_convertert	protected
get_vla_size(const clang::Expr &size, exprt &new_expr)	clang_c_convertert	protected
has_vptr_component	clang_cpp_convertert	protected
insert_constructor_initializers(const clang::CXXConstructorDecl &cd, exprt::operandst &initializers, std::vector< std::size_t > starts, const symbolt *array_init_sym, code_blockt &body)	clang_cpp_convertert	protected
is_aggregate_type(const clang::QualType &q_type) override	clang_cpp_convertert	protectedvirtual
is_ConstructorOrDestructor(const clang::CXXMethodDecl &md)	clang_cpp_convertert	protected
is_copy_or_move_ctor(const clang::DeclContext &dcxt)	clang_cpp_convertert	protected
is_CopyOrMoveOperator(const clang::CXXMethodDecl &md)	clang_cpp_convertert	protected
is_defaulted_ctor(const clang::CXXMethodDecl &md)	clang_cpp_convertert	protected
is_duplicate_component(const struct_typet::componentt &component, const struct_union_typet &type)	clang_cpp_convertert	protected
is_duplicate_method(const struct_typet::componentt &method, const struct_union_typet &type)	clang_cpp_convertert	protected
is_fd_virtual_or_overriding(const clang::FunctionDecl &fd) override	clang_cpp_convertert	protectedvirtual
is_field_global_storage(const clang::FieldDecl *field)	clang_c_convertert	protected
is_lambda() const	clang_cpp_convertert	inlineprotected
is_md_virtual_or_overriding(const clang::CXXMethodDecl &cxxmd)	clang_cpp_convertert	protected
is_member_decl_static(const clang::MemberExpr &member)	clang_c_convertert	protected
is_unlowered_math_builtin(const std::string &name) const	clang_c_convertert	protected
last_loc	clang_c_convertert	protected
last_loc_column	clang_c_convertert	protected
last_loc_filename	clang_c_convertert	protected
last_loc_function	clang_c_convertert	protected
last_loc_line	clang_c_convertert	protected
last_loc_valid	clang_c_convertert	protected
make_temporary(exprt &expr)	clang_cpp_convertert	protected
member_destructor(const clang::FieldDecl &field, const exprt &deref, code_blockt &calls)	clang_cpp_convertert	protected
method_this(const clang::CXXMethodDecl &md) const	clang_cpp_convertert	protected
mode	clang_c_convertert	protected
name_param_and_continue(const clang::ParmVarDecl &pd, std::string &id, std::string &name, exprt &param) override	clang_cpp_convertert	protectedvirtual
need_new_object(const clang::Stmt *parentStmt, const clang::CXXConstructExpr &call)	clang_cpp_convertert	protected
nontrivial_destructor(const clang::CXXRecordDecl *rec)	clang_cpp_convertert	protected
ns	clang_c_convertert	protected
overriden_map typedef	clang_cpp_convertert	protected
perform_virtual_dispatch(const clang::MemberExpr &member) override	clang_cpp_convertert	protectedvirtual
pre_register_inherited_vtables(const clang::CXXRecordDecl &cxxrd)	clang_cpp_convertert	protected
process_aligned_attribute(const clang::AlignedAttr &aattr, typet &t) const	clang_c_convertert	protected
process_record_layout_attributes(const clang::RecordDecl &rd, typet &t) const	clang_c_convertert	protected
report_unsupported_init_list(const clang::InitListExpr &init_stmt)	clang_c_convertert	protected
rethrowing_catch(const code_blockt &tried, code_blockt handler)	clang_cpp_convertert	protected
rewrite_builtin_ref(const clang::Decl &d, std::string &name, std::string &id) const	clang_c_convertert	protected
rtti_name_component(const irep_idt &vtable_type_id)	clang_cpp_convertert	protectedstatic
rtti_name_component_id(const irep_idt &vtable_type_id)	clang_cpp_convertert	protectedstatic
rtti_type_name(const clang::QualType &qtype)	clang_cpp_convertert	protected
rtti_type_name(const clang::CXXRecordDecl &rd)	clang_cpp_convertert	protected
set_location(clang::PresumedLoc &PLoc, std::string &function_name, locationt &location)	clang_c_convertert	protected
set_thunk_name(symbolt &thunk_func_symb, const std::string &base_class_id)	clang_cpp_convertert	protected
setup_vtable_struct_variables(const clang::CXXRecordDecl &cxxrd, const struct_typet &type)	clang_cpp_convertert	protected
size_flexible_array_member(const clang::ValueDecl &vd, typet &t)	clang_c_convertert	protected
sm	clang_c_convertert	protected
snapshot_vla_sizes(const clang::Decl &decl, codet &dest)	clang_c_convertert	protected
subobject_destructors(const clang::CXXMethodDecl &md, std::vector< subobject_destructort > &out)	clang_cpp_convertert	protected
switch_table typedef	clang_cpp_convertert	protected
tag_prefix	clang_c_convertert	protected
this_map	clang_cpp_convertert	protected
this_mapt typedef	clang_cpp_convertert	protected
thunk_prefix	clang_cpp_convertert	protected
typeid_object(const exprt &value, const std::string &type_name, const clang::Stmt &stmt, bool dynamic)	clang_cpp_convertert	protected
unwind_constructed_subobjects(const clang::CXXConstructorDecl &cd, const std::vector< std::size_t > &starts, code_blockt &body)	clang_cpp_convertert	protected
update_thunk_this_type(typet &thunk_symbol_type, const std::string &base_class_id)	clang_cpp_convertert	protected
user_code_uses_exceptions()	clang_cpp_convertert	protected
uses_exceptions	clang_cpp_convertert	protected
vcall_prefix	clang_cpp_convertert	protected
vla_size_snapshots	clang_c_convertert	protected
vtable_classes_per_vptr_	clang_cpp_convertert	protected
vtable_ptr_suffix	clang_cpp_convertert	protected
vtable_type_prefix	clang_cpp_convertert	protected
wrap_bitfield_type_if_needed(const clang::FieldDecl &fd, typet &t)	clang_c_convertert	protected
~clang_c_convertert()=default	clang_c_convertert	virtual
~clang_cpp_convertert()=default	clang_cpp_convertert	virtual