cprover
non_byte_alignedt Class Reference

#include <flatten_byte_extract_exceptions.h>

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

Public Member Functions

 non_byte_alignedt (const struct_typet &struct_type, const struct_union_typet::componentt &component, const mp_integer &byte_width)
 
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 struct_typet struct_type
 
const struct_union_typet::componentt component
 
const mp_integer byte_width
 
std::string computed_error_message
 

Detailed Description

Definition at line 55 of file flatten_byte_extract_exceptions.h.

Constructor & Destructor Documentation

◆ non_byte_alignedt()

non_byte_alignedt::non_byte_alignedt ( const struct_typet struct_type,
const struct_union_typet::componentt component,
const mp_integer byte_width 
)
inline

Member Function Documentation

◆ what()

const char* non_byte_alignedt::what ( ) const
inlineoverride

Definition at line 76 of file flatten_byte_extract_exceptions.h.

References computed_error_message.

Member Data Documentation

◆ byte_width

const mp_integer non_byte_alignedt::byte_width
private

Definition at line 84 of file flatten_byte_extract_exceptions.h.

Referenced by non_byte_alignedt().

◆ component

const struct_union_typet::componentt non_byte_alignedt::component
private

Definition at line 83 of file flatten_byte_extract_exceptions.h.

Referenced by non_byte_alignedt().

◆ computed_error_message

std::string non_byte_alignedt::computed_error_message
private

Definition at line 86 of file flatten_byte_extract_exceptions.h.

Referenced by non_byte_alignedt(), and what().

◆ struct_type

const struct_typet non_byte_alignedt::struct_type
private

Definition at line 82 of file flatten_byte_extract_exceptions.h.

Referenced by non_byte_alignedt().


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