ana::rejected_default_case Class Reference

#include <region-model.h>

Inheritance diagram for ana::rejected_default_case:

Collaboration diagram for ana::rejected_default_case:

Public Member Functions
	rejected_default_case (const region_model &model)
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

Constructor & Destructor Documentation

rejected_default_case()

ana::rejected_default_case::rejected_default_case ( const region_model & model )

inline

References ana::rejected_constraint::rejected_constraint().

Member Function Documentation

dump_to_pp()

void ana::rejected_default_case::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_default_case::to_json ( ) const

finaloverridevirtual

Implements ana::rejected_constraint.

References final().

Field Documentation

m_model

region_model ana::rejected_constraint::m_model

protectedinherited

Referenced by get_model(), and rejected_constraint().

---

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

• region-model.h