24 #ifndef CACHE_EDGECAT2BUILDER_H_
25 #define CACHE_EDGECAT2BUILDER_H_
31 #include <otawa/cache/categorisation/CATBuilder.h>
Feature< EdgeCAT2Builder > ICACHE_EDGE_CATEGORY2_FEATURE
virtual void configure(const PropList &props)
Configure the current processor.
Definition: cache_EdgeCAT2Builder.cpp:161
virtual void processCFG(WorkSpace *, otawa::CFG *)
Definition: cache_EdgeCAT2Builder.cpp:166
This processor produces categorization information for each l-block.
Definition: EdgeCAT2Builder.h:41
Control Flow Graph representation.
Definition: CFG.h:42
Identifier< Vector< BasicBlock * > * > CATEGORY_EDGE_HEADER
fmlevel_t firstmiss_level
Definition: EdgeCAT2Builder.h:43
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
This is a specialization of the processor class dedicated to CFG processing.
Definition: CFGProcessor.h:35
EdgeCAT2Builder(void)
Definition: cache_EdgeCAT2Builder.cpp:61
void processLBlockSet(otawa::CFG *, LBlockSet *, const hard::Cache *)
Definition: cache_EdgeCAT2Builder.cpp:71
This class represents the list of l-blocks of a task for a chosen cache row.
Definition: LBlockSet.h:38
Identifier< Vector< category_t > * > CATEGORY_EDGE
This a list of properties.
Definition: PropList.h:63
virtual void setup(WorkSpace *)
This method is called before an anlysis to let the processor do some initialization.
Definition: cache_EdgeCAT2Builder.cpp:158
enum otawa::fmlevel fmlevel_t
A feature is a set of facilities, usually provided using properties, available on a framework...
Definition: Feature.h:46