non_byte_alignedt Class Reference

#include <flatten_byte_extract_exceptions.h>

Inheritance diagram for non_byte_alignedt:

Collaboration diagram for non_byte_alignedt:

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

Definition at line 58 of file flatten_byte_extract_exceptions.h.

Member Function Documentation

what()

const char* non_byte_alignedt::what ( ) const

inlineoverride

Definition at line 76 of file flatten_byte_extract_exceptions.h.

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.

component

const struct_union_typet::componentt non_byte_alignedt::component

private

Definition at line 83 of file flatten_byte_extract_exceptions.h.

computed_error_message

std::string non_byte_alignedt::computed_error_message

private

Definition at line 86 of file flatten_byte_extract_exceptions.h.

struct_type

const struct_typet non_byte_alignedt::struct_type

private

Definition at line 82 of file flatten_byte_extract_exceptions.h.

---

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

• solvers/lowering/flatten_byte_extract_exceptions.h