mim::VarRewriter Class Reference

#include <mim/rewrite.h>

Inheritance diagram for mim::VarRewriter:

Public Member Functions
	VarRewriter (Ref var, Ref arg)
Ref	rewrite_imm (Ref imm) override
Ref	rewrite_mut (Def *mut) override
Public Member Functions inherited from mim::Rewriter
	Rewriter (World &world)
World &	world ()
Ref	map (Ref old_def, Ref new_def)
	Map old_def to new_def and returns new_def;.
virtual Ref	rewrite (Ref)

Detailed Description

Definition at line 31 of file rewrite.h.

Constructor & Destructor Documentation

VarRewriter()

mim::VarRewriter::VarRewriter ( Ref var, Ref arg )

inline

Definition at line 33 of file rewrite.h.

References mim::Rewriter::map(), mim::World::vars(), and mim::Rewriter::world().

Member Function Documentation

rewrite_imm()

Ref mim::VarRewriter::rewrite_imm ( Ref imm )

inlineoverridevirtual

Reimplemented from mim::Rewriter.

Definition at line 43 of file rewrite.h.

References mim::PooledSet< T >::empty(), mim::Def::local_muts(), mim::Def::local_vars(), and mim::Rewriter::rewrite_imm().

rewrite_mut()

Ref mim::VarRewriter::rewrite_mut ( Def * mut )

inlineoverridevirtual

Reimplemented from mim::Rewriter.

Definition at line 48 of file rewrite.h.

References mim::Def::free_vars(), mim::Def::has_var(), mim::World::insert(), mim::Rewriter::map(), mim::Rewriter::rewrite_mut(), and mim::Rewriter::world().

---

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

• include/mim/rewrite.h