cprover
cpp_scopet Member List
This is the complete list of members for
cpp_scopet
, including all inherited members.
add_secondary_scope
(cpp_scopet &other)
cpp_scopet
inline
add_using_scope
(cpp_scopet &other)
cpp_scopet
inline
base_name
cpp_idt
class_identifier
cpp_idt
clear
()
cpp_idt
inline
compound_counter
cpp_idt
contains
(const irep_idt &base_name)
cpp_scopet
cpp_id_mapt
typedef
cpp_idt
protected
cpp_idt
()
cpp_idt
cpp_scopet
()
cpp_scopet
inline
get_global_scope
()
cpp_scopet
inline
get_parent
() const
cpp_scopet
inline
id_class
cpp_idt
id_classt
enum name
cpp_idt
id_sett
typedef
cpp_scopet
identifier
cpp_idt
insert
(const irep_idt &_base_name)
cpp_scopet
inline
insert
(const cpp_idt &cpp_id)
cpp_scopet
inline
is_class
() const
cpp_idt
inline
is_constructor
cpp_idt
is_enum
() const
cpp_idt
inline
is_global_scope
() const
cpp_scopet
inline
is_member
cpp_idt
is_method
cpp_idt
is_namespace
() const
cpp_idt
inline
is_root_scope
() const
cpp_scopet
inline
is_scope
cpp_idt
is_static_member
cpp_idt
is_template_scope
() const
cpp_scopet
inline
is_typedef
() const
cpp_idt
inline
lookup
(const irep_idt &base_name, lookup_kindt kind, id_sett &id_set)
cpp_scopet
lookup
(const irep_idt &base_name, lookup_kindt kind, cpp_idt::id_classt id_class, id_sett &id_set)
cpp_scopet
lookup_identifier
(const irep_idt &identifier, cpp_idt::id_classt id_class, id_sett &id_set)
cpp_scopet
lookup_kindt
enum name
cpp_scopet
new_scope
(const irep_idt &new_scope_name)
cpp_scopet
parent
cpp_idt
protected
prefix
cpp_idt
print
(std::ostream &out, unsigned indent=0) const
cpp_idt
print_fields
(std::ostream &out, unsigned indent=0) const
cpp_idt
QUALIFIED
enum value
cpp_scopet
RECURSIVE
enum value
cpp_scopet
scope_listt
typedef
cpp_idt
protected
SCOPE_ONLY
enum value
cpp_scopet
secondary_scopes
cpp_idt
protected
set_parent
(cpp_idt &_parent)
cpp_idt
inline
sub
cpp_idt
protected
suffix
cpp_idt
this_expr
cpp_idt
using_scopes
cpp_idt
protected
Generated by
1.8.12