ana::rejected_op_constraint Class Reference

#include <region-model.h>

Inheritance diagram for ana::rejected_op_constraint:

Collaboration diagram for ana::rejected_op_constraint:

Public Member Functions
	rejected_op_constraint (const region_model &model, const svalue *lhs, enum tree_code op, const svalue *rhs)
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

Data Fields
const svalue *	m_lhs
enum tree_code	m_op
const svalue *	m_rhs

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

Protected Attributes
region_model	m_model

Constructor & Destructor Documentation

rejected_op_constraint()

ana::rejected_op_constraint::rejected_op_constraint ( const region_model & model, const svalue * lhs, enum tree_code op, const svalue * rhs )

inline

References m_lhs, m_op, m_rhs, and ana::rejected_constraint::rejected_constraint().

Member Function Documentation

dump_to_pp()

void ana::rejected_op_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_op_constraint::to_json ( ) const

finaloverridevirtual

Implements ana::rejected_constraint.

References final().

Field Documentation

m_lhs

const svalue* ana::rejected_op_constraint::m_lhs

Referenced by rejected_op_constraint().

m_model

region_model ana::rejected_constraint::m_model

protectedinherited

Referenced by get_model(), and rejected_constraint().

m_op

enum tree_code ana::rejected_op_constraint::m_op

Referenced by rejected_op_constraint().

m_rhs

const svalue* ana::rejected_op_constraint::m_rhs

Referenced by rejected_op_constraint().

---

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

• region-model.h