cprover
non_constant_widtht Class Reference

#include <flatten_byte_extract_exceptions.h>

+ Inheritance diagram for non_constant_widtht:
+ Collaboration diagram for non_constant_widtht:

Public Member Functions

 non_constant_widtht (const exprt &src, 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 src
 
exprt max_bytes
 
std::string computed_error_message
 

Detailed Description

Definition at line 89 of file flatten_byte_extract_exceptions.h.

Constructor & Destructor Documentation

◆ non_constant_widtht()

non_constant_widtht::non_constant_widtht ( const exprt src,
const exprt max_bytes 
)
inline

Definition at line 93 of file flatten_byte_extract_exceptions.h.

Member Function Documentation

◆ what()

const char* non_constant_widtht::what ( ) const
inlineoverride

Definition at line 106 of file flatten_byte_extract_exceptions.h.

Member Data Documentation

◆ computed_error_message

std::string non_constant_widtht::computed_error_message
private

Definition at line 115 of file flatten_byte_extract_exceptions.h.

◆ max_bytes

exprt non_constant_widtht::max_bytes
private

Definition at line 113 of file flatten_byte_extract_exceptions.h.

◆ src

exprt non_constant_widtht::src
private

Definition at line 112 of file flatten_byte_extract_exceptions.h.


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