22 #ifndef OTAWA_PROC_CFGPROCESSOR_H
23 #define OTAWA_PROC_CFGPROCESSOR_H
26 #include <elm/genstruct/SLList.h>
72 #endif // OTAWA_PROC_CFGPROCESSOR_H
CFGProcessor(cstring name, const Version &version, AbstractRegistration ®)
Definition: CFGProcessor.h:40
void doCleanUp(void)
Trigger associated with CFG.
Definition: proc_CFGProcessor.cpp:117
virtual void processCFG(WorkSpace *fw, CFG *cfg)=0
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
elm::String name(void) const
Definition: Processor.h:91
Abstract class to represent the registered processors.
Definition: Registration.h:80
WorkSpace * ws
Definition: Processor.h:185
Control Flow Graph representation.
Definition: CFG.h:42
elm::io::IntFormat address(Address addr)
Build a format to display addresses.
Definition: base.cpp:213
Identifier< CFG * > ENTRY_CFG
This property may be used to pass the entry CFG to a CFG processor or is used by the CFG processor to...
Definition: CFGProcessor.h:64
The processor class is implemented by all code processor.
Definition: Processor.h:49
virtual void processWorkSpace(WorkSpace *fw)
Process the given framework.
Definition: proc_CFGProcessor.cpp:80
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
This is a specialization of the processor class dedicated to CFG processing.
Definition: CFGProcessor.h:35
CFG * _cfg
Definition: CFGProcessor.h:60
virtual void cleanupCFG(WorkSpace *ws, CFG *cfg)
This function may be overridden by a subclass to provide custom cleanup for a CFG.
Definition: proc_CFGProcessor.cpp:109
string str(const Address &address)
Transform an address to a smart string, that is, if a source line is available, transform it to "sour...
Definition: proc_CFGProcessor.cpp:165
elm::Version version(void) const
Definition: Processor.h:92
CFGProcessor(AbstractRegistration ®)
Definition: CFGProcessor.h:39
Identifier< int > PROCESSED_CFG
This property is used to store statistics about the count of processed CFG.
This class represents identifier with a typed associated value.
Definition: Identifier.h:51
void init(const PropList &props)
Initialize the processor.
Definition: proc_CFGProcessor.cpp:143
Identifier< bool > RECURSIVE
Activate the recucursive feature of BBProcessors : each time a basic block contains a function call...
This a list of properties.
Definition: PropList.h:63
CFGProcessor(void)
Build a new CFG processor.
Definition: proc_CFGProcessor.cpp:64
virtual void configure(const PropList &props)
Configure the current processor.
Definition: proc_CFGProcessor.cpp:151
static MetaRegistration reg
Definition: CFGProcessor.h:43