7 #ifndef OTAWA_IPET_CACHEPENALTIES_OBJECTFUNCTIONBUILDER_H
8 #define OTAWA_IPET_CACHEPENALTIES_OBJECTFUNCTIONBUILDER_H
10 #include <elm/assert.h>
15 namespace otawa {
namespace ipet {
35 #endif // OTAWA_IPET_CACHEPENALTIES_OBJECTFUNCTIONBUILDER_H
This processor is dedicated to the basic block process thru proccessBB() method.
Definition: BBProcessor.h:72
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
virtual void processBB(WorkSpace *fw, CFG *cfg, BasicBlock *bb)
Perform the work of the given basic block.
Definition: cache_CachePenaltiesObjectFunctionBuilder.cpp:70
static const PropList EMPTY
This is an empty proplist for convenience.
Definition: PropList.h:66
static Registration< CachePenaltiesObjectFunctionBuilder > reg
Definition: CachePenaltiesObjectFunctionBuilder.h:21
Definition: Registration.h:138
bool _explicit
Definition: CachePenaltiesObjectFunctionBuilder.h:27
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
Control Flow Graph representation.
Definition: CFG.h:42
virtual void configure(const PropList &props=PropList::EMPTY)
Configure the current processor.
Definition: cache_CachePenaltiesObjectFunctionBuilder.cpp:62
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
This processor is used for building the basic object function function in case of a L1 instruction ca...
Definition: CachePenaltiesObjectFunctionBuilder.h:19
CachePenaltiesObjectFunctionBuilder(void)
Build a new basic object function builder.
Definition: cache_CachePenaltiesObjectFunctionBuilder.cpp:55
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
This a list of properties.
Definition: PropList.h:63