cprover
non_const_array_sizet Class Reference

#include <flatten_byte_extract_exceptions.h>

Inheritance diagram for non_const_array_sizet:
[legend]
Collaboration diagram for non_const_array_sizet:
[legend]

Public Member Functions

 non_const_array_sizet (const array_typet &array_type, const exprt &max_bytes)
 
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

exprt max_bytes
 
array_typet array_type
 
std::string computed_error_message
 

Detailed Description

Definition at line 28 of file flatten_byte_extract_exceptions.h.

Constructor & Destructor Documentation

◆ non_const_array_sizet()

non_const_array_sizet::non_const_array_sizet ( const array_typet array_type,
const exprt max_bytes 
)
inline

Member Function Documentation

◆ what()

const char* non_const_array_sizet::what ( ) const
inlineoverride

Definition at line 43 of file flatten_byte_extract_exceptions.h.

References computed_error_message.

Member Data Documentation

◆ array_type

array_typet non_const_array_sizet::array_type
private

Definition at line 50 of file flatten_byte_extract_exceptions.h.

Referenced by non_const_array_sizet().

◆ computed_error_message

std::string non_const_array_sizet::computed_error_message
private

Definition at line 52 of file flatten_byte_extract_exceptions.h.

Referenced by non_const_array_sizet(), and what().

◆ max_bytes

exprt non_const_array_sizet::max_bytes
private

Definition at line 49 of file flatten_byte_extract_exceptions.h.

Referenced by non_const_array_sizet().


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