23 #ifndef OTAWA_CFG_CFGCHECKER_H_
24 #define OTAWA_CFG_CFGCHECKER_H_
This processor is dedicated to the basic block process thru proccessBB() method.
Definition: BBProcessor.h:72
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
CFGChecker(void)
Definition: cfg_CFGChecker.cpp:67
static Identifier< bool > NO_EXCEPTION
In configuration of otawa::CFGChecker .
Definition: CFGChecker.h:33
virtual void configure(const PropList &props)
Configure the current processor.
Definition: cfg_CFGChecker.cpp:73
Definition: Registration.h:138
bool no_exn
Definition: CFGChecker.h:45
static Registration< CFGChecker > reg
Definition: CFGChecker.h:36
bool failed
Definition: CFGChecker.h:45
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 setup(WorkSpace *ws)
This method is called before an anlysis to let the processor do some initialization.
Definition: cfg_CFGChecker.cpp:81
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
The analysis does not produce anything but simply check some properties on the involved CFG: ...
Definition: CFGChecker.h:31
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
This a list of properties.
Definition: PropList.h:63
virtual void processCFG(WorkSpace *ws, CFG *cfg)
See CFGProcessor::processCFG()
Definition: cfg_CFGChecker.cpp:135
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_CFGChecker.cpp:147
virtual void processBB(WorkSpace *ws, CFG *cfg, BasicBlock *bb)
Perform the work of the given basic block.
Definition: cfg_CFGChecker.cpp:88