cprover
string_containert Class Reference

#include <string_container.h>

Collaboration diagram for string_containert:
[legend]

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_hashhash_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 47 of file string_container.h.

Member Typedef Documentation

§ hash_tablet

typedef std::unordered_map<string_ptrt, unsigned, string_ptr_hash> string_containert::hash_tablet
protected

Definition at line 79 of file string_container.h.

§ string_listt

typedef std::list<std::string> string_containert::string_listt
protected

Definition at line 85 of file string_container.h.

§ string_vectort

typedef std::vector<std::string *> string_containert::string_vectort
protected

Definition at line 88 of file string_container.h.

Constructor & Destructor Documentation

§ string_containert()

string_containert::string_containert ( )

Definition at line 32 of file string_container.cpp.

References initialize_string_container().

§ ~string_containert()

string_containert::~string_containert ( )

Definition at line 41 of file string_container.cpp.

Member Function Documentation

§ c_str()

const char* string_containert::c_str ( size_t  no) const
inline

Definition at line 65 of file string_container.h.

§ get() [1/2]

unsigned string_containert::get ( const char *  s)
protected

Definition at line 45 of file string_container.cpp.

References r.

§ get() [2/2]

unsigned string_containert::get ( const std::string &  s)
protected

Definition at line 68 of file string_container.cpp.

References r.

§ get_string()

const std::string& string_containert::get_string ( size_t  no) const
inline

Definition at line 71 of file string_container.h.

Referenced by dstringt::as_string(), and as_string().

§ operator[]() [1/2]

unsigned string_containert::operator[] ( const char *  s)
inline

Definition at line 50 of file string_container.h.

References string_ptrt::s.

§ operator[]() [2/2]

unsigned string_containert::operator[] ( const std::string &  s)
inline

Definition at line 55 of file string_container.h.

References string_ptrt::s.

Member Data Documentation

§ hash_table

hash_tablet string_containert::hash_table
protected

Definition at line 80 of file string_container.h.

§ string_list

string_listt string_containert::string_list
protected

Definition at line 86 of file string_container.h.

§ string_vector

string_vectort string_containert::string_vector
protected

Definition at line 89 of file string_container.h.


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