cfg_dominators_templatet< P, T, post_dom > Class Template Reference

#include <cfg_dominators.h>

Inheritance diagram for cfg_dominators_templatet< P, T, post_dom >:

Collaboration diagram for cfg_dominators_templatet< P, T, post_dom >:

Classes
struct	nodet

Public Types
typedef std::set< T >	target_sett
typedef procedure_local_cfg_baset< nodet, P, T >	cfgt

Public Member Functions
void	operator() (P &program)
	Compute dominators. More...
void	output (std::ostream &) const
	Print the result of the dominator computation. More...

Public Attributes
cfgt	cfg
T	entry_node

Protected Member Functions
void	initialise (P &program)
	Initialises the elements of the fixed point analysis. More...
void	fixedpoint (P &program)
	Computes the MOP for the dominator analysis. More...

Detailed Description

template<class P, class T, bool post_dom>
class cfg_dominators_templatet< P, T, post_dom >

Definition at line 26 of file cfg_dominators.h.

Member Typedef Documentation

cfgt

template<class P, class T, bool post_dom>

typedef procedure_local_cfg_baset<nodet, P, T> cfg_dominators_templatet< P, T, post_dom >::cfgt

Definition at line 36 of file cfg_dominators.h.

target_sett

template<class P, class T, bool post_dom>

typedef std::set<T> cfg_dominators_templatet< P, T, post_dom >::target_sett

Definition at line 29 of file cfg_dominators.h.

Member Function Documentation

fixedpoint()

template<class P, class T , bool post_dom>

void cfg_dominators_templatet< P, T, post_dom >::fixedpoint ( P &  program )

protected

Computes the MOP for the dominator analysis.

Definition at line 77 of file cfg_dominators.h.

initialise()

template<class P, class T , bool post_dom>

void cfg_dominators_templatet< P, T, post_dom >::initialise ( P &  program )

protected

Initialises the elements of the fixed point analysis.

Definition at line 70 of file cfg_dominators.h.

operator()()

template<class P, class T , bool post_dom>

void cfg_dominators_templatet< P, T, post_dom >::operator()

(

P &

program

)

Compute dominators.

Definition at line 62 of file cfg_dominators.h.

output()

template<class P , class T , bool post_dom>

void cfg_dominators_templatet< P, T, post_dom >::output

(

std::ostream &

out

)

const

Print the result of the dominator computation.

Definition at line 185 of file cfg_dominators.h.

Member Data Documentation

cfg

template<class P, class T, bool post_dom>

cfgt cfg_dominators_templatet< P, T, post_dom >::cfg

Definition at line 37 of file cfg_dominators.h.

entry_node

template<class P, class T, bool post_dom>

T cfg_dominators_templatet< P, T, post_dom >::entry_node

Definition at line 41 of file cfg_dominators.h.

---

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

• analyses/cfg_dominators.h