22 #ifndef OTAWA_CFG_CFG_COLLECTOR_H
23 #define OTAWA_CFG_CFG_COLLECTOR_H
25 #include <elm/genstruct/Vector.h>
56 #endif // OTAWA_CFG_CFG_COLLECTOR_H
void processWorkSpace(WorkSpace *fw)
Process the given framework.
Definition: cfg_CFGCollector.cpp:123
Class to declare simple a processor.
Definition: Registration.h:213
bool rec
Definition: CFGCollector.h:49
WorkSpace * ws
Definition: Processor.h:185
virtual void configure(const PropList &props)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: cfg_CFGCollector.cpp:235
static Identifier< CString > ADDED_FUNCTION
This configuration property allows to add unlinked functions to the used CFG collection.
Definition: CFGCollector.h:41
CFGCollector(p::declare &r=reg)
Definition: cfg_CFGCollector.cpp:210
Control Flow Graph representation.
Definition: CFG.h:42
elm::genstruct::Vector< CString > added_funs
Definition: CFGCollector.h:51
static Identifier< CFG * > ADDED_CFG
This configuration property allows to add unlinked CFG to the used CFG collection.
Definition: CFGCollector.h:40
The processor class is implemented by all code processor.
Definition: Processor.h:49
string name
Definition: CFGCollector.h:46
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
The representation of an address in OTAWA.
Definition: base.h:54
CFG * entry
Definition: CFGCollector.h:47
virtual void cleanup(WorkSpace *ws)
This method is called after the end of the processor analysis to let it do some clean up...
Definition: cfg_CFGCollector.cpp:225
This processor is used to collect all CFG implied in a computation.
Definition: CFGCollector.h:32
This class represents identifier with a typed associated value.
Definition: Identifier.h:51
static p::declare reg
CFGCollector registration.
Definition: CFGCollector.h:34
elm::genstruct::Vector< CFG * > added_cfgs
Definition: CFGCollector.h:50
This a list of properties.
Definition: PropList.h:63
Address addr
Definition: CFGCollector.h:48