#include <ranges.h>

Collaboration diagram for ana::symbolic_byte_offset:

Public Member Functions
	symbolic_byte_offset (int i, region_model_manager &mgr)

	symbolic_byte_offset (const svalue *num_bytes_sval)

	symbolic_byte_offset (region_offset offset, region_model_manager &mgr)

const svalue *	get_svalue () const

tree	maybe_get_constant () const

void	dump_to_pp (pretty_printer *pp, bool) const

void	dump (bool) const

json::value *	to_json () const

bool	operator== (const symbolic_byte_offset &other) const

Private Attributes
const svalue *	m_num_bytes_sval

Detailed Description

Wrapper around an svalue for a value measured in bytes.

Constructor & Destructor Documentation

◆ symbolic_byte_offset() [1/3]

ana::symbolic_byte_offset::symbolic_byte_offset	(	int	i,
		region_model_manager &	mgr )

explicit

◆ symbolic_byte_offset() [2/3]

ana::symbolic_byte_offset::symbolic_byte_offset ( const svalue * num_bytes_sval )

◆ symbolic_byte_offset() [3/3]

ana::symbolic_byte_offset::symbolic_byte_offset	(	region_offset	offset,
		region_model_manager &	mgr )

explicit

Member Function Documentation

◆ dump()

void ana::symbolic_byte_offset::dump ( bool ) const

◆ dump_to_pp()

void ana::symbolic_byte_offset::dump_to_pp	(	pretty_printer *	pp,
		bool	) const

◆ get_svalue()

const svalue * ana::symbolic_byte_offset::get_svalue ( ) const

inline

References m_num_bytes_sval.

◆ maybe_get_constant()

tree ana::symbolic_byte_offset::maybe_get_constant ( ) const

◆ operator==()

bool ana::symbolic_byte_offset::operator== ( const symbolic_byte_offset & other ) const

inline

References m_num_bytes_sval.

◆ to_json()

json::value * ana::symbolic_byte_offset::to_json ( ) const

Field Documentation

◆ m_num_bytes_sval

const svalue* ana::symbolic_byte_offset::m_num_bytes_sval

private

Referenced by get_svalue(), and operator==().

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

ranges.h

Public Member Functions

Private Attributes