cprover
|
#include <string_container.h>
Public Member Functions | |
const char * | c_str () const |
string_ptrt (const char *_s) | |
string_ptrt (const std::string &_s) | |
bool | operator== (const string_ptrt &other) const |
Public Attributes | |
const char * | s |
size_t | len |
Definition at line 21 of file string_container.h.
|
explicit |
Definition at line 18 of file string_container.cpp.
Referenced by c_str().
|
inlineexplicit |
Definition at line 33 of file string_container.h.
References operator==().
|
inline |
Definition at line 26 of file string_container.h.
References s, and string_ptrt().
bool string_ptrt::operator== | ( | const string_ptrt & | other | ) | const |
Definition at line 22 of file string_container.cpp.
References initialize_string_container(), len, and s.
Referenced by string_ptrt().
size_t string_ptrt::len |
Definition at line 24 of file string_container.h.
Referenced by operator==().
const char* string_ptrt::s |
Definition at line 23 of file string_container.h.
Referenced by c_str(), string_ptr_hash::operator()(), operator==(), and string_containert::operator[]().