22 #ifndef OTAWA_BBRATIODISPLAYER_H_
23 #define OTAWA_BBRATIODISPLAYER_H_
25 #include <elm/system/Path.h>
28 namespace elm {
namespace io {
class OutStream; } }
32 namespace ilp {
class System; }
virtual void cleanup(WorkSpace *ws)
This method is called after the end of the processor analysis to let it do some clean up...
Definition: BBRatioDisplayer.cpp:178
This processor is dedicated to the basic block process thru proccessBB() method.
Definition: BBProcessor.h:72
static p::declare reg
Definition: BBRatioDisplayer.h:37
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
bool to_file
Definition: BBRatioDisplayer.h:54
elm::system::Path path
Definition: BBRatioDisplayer.h:53
ilp::System * system
Definition: BBRatioDisplayer.h:51
Abstract class to represent the registered processors.
Definition: Registration.h:80
Class to declare simple a processor.
Definition: Registration.h:213
virtual void configure(const PropList &props)
Configure the current processor.
Definition: BBRatioDisplayer.cpp:76
int wcet
Definition: BBRatioDisplayer.h:50
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
elm::io::OutStream * stream
Definition: BBRatioDisplayer.h:55
virtual void setup(WorkSpace *ws)
This method is called before an anlysis to let the processor do some initialization.
Definition: BBRatioDisplayer.cpp:85
This class output statistics for each basic block in the WCET as a table in a textual form on the sta...
Definition: BBRatioDisplayer.h:35
bool line
Definition: BBRatioDisplayer.h:56
elm::io::Output out
Definition: BBRatioDisplayer.h:52
static Identifier< bool > TO_FILE
Configure the BBRatiodisplayer to perform its output to a file.
Definition: BBRatioDisplayer.h:39
virtual void processCFG(WorkSpace *fw, CFG *cfg)
See CFGProcessor::processCFG()
Definition: BBRatioDisplayer.cpp:120
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
static otawa::Identifier< int > SUM
Definition: BBRatioDisplayer.h:49
BBRatioDisplayer(AbstractRegistration &r=reg)
Build the processor.
Definition: BBRatioDisplayer.cpp:69
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
This a list of properties.
Definition: PropList.h:63
An ILP system is a colletion of ILP constraint that may maximize or minimize some object function...
Definition: System.h:42
static Identifier< elm::system::Path > PATH
Configure the BBRatioDisplayer to perform its output to the named file.
Definition: BBRatioDisplayer.h:40
virtual void processBB(WorkSpace *fw, CFG *cfg, BasicBlock *bb)
Perform the work of the given basic block.
Definition: BBRatioDisplayer.cpp:132