22 #ifndef OTAWA_PROC_CONTEXTUALPROCESSOR_H_
23 #define OTAWA_PROC_CONTEXTUALPROCESSOR_H_
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
dtd::Element edge(dtd::make("edge", _EDGE).attr(source).attr(target).attr(called))
elm::String name(void) const
Definition: Processor.h:91
virtual void leavingCall(WorkSpace *ws, CFG *cfg, BasicBlock *to)
This function is called each time a function return is traversed.
Definition: proc_ContextualProcessor.cpp:226
Abstract class to represent the registered processors.
Definition: Registration.h:80
virtual void processCFG(WorkSpace *fw, CFG *cfg)
Definition: proc_ContextualProcessor.cpp:97
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
AbstractRegistration * _reg
Definition: Processor.h:184
A contextual processor allows to process basic block in a call-aware way even with a virtual CFG (whe...
Definition: ContextualProcessor.h:32
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
static MetaRegistration reg
Definition: ContextualProcessor.h:34
virtual void enteringCall(WorkSpace *ws, CFG *cfg, BasicBlock *caller, BasicBlock *callee)
This function is called each time a function call is traversed.
Definition: proc_ContextualProcessor.cpp:211
elm::Version version(void) const
Definition: Processor.h:92
virtual void avoidingRecursive(WorkSpace *ws, CFG *cfg, BasicBlock *caller, BasicBlock *callee)
This function is called each time a recursive function call is found.
Definition: proc_ContextualProcessor.cpp:239
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
ContextualProcessor(cstring name, const Version &version)
Build a contextual processor.
Definition: proc_ContextualProcessor.cpp:82
virtual void processBB(WorkSpace *ws, CFG *cfg, BasicBlock *bb)=0
This method is called each time a basic block is found.