ana::symbolic_byte_range Class Reference

#include <ranges.h>

Collaboration diagram for ana::symbolic_byte_range:

Public Member Functions
	symbolic_byte_range (symbolic_byte_offset start, symbolic_byte_offset size)
	symbolic_byte_range (region_offset start, const svalue *num_bytes, region_model_manager &mgr)
void	dump_to_pp (pretty_printer *pp, bool simple, region_model_manager &mgr) const
void	dump (bool, region_model_manager &mgr) const
json::value *	to_json () const
bool	empty_p () const
symbolic_byte_offset	get_start_byte_offset () const
symbolic_byte_offset	get_last_byte_offset (region_model_manager &mgr) const
symbolic_byte_offset	get_size_in_bytes () const
symbolic_byte_offset	get_next_byte_offset (region_model_manager &mgr) const
tristate	intersection (const symbolic_byte_range &other, const region_model &model) const

Private Attributes
symbolic_byte_offset	m_start
symbolic_byte_offset	m_size

Detailed Description

A range of byte offsets, where both the start and size of the
range can be symbolic.   

Constructor & Destructor Documentation

symbolic_byte_range() [1/2]

ana::symbolic_byte_range::symbolic_byte_range ( symbolic_byte_offset start, symbolic_byte_offset size )

inline

symbolic_byte_range() [2/2]

ana::symbolic_byte_range::symbolic_byte_range	(	region_offset	start,
		const svalue *	num_bytes,
		region_model_manager &	mgr )

Member Function Documentation

dump()

void ana::symbolic_byte_range::dump	(	bool	,
		region_model_manager &	mgr ) const

dump_to_pp()

void ana::symbolic_byte_range::dump_to_pp	(	pretty_printer *	pp,
		bool	simple,
		region_model_manager &	mgr ) const

empty_p()

bool ana::symbolic_byte_range::empty_p

(

)

const

get_last_byte_offset()

symbolic_byte_offset ana::symbolic_byte_range::get_last_byte_offset

(

region_model_manager &

mgr

)

const

get_next_byte_offset()

symbolic_byte_offset ana::symbolic_byte_range::get_next_byte_offset

(

region_model_manager &

mgr

)

const

get_size_in_bytes()

symbolic_byte_offset ana::symbolic_byte_range::get_size_in_bytes ( ) const

inline

References m_size.

get_start_byte_offset()

symbolic_byte_offset ana::symbolic_byte_range::get_start_byte_offset ( ) const

inline

References m_start.

intersection()

tristate ana::symbolic_byte_range::intersection	(	const symbolic_byte_range &	other,
		const region_model &	model ) const

to_json()

json::value * ana::symbolic_byte_range::to_json

(

)

const

Field Documentation

m_size

symbolic_byte_offset ana::symbolic_byte_range::m_size

private

Referenced by get_size_in_bytes().

m_start

symbolic_byte_offset ana::symbolic_byte_range::m_start

private

Referenced by get_start_byte_offset().

---

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

• ranges.h