Otawa
0.10
|
#include <otawa/proc/BBProcessor.h>
Public Member Functions | |
BBRemover (WorkSpace *ws, Identifier< T > &identifier) | |
virtual void | clean (void) |
Protected Member Functions | |
virtual void | clean (WorkSpace *ws, CFG *cfg, BasicBlock *bb) |
Protected Attributes | |
Identifier< T > & | id |
|
inline |
|
virtualinherited |
References otawa::cfgio::bb(), otawa::cfgio::cfg(), otawa::INVOLVED_CFGS, and otawa::BBCleaner::ws.
Referenced by otawa::BBDeletor< T >::clean().
|
inlineprotectedvirtual |
Implements otawa::BBCleaner.
Reimplemented in otawa::BBDeletor< T >.
References otawa::PropList::removeProp().
|
protected |