Otawa
0.10
|
Efficient implementation of a cleaner for properties found on a basic block. More...
#include <otawa/proc/BBProcessor.h>
Public Member Functions | |
BBCleaner (WorkSpace *_ws) | |
virtual void | clean (void) |
Protected Member Functions | |
virtual void | clean (WorkSpace *ws, CFG *cfg, BasicBlock *bb)=0 |
Private Attributes | |
WorkSpace * | ws |
Efficient implementation of a cleaner for properties found on a basic block.
Basic block cleaner simply removing an identifier from basic blocks.
To instantiate it, juste overload the process() methods
T | Type of property value. |
|
inline |
|
virtual |
References otawa::cfgio::bb(), otawa::cfgio::cfg(), otawa::INVOLVED_CFGS, and ws.
Referenced by otawa::BBDeletor< T >::clean().
|
protectedpure virtual |
Implemented in otawa::BBDeletor< T >, and otawa::BBRemover< T >.