ana::rewind_context Struct Reference

#include <ops.h>

Collaboration diagram for ana::rewind_context:

Public Member Functions
	rewind_context (logger *logger, diagnostic_state input_state)
void	on_data_origin (tree dst)
void	on_data_flow (tree src, tree dst)
virtual const region_model &	get_src_region_model () const =0
virtual const region_model &	get_dst_region_model () const =0
virtual bool	could_be_affected_by_write_p (tree lhs)=0
virtual void	add_state_transition (std::unique_ptr< state_transition >)=0

Data Fields
logger *	m_logger
diagnostic_state	m_input
diagnostic_state	m_output

Constructor & Destructor Documentation

rewind_context()

ana::rewind_context::rewind_context ( logger * logger, diagnostic_state input_state )

inline

References m_input, m_logger, and m_output.

Member Function Documentation

add_state_transition()

virtual void ana::rewind_context::add_state_transition ( std::unique_ptr< state_transition > )

pure virtual

could_be_affected_by_write_p()

virtual bool ana::rewind_context::could_be_affected_by_write_p ( tree lhs )

pure virtual

get_dst_region_model()

virtual const region_model & ana::rewind_context::get_dst_region_model ( ) const

pure virtual

get_src_region_model()

virtual const region_model & ana::rewind_context::get_src_region_model ( ) const

pure virtual

on_data_flow()

void ana::rewind_context::on_data_flow	(	tree	src,
		tree	dst )

on_data_origin()

void ana::rewind_context::on_data_origin

(

tree

dst

)

Field Documentation

m_input

diagnostic_state ana::rewind_context::m_input

Referenced by rewind_context().

m_logger

logger* ana::rewind_context::m_logger

Referenced by rewind_context().

m_output

diagnostic_state ana::rewind_context::m_output

Referenced by rewind_context().

---

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

• ops.h