gdb_apit::memory_addresst Struct Reference

Memory address imbued with the explicit boolean data indicating if the address is null or not. More...

#include <gdb_api.h>

Collaboration diagram for gdb_apit::memory_addresst:

Public Member Functions
	memory_addresst ()
	memory_addresst (const std::string &address_string)
bool	is_null () const
bool	operator< (const memory_addresst &other) const
std::string	string () const

Public Attributes
bool	null_address
std::string	address_string

Detailed Description

Memory address imbued with the explicit boolean data indicating if the address is null or not.

Definition at line 37 of file gdb_api.h.

Constructor & Destructor Documentation

memory_addresst() [1/2]

gdb_apit::memory_addresst::memory_addresst ( )

inline

Definition at line 41 of file gdb_api.h.

memory_addresst() [2/2]

gdb_apit::memory_addresst::memory_addresst ( const std::string &  address_string )

inlineexplicit

Definition at line 44 of file gdb_api.h.

Member Function Documentation

is_null()

bool gdb_apit::memory_addresst::is_null ( ) const

inline

Definition at line 49 of file gdb_api.h.

operator<()

bool gdb_apit::memory_addresst::operator< ( const memory_addresst &  other ) const

inline

Definition at line 53 of file gdb_api.h.

string()

std::string gdb_apit::memory_addresst::string ( ) const

inline

Definition at line 57 of file gdb_api.h.

Member Data Documentation

address_string

std::string gdb_apit::memory_addresst::address_string

Definition at line 40 of file gdb_api.h.

null_address

bool gdb_apit::memory_addresst::null_address

Definition at line 39 of file gdb_api.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/memory-analyzer/gdb_api.h