string_ptrt Struct Reference

#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

Detailed Description

Definition at line 22 of file string_container.h.

Constructor & Destructor Documentation

string_ptrt() [1/2]

string_ptrt::string_ptrt ( const char *  _s )

explicit

Definition at line 18 of file string_container.cpp.

string_ptrt() [2/2]

string_ptrt::string_ptrt ( const std::string &  _s )

inlineexplicit

Definition at line 34 of file string_container.h.

Member Function Documentation

c_str()

const char * string_ptrt::c_str ( ) const

inline

Definition at line 27 of file string_container.h.

operator==()

bool string_ptrt::operator==

(

const string_ptrt &

other

)

const

Definition at line 22 of file string_container.cpp.

Member Data Documentation

len

size_t string_ptrt::len

Definition at line 25 of file string_container.h.

s

const char* string_ptrt::s

Definition at line 24 of file string_container.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/string_container.h
• /home/runner/work/cbmc/cbmc/src/util/string_container.cpp