![]() |
OTAWA
2.0
Framework to perform machine analysis and compute WCET.
|
#include <otawa/proc/BBProcessor.h>
Public Member Functions | |
BBDeletor (WorkSpace *ws, Identifier< T * > &identifier) | |
virtual | ~BBDeletor (void) |
![]() | |
BBRemover (WorkSpace *ws, AbstractIdentifier &identifier) | |
![]() | |
BBCleaner (WorkSpace *_ws) | |
virtual void | clean (void) |
![]() | |
virtual | ~Cleaner (void) |
Protected Member Functions | |
virtual void | clean (WorkSpace *ws, CFG *cfg, Block *bb) |
Protected Attributes | |
Identifier< T * > & | id |
![]() | |
AbstractIdentifier & | id |
Basic block cleaner removing an identifier and deleting its content.
T | Type of data pointed by the identifier. |
|
inline |
|
inlinevirtual |
|
inlineprotectedvirtual |
Reimplemented from otawa::BBRemover< T >.
|
protected |