cprover
|
#include <string_container.h>
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 |
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 |
Definition at line 47 of file string_container.h.
|
protected |
Definition at line 79 of file string_container.h.
|
protected |
Definition at line 85 of file string_container.h.
|
protected |
Definition at line 88 of file string_container.h.
string_containert::string_containert | ( | ) |
Definition at line 32 of file string_container.cpp.
References initialize_string_container().
string_containert::~string_containert | ( | ) |
Definition at line 41 of file string_container.cpp.
|
inline |
Definition at line 65 of file string_container.h.
References string_vector.
|
protected |
Definition at line 45 of file string_container.cpp.
References hash_table, r, string_list, and string_vector.
|
protected |
Definition at line 68 of file string_container.cpp.
References hash_table, r, string_list, and string_vector.
|
inline |
Definition at line 71 of file string_container.h.
References string_vector.
Referenced by dstringt::as_string(), and as_string().
|
inline |
Definition at line 50 of file string_container.h.
|
inline |
Definition at line 55 of file string_container.h.
|
protected |
Definition at line 80 of file string_container.h.
Referenced by get().
|
protected |
Definition at line 86 of file string_container.h.
Referenced by get().
|
protected |
Definition at line 89 of file string_container.h.
Referenced by c_str(), get(), and get_string().