21 #ifndef OTAWA_DCACHE_CATBUILDER_H_
22 #define OTAWA_DCACHE_CATBUILDER_H_
29 namespace otawa {
namespace dcache {
Class to declare simple a processor.
Definition: Registration.h:213
WorkSpace * ws
Definition: Processor.h:185
CATBuilder(p::declare &r=reg)
Definition: dcache_CatBuilder.cpp:61
virtual void processWorkSpace(WorkSpace *ws)
Process the given framework.
Definition: dcache_CatBuilder.cpp:204
The processor class is implemented by all code processor.
Definition: Processor.h:49
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
This class contains the configuration of a level of cache of processor.
Definition: Cache.h:34
StringOption cache(command, 'c',"cache","used cache","path","")
virtual void configure(const PropList &props)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: dcache_CatBuilder.cpp:193
Processor to get the categories for each block access of a data cache.
Definition: CatBuilder.h:33
data_fmlevel_t firstmiss_level
Definition: CatBuilder.h:43
This a list of properties.
Definition: PropList.h:63
static p::declare reg
Definition: CatBuilder.h:35
data_fmlevel_t
Definition: features.h:38
virtual void cleanup(WorkSpace *ws)
This method is called after the end of the processor analysis to let it do some clean up...
Definition: dcache_CatBuilder.cpp:67
A block collections stores the list of data blocks used in a task for a specific line.
Definition: features.h:108
void processLBlockSet(WorkSpace *ws, const BlockCollection &coll, const hard::Cache *cache)
Definition: dcache_CatBuilder.cpp:96