otawa::dfa::Successor Class Reference

This iterator is used to traverse backward a CFG in an iterative DFA analysis. More...

#include <otawa/dfa/IterativeDFA.h>

Inheritance diagram for otawa::dfa::Successor:

Public Types
typedef Predecessor	Forward

Public Member Functions
	Successor (BasicBlock *bb)
BasicBlock *	item (void) const
bool	ended (void) const
void	next (void)
	operator bool (void) const
	operator BasicBlock * (void) const
Successor &	operator++ (void)
Successor &	operator++ (int)
BasicBlock *	operator* (void) const
BasicBlock *	operator-> (void) const

Static Public Member Functions
static BasicBlock *	entry (CFG &cfg)

Private Member Functions
void	look (void)

Private Attributes
BasicBlock::OutIterator	iter

Detailed Description

This iterator is used to traverse backward a CFG in an iterative DFA analysis.

Member Typedef Documentation

typedef Predecessor otawa::dfa::Successor::Forward

Constructor & Destructor Documentation

otawa::dfa::Successor::Successor ( BasicBlock *  bb )

inline

References look().

Member Function Documentation

bool otawa::dfa::Successor::ended ( void  ) const

inline

References iter.

static BasicBlock* otawa::dfa::Successor::entry ( CFG &  cfg )

inlinestatic

References otawa::CFG::exit().

BasicBlock* otawa::dfa::Successor::item ( void  ) const

inline

References iter.

void otawa::dfa::Successor::look ( void  )

inlineprivate

References otawa::Edge::CALL, and iter.

Referenced by next(), and Successor().

void otawa::dfa::Successor::next ( void  )

inline

References iter, and look().

elm::PreIterator< Successor , BasicBlock * >::operator BasicBlock * ( void  ) const

inherited

elm::PreIterator< Successor , BasicBlock * >::operator bool ( void  ) const

inherited

BasicBlock * elm::PreIterator< Successor , BasicBlock * >::operator* ( void  ) const

inherited

Successor & elm::PreIterator< Successor , BasicBlock * >::operator++ ( void  )

inherited

Successor & elm::PreIterator< Successor , BasicBlock * >::operator++ ( int  )

inherited

BasicBlock * elm::PreIterator< Successor , BasicBlock * >::operator-> ( void  ) const

inherited

Member Data Documentation

BasicBlock::OutIterator otawa::dfa::Successor::iter

private

Referenced by ended(), item(), look(), and next().

---

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

• include/otawa/dfa/IterativeDFA.h