mim::ClosedMutPhase< M > Class Template Reference

Transitively visits all reachable, closed mutables in the World. More...

#include <mim/phase.h>

Inheritance diagram for mim::ClosedMutPhase< M >:

Public Member Functions
	ClosedMutPhase (World &world, std::string name, bool elide_empty, bool schedule=false)
	ClosedMutPhase (World &world, flags_t annex, bool elide_empty, bool schedule=false)
bool	elide_empty () const
bool	schedule () const
Public Member Functions inherited from mim::Phase
	Phase (World &world, std::string name)
	Phase (World &world, flags_t annex)
bool	todo () const
void	invalidate (bool todo=true)
	Signals that another round of fixed-point iteration is required, either as part of.
virtual void	run ()
	Entry point and generates some debug output; invokes Phase::start.
Public Member Functions inherited from mim::Stage
	Stage (World &world, std::string name)
	Stage (World &world, flags_t annex)
virtual	~Stage ()=default
virtual std::unique_ptr< Stage >	recreate ()
	Creates a new instance; needed by a fixed-point PhaseMan.
virtual void	apply (const App *)
	Invoked if your Stage has additional args.
virtual void	apply (Stage &)
	Dito, but invoked by Stage::recreate.
virtual bool	redirects () const
	If true, Stage::create uses take_resolved().
virtual std::unique_ptr< Stage >	take_resolved ()
	The Stage to use instead; nullptr means elide.
World &	world ()
Driver &	driver ()
Log &	log () const
std::string_view	name () const
flags_t	annex () const

Protected Member Functions
void	start () override
	Actual entry.
virtual void	visit (M *)=0
M *	root () const

Additional Inherited Members
template<class P, class... Args>
static void	run (Args &&... args)
	Runs a single Phase.
Static Public Member Functions inherited from mim::Stage
static std::unique_ptr< Stage >	create (const Flags2Stages &stages, const Def *def)
template<class A, class P>
static void	hook (Flags2Stages &stages)
Protected Attributes inherited from mim::Stage
std::string	name_

Detailed Description

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

Transitively visits all reachable, closed mutables in the World.

• Select with elide_empty whether you want to visit trivial mutables without body.
• Set schedule if the mutables should be scheduled to ensure a correct order of dependencies.
• If you are only interested in specific mutables, you can pass this to M.

  See also

  ClosedMutPhase

Definition at line 389 of file phase.h.

Constructor & Destructor Documentation

ClosedMutPhase() [1/2]

template<class M = Def>

mim::ClosedMutPhase< M >::ClosedMutPhase ( World & world, std::string name, bool elide_empty, bool schedule = false )

inline

Definition at line 391 of file phase.h.

References elide_empty(), mim::Stage::name(), mim::Phase::Phase(), schedule(), and mim::Stage::world().

ClosedMutPhase() [2/2]

template<class M = Def>

mim::ClosedMutPhase< M >::ClosedMutPhase ( World & world, flags_t annex, bool elide_empty, bool schedule = false )

inline

Definition at line 395 of file phase.h.

References mim::Stage::annex(), elide_empty(), mim::Phase::Phase(), schedule(), and mim::Stage::world().

Member Function Documentation

elide_empty()

template<class M = Def>

bool mim::ClosedMutPhase< M >::elide_empty ( ) const

inline

Definition at line 400 of file phase.h.

Referenced by ClosedMutPhase(), ClosedMutPhase(), and start().

root()

template<class M = Def>

M * mim::ClosedMutPhase< M >::root ( ) const

inlineprotected

Definition at line 408 of file phase.h.

schedule()

template<class M = Def>

bool mim::ClosedMutPhase< M >::schedule ( ) const

inline

Definition at line 401 of file phase.h.

Referenced by ClosedMutPhase(), ClosedMutPhase(), and start().

start()

template<class M = Def>

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

inlineoverrideprotectedvirtual

Actual entry.

Implements mim::Phase.

Reimplemented in mim::plug::ll::Emitter, and mim::sexpr::Emitter.

Definition at line 404 of file phase.h.

References elide_empty(), schedule(), visit(), and mim::Stage::world().

visit()

template<class M = Def>

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

protectedpure virtual

Referenced by start().

---

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

• include/mim/phase.h