thorin::ClosedMutPhase< M > Class Template Reference

Transitively visits all reachable closed mutables (Def::is_closed()) in World. More...

#include <thorin/phase/phase.h>

Inheritance diagram for thorin::ClosedMutPhase< M >:

Public Member Functions
	ClosedMutPhase (World &world, std::string_view name, bool elide_empty)
void	start () override
	Actual entry.
Public Member Functions inherited from thorin::Phase
	Phase (World &world, std::string_view name, bool dirty)
virtual	~Phase ()=default
World &	world ()
std::string_view	name () const
bool	is_dirty () const
virtual void	run ()
	Entry point and generates some debug output; invokes Phase::start.

Protected Member Functions
virtual void	visit (M *)=0
M *	curr_mut () const

Additional Inherited Members
Static Public Member Functions inherited from thorin::Phase
template<class P , class... Args>
static void	run (Args &&... args)
	Runs a single Phase.
Protected Attributes inherited from thorin::Phase
World &	world_
std::string	name_
bool	dirty_

Detailed Description

template<class M = Def>
class thorin::ClosedMutPhase< M >

Transitively visits all reachable closed mutables (Def::is_closed()) in World.

Select with elide_empty whether you want to visit trivial muts without body. Assumes that you don't change anything - hence dirty flag is set to false. If you a are only interested in specific mutables, you can pass this to M.

Definition at line 171 of file phase.h.

Constructor & Destructor Documentation

ClosedMutPhase()

template<class M = Def>

thorin::ClosedMutPhase< M >::ClosedMutPhase ( World &  world, std::string_view  name, bool  elide_empty  )

inline

Definition at line 173 of file phase.h.

Member Function Documentation

curr_mut()

template<class M = Def>

M * thorin::ClosedMutPhase< M >::curr_mut ( ) const

inlineprotected

Definition at line 192 of file phase.h.

start()

template<class M = Def>

void thorin::ClosedMutPhase< M >::start ( )

inlineoverridevirtual

Actual entry.

Implements thorin::Phase.

Definition at line 177 of file phase.h.

References thorin::unique_queue< Set >::empty(), thorin::World::externals(), thorin::Def::local_muts(), M, thorin::unique_queue< Set >::pop(), thorin::unique_queue< Set >::push(), thorin::ClosedMutPhase< M >::visit(), and thorin::Phase::world().

visit()

template<class M = Def>

virtual void thorin::ClosedMutPhase< M >::visit ( M *  )

protectedpure virtual

Referenced by thorin::ClosedMutPhase< M >::start().

---

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

• include/thorin/phase/phase.h