22 #ifndef OTAWA_CFGOUTPUT_H_
23 #define OTAWA_CFGOUTPUT_H_
34 class CFGOutputDecorator;
friend class CDFGOutputDeclarator
Definition: CFGOutput.h:38
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))
static Identifier< display::kind_t > KIND
Configuration identifier of CFGOutput for the kind of generated file.
Definition: CFGOutput.h:44
virtual void genEdgeInfo(CFG *cfg, otawa::Edge *edge, Output &out)
Generate the information part of an edge (called after the label).
Definition: display_CFGOutput.cpp:261
Abstract class to represent the registered processors.
Definition: Registration.h:80
Class to declare simple a processor.
Definition: Registration.h:213
virtual void processCFG(WorkSpace *fw, CFG *cfg)
Definition: display_CFGOutput.cpp:134
kind_t
Definition: Driver.h:33
virtual void configure(const PropList &props)
Configure the current processor.
Definition: display_CFGOutput.cpp:125
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
Control Flow Graph representation.
Definition: CFG.h:42
CFGOutput(AbstractRegistration &_reg=reg)
Build the processor.
Definition: display_CFGOutput.cpp:105
AbstractRegistration * _reg
Definition: Processor.h:184
static Identifier< string > PATH
Configuration identifier of CFGOutput for the directory path where to create the output file...
Definition: CFGOutput.h:45
virtual void genBBLabel(CFG *cfg, BasicBlock *bb, Output &out)
Called to generate the label of a basic block.
Definition: display_CFGOutput.cpp:182
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
This class represents edges in the CFG representation.
Definition: Edge.h:33
virtual void genBBInfo(CFG *cfg, BasicBlock *bb, Output &out)
Generate the information part of a basic block (called after the list of instructions).
Definition: display_CFGOutput.cpp:245
display::kind_t kind
Definition: CFGOutput.h:58
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
virtual void genEdgeLabel(CFG *cfg, otawa::Edge *edge, Output &out)
Called to generate the label of a basic block.
Definition: display_CFGOutput.cpp:225
Definition: CFGOutput.h:37
This a list of properties.
Definition: PropList.h:63
string path
Definition: CFGOutput.h:59
static p::declare reg
Definition: CFGOutput.h:40
elm::io::Output out
Provide a stream to perform output for the user.
Definition: Monitor.h:56
virtual void genGraphLabel(CFG *cfg, Output &out)
Called to generate the label of the graph.
Definition: display_CFGOutput.cpp:168