21 #ifndef OTAWA_CFGIO_OUTPUT_H_
22 #define OTAWA_CFGIO_OUTPUT_H_
27 #include <elm/genstruct/Vector.h>
29 namespace otawa {
namespace cfgio {
38 virtual void processWorkSpace(
WorkSpace *ws);
This processor is dedicated to the basic block process thru proccessBB() method.
Definition: BBProcessor.h:72
Class to declare simple a processor.
Definition: Registration.h:213
xom::Element * root
Definition: Output.h:45
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
Control Flow Graph representation.
Definition: CFG.h:42
genstruct::Vector< Edge * > edges
Definition: Output.h:47
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
dtd::IDAttr id("id", dtd::STRICT|dtd::REQUIRED)
static p::declare reg
Definition: Output.h:35
int last_bb
Definition: Output.h:46
dtd::Element cfg(dtd::make("cfg", _CFG).attr(id).content((entry,*bb, exit,*edge)))
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
This a list of properties.
Definition: PropList.h:63
Output the current CFG collection in XML matching the DTA ${OTAWA_HOME}/share/Otawa/dtd/cfg.dtd .
Definition: Output.h:33