21 #ifndef OTAWA_PROC_EDGEPROCESSOR_H_
22 #define OTAWA_PROC_EDGEPROCESSOR_H_
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
EdgeProcessor(void)
Definition: proc_EdgeProcessor.cpp:36
dtd::Element edge(dtd::make("edge", _EDGE).attr(source).attr(target).attr(called))
elm::String name(void) const
Definition: Processor.h:91
Abstract class to represent the registered processors.
Definition: Registration.h:80
virtual void cleanupEdge(WorkSpace *ws, CFG *cfg, Edge *edge)
When the function doCleanup() is called, this function is called for each edge of the task...
Definition: proc_EdgeProcessor.cpp:100
WorkSpace * ws
Definition: Processor.h:185
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
Control Flow Graph representation.
Definition: CFG.h:42
virtual void cleanupCFG(WorkSpace *ws, CFG *cfg)
This function may be overridden by a subclass to provide custom cleanup for a CFG.
Definition: proc_EdgeProcessor.cpp:68
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
This is a specialization of the processor class dedicated to CFG processing.
Definition: CFGProcessor.h:35
elm::Version version(void) const
Definition: Processor.h:92
This class represents edges in the CFG representation.
Definition: Edge.h:33
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
Abstract processor providing simple traversal of edges of the CFG.
Definition: EdgeProcessor.h:29
virtual void processEdge(WorkSpace *ws, CFG *cfg, Edge *edge)=0
This function is called once for each edge and must be overridden by the subclass.
virtual void processCFG(WorkSpace *ws, CFG *cfg)
Definition: proc_EdgeProcessor.cpp:56
static MetaRegistration reg
Definition: CFGProcessor.h:43
virtual void cleanupBB(WorkSpace *ws, CFG *cfg, BasicBlock *bb)
When the function doCleanup() is called, this function is called for each basic block of the task...
Definition: proc_EdgeProcessor.cpp:84