otawa::dfa::Predecessor Class Reference

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

#include <otawa/dfa/IterativeDFA.h>

Inheritance diagram for otawa::dfa::Predecessor:

Public Types
typedef Successor	Forward

Public Member Functions
	Predecessor (BasicBlock *bb)
BasicBlock *	item (void) const
bool	ended (void) const
void	next (void)
	operator bool (void) const
	operator BasicBlock * (void) const
Predecessor &	operator++ (void)
Predecessor &	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::InIterator	iter

Detailed Description

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

Member Typedef Documentation

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

Constructor & Destructor Documentation

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

inline

References look().

Member Function Documentation

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

inline

References iter.

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

inlinestatic

References otawa::CFG::entry().

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

inline

References iter.

void otawa::dfa::Predecessor::look ( void  )

inlineprivate

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

Referenced by next(), and Predecessor().

void otawa::dfa::Predecessor::next ( void  )

inline

References iter, and look().

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

inherited

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

inherited

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

inherited

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

inherited

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

inherited

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

inherited

Member Data Documentation

BasicBlock::InIterator otawa::dfa::Predecessor::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