CBMC
Public Member Functions | Public Attributes | List of all members
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: