cprover
Loading...
Searching...
No Matches
cpp_root_scopet Class Reference

#include <cpp_scope.h>

Inheritance diagram for cpp_root_scopet:
Collaboration diagram for cpp_root_scopet:

Public Member Functions

 cpp_root_scopet ()
Public Member Functions inherited from cpp_scopet
 cpp_scopet ()
id_sett lookup (const irep_idt &base_name_to_lookup, lookup_kindt kind)
id_sett lookup (const irep_idt &base_name_to_lookup, lookup_kindt kind, cpp_idt::id_classt identifier_class)
id_sett lookup_identifier (const irep_idt &id, cpp_idt::id_classt identifier_class)
cpp_idtinsert (const irep_idt &_base_name)
cpp_idtinsert (const cpp_idt &cpp_id)
bool contains (const irep_idt &base_name_to_lookup)
bool is_root_scope () const
bool is_global_scope () const
cpp_scopetget_parent () const
cpp_scopetget_global_scope ()
void add_secondary_scope (cpp_scopet &other)
void add_using_scope (cpp_scopet &other)
class cpp_scopetnew_scope (const irep_idt &new_scope_name)
Public Member Functions inherited from cpp_idt
 cpp_idt ()
bool is_class () const
bool is_enum () const
bool is_namespace () const
bool is_typedef () const
bool is_template_scope () const
cpp_idtget_parent () const
void set_parent (cpp_idt &_parent)
void clear ()
void print (std::ostream &out, unsigned indent=0) const
void print_fields (std::ostream &out, unsigned indent=0) const

Additional Inherited Members

Public Types inherited from cpp_scopet
enum  lookup_kindt { SCOPE_ONLY , QUALIFIED , RECURSIVE }
typedef std::set< cpp_idt * > id_sett
Public Types inherited from cpp_idt
enum class  id_classt {
  UNKNOWN , SYMBOL , TYPEDEF , CLASS ,
  ENUM , TEMPLATE , TEMPLATE_PARAMETER , NAMESPACE ,
  BLOCK_SCOPE , TEMPLATE_SCOPE , ROOT_SCOPE
}
Public Attributes inherited from cpp_idt
bool is_member
bool is_method
bool is_static_member
bool is_scope
bool is_constructor
id_classt id_class
irep_idt identifier
irep_idt base_name
irep_idt class_identifier
exprt this_expr
std::string prefix
std::string suffix
unsigned compound_counter
Protected Types inherited from cpp_idt
typedef std::multimap< irep_idt, cpp_idtcpp_id_mapt
typedef std::vector< cpp_idt * > scope_listt
Protected Member Functions inherited from cpp_scopet
void lookup_rec (const irep_idt &base_name, lookup_kindt kind, id_sett &)
void lookup_rec (const irep_idt &base_name, lookup_kindt kind, cpp_idt::id_classt id_class, id_sett &)
Protected Attributes inherited from cpp_idt
cpp_id_mapt sub
scope_listt using_scopes
scope_listt secondary_scopes
cpp_idtparent

Detailed Description

Definition at line 127 of file cpp_scope.h.

Constructor & Destructor Documentation

◆ cpp_root_scopet()

cpp_root_scopet::cpp_root_scopet ( )
inline

Definition at line 130 of file cpp_scope.h.


The documentation for this class was generated from the following file: