#include <access-diagram.h>

Collaboration diagram for ana::access_operation:

[legend]

Public Member Functions
	access_operation (const region_model &model, enum access_direction dir, const region &reg, const svalue *sval_hint)

region_model_manager *	get_manager () const

access_range	get_valid_bits () const

access_range	get_actual_bits () const

bool	maybe_get_invalid_before_bits (access_range *out) const

bool	maybe_get_invalid_after_bits (access_range *out) const

Data Fields
const region_model &	m_model

enum access_direction	m_dir

const region &	m_reg

const svalue *	m_sval_hint

const region *	m_base_region

Constructor & Destructor Documentation

◆ access_operation()

ana::access_operation::access_operation	(	const region_model &	model,
		enum access_direction	dir,
		const region &	reg,
		const svalue *	sval_hint )

inline

Member Function Documentation

◆ get_actual_bits()

access_range ana::access_operation::get_actual_bits ( ) const

◆ get_manager()

region_model_manager * ana::access_operation::get_manager ( ) const

inline

References ana::region_model::get_manager(), and m_model.

◆ get_valid_bits()

access_range ana::access_operation::get_valid_bits ( ) const

◆ maybe_get_invalid_after_bits()

bool ana::access_operation::maybe_get_invalid_after_bits ( access_range * out ) const

◆ maybe_get_invalid_before_bits()

bool ana::access_operation::maybe_get_invalid_before_bits ( access_range * out ) const

Field Documentation

◆ m_base_region

const region* ana::access_operation::m_base_region

◆ m_dir

enum access_direction ana::access_operation::m_dir

◆ m_model

const region_model& ana::access_operation::m_model

Referenced by get_manager().

◆ m_reg

const region& ana::access_operation::m_reg

◆ m_sval_hint

const svalue* ana::access_operation::m_sval_hint

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

access-diagram.h

Public Member Functions

Data Fields