#include <string_container.h>
Collaboration diagram for string_containert:Public Member Functions | |
| unsigned | operator[] (const char *s) |
| unsigned | operator[] (const std::string &s) |
| string_containert () | |
| ~string_containert () | |
| const char * | c_str (size_t no) const |
| const std::string & | get_string (size_t no) const |
| string_container_statisticst | compute_statistics () const |
Protected Types | |
| typedef std::unordered_map< string_ptrt, unsigned, string_ptr_hash > | hash_tablet |
| typedef std::list< std::string > | string_listt |
| typedef std::vector< std::string * > | string_vectort |
Protected Member Functions | |
| unsigned | get (const char *s) |
| unsigned | get (const std::string &s) |
Protected Attributes | |
| hash_tablet | hash_table |
| string_listt | string_list |
| string_vectort | string_vector |
Detailed Description
Definition at line 63 of file string_container.h.
Member Typedef Documentation
◆ hash_tablet
|
protected |
Definition at line 97 of file string_container.h.
◆ string_listt
|
protected |
Definition at line 103 of file string_container.h.
◆ string_vectort
|
protected |
Definition at line 106 of file string_container.h.
Constructor & Destructor Documentation
◆ string_containert()
| string_containert::string_containert | ( | ) |
Definition at line 45 of file irep_ids.cpp.
◆ ~string_containert()
| string_containert::~string_containert | ( | ) |
Definition at line 30 of file string_container.cpp.
Member Function Documentation
◆ c_str()
|
inline |
Definition at line 81 of file string_container.h.
◆ compute_statistics()
| string_container_statisticst string_containert::compute_statistics | ( | ) | const |
Definition at line 93 of file string_container.cpp.
◆ get() [1/2]
|
protected |
Definition at line 34 of file string_container.cpp.
◆ get() [2/2]
|
protected |
Definition at line 57 of file string_container.cpp.
◆ get_string()
|
inline |
Definition at line 87 of file string_container.h.
◆ operator[]() [1/2]
|
inline |
Definition at line 66 of file string_container.h.
◆ operator[]() [2/2]
|
inline |
Definition at line 71 of file string_container.h.
Member Data Documentation
◆ hash_table
|
protected |
Definition at line 98 of file string_container.h.
◆ string_list
|
protected |
Definition at line 104 of file string_container.h.
◆ string_vector
|
protected |
Definition at line 107 of file string_container.h.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/util/string_container.h
- /home/runner/work/cbmc/cbmc/src/util/irep_ids.cpp
- /home/runner/work/cbmc/cbmc/src/util/string_container.cpp
