#include <region-model.h>

Inheritance diagram for ana::rejected_ranges_constraint:

Collaboration diagram for ana::rejected_ranges_constraint:

[legend]

Public Member Functions
	rejected_ranges_constraint (const region_model &model, tree expr, const bounded_ranges *ranges)
void	dump_to_pp (pretty_printer *pp) const final override
std::unique_ptr< json::object >	to_json () const final override
const region_model &	get_model () const

Protected Member Functions
std::unique_ptr< json::object >	make_base_json (const char *kind) const

Protected Attributes
region_model	m_model

Private Attributes
tree	m_expr
const bounded_ranges *	m_ranges

Constructor & Destructor Documentation

◆ rejected_ranges_constraint()

ana::rejected_ranges_constraint::rejected_ranges_constraint	(	const region_model &	model,
		tree	expr,
		const bounded_ranges *	ranges )

inline

References m_expr, m_ranges, and ana::rejected_constraint::rejected_constraint().

Member Function Documentation

◆ dump_to_pp()

void ana::rejected_ranges_constraint::dump_to_pp ( pretty_printer * pp ) const

finaloverridevirtual

Implements ana::rejected_constraint.

◆ get_model()

const region_model & ana::rejected_constraint::get_model ( ) const

inlineinherited

References m_model.

◆ make_base_json()

std::unique_ptr< json::object > ana::rejected_constraint::make_base_json ( const char * kind ) const

protectedinherited

◆ to_json()

std::unique_ptr< json::object > ana::rejected_ranges_constraint::to_json ( ) const

finaloverridevirtual

Implements ana::rejected_constraint.

References final().

Field Documentation

◆ m_expr

tree ana::rejected_ranges_constraint::m_expr

private

Referenced by rejected_ranges_constraint().

◆ m_model

region_model ana::rejected_constraint::m_model

protectedinherited

Referenced by get_model(), and rejected_constraint().

◆ m_ranges

const bounded_ranges* ana::rejected_ranges_constraint::m_ranges