cprover
non_const_byte_extraction_sizet Class Reference

#include <flatten_byte_extract_exceptions.h>

+ Inheritance diagram for non_const_byte_extraction_sizet:
+ Collaboration diagram for non_const_byte_extraction_sizet:

Public Member Functions

 non_const_byte_extraction_sizet (const byte_extract_exprt &unpack_expr)
 
const char * what () const optional_noexcept override
 
- Public Member Functions inherited from flatten_byte_extract_exceptiont
 flatten_byte_extract_exceptiont (const std::string &exception_message)
 

Private Attributes

const byte_extract_exprt unpack_expr
 
std::string computed_error_message
 

Detailed Description

Definition at line 118 of file flatten_byte_extract_exceptions.h.

Constructor & Destructor Documentation

◆ non_const_byte_extraction_sizet()

non_const_byte_extraction_sizet::non_const_byte_extraction_sizet ( const byte_extract_exprt unpack_expr)
inlineexplicit

Definition at line 121 of file flatten_byte_extract_exceptions.h.

Member Function Documentation

◆ what()

const char* non_const_byte_extraction_sizet::what ( ) const
inlineoverride

Definition at line 133 of file flatten_byte_extract_exceptions.h.

Member Data Documentation

◆ computed_error_message

std::string non_const_byte_extraction_sizet::computed_error_message
private

Definition at line 141 of file flatten_byte_extract_exceptions.h.

◆ unpack_expr

const byte_extract_exprt non_const_byte_extraction_sizet::unpack_expr
private

Definition at line 139 of file flatten_byte_extract_exceptions.h.


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