23 #ifndef OTAWA_CFG_PFGBUILDER_H_
24 #define OTAWA_CFG_PFGBUILDER_H_
32 namespace pfg {
class BB;
class PFG; }
struct otawa::sem::inst inst
Identifier< pfg::PFG * > PFG
PFG of the program.
void finalizeBB(pfg::BB *bb)
Finalize a basic block.
Definition: cfg_PFGBuilder.cpp:154
void addFile(WorkSpace *ws, File *file)
Add the given code file to the PFG.
Definition: cfg_PFGBuilder.cpp:84
WorkSpace * ws
Definition: Processor.h:185
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
pfg::PFG * pfg
Definition: PFGBuilder.h:46
This class represents a file involved in the building of a process.
Definition: File.h:43
Definition: PFGBuilder.h:35
The processor class is implemented by all code processor.
Definition: Processor.h:49
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
PFGBuilder(void)
Constructor of PFG builder.
Definition: cfg_PFGBuilder.cpp:44
A basic block in a otawa::pfg::PFG .
Definition: PFG.h:40
A PFG (Program Flow Graph) is built from the binary form of the program to represent all possible pat...
Definition: PFG.h:105
Definition: ipet_parser.cpp:125
This class represents assembly instruction of a piece of code.
Definition: Inst.h:62
void addFunction(WorkSpace *ws, Inst *inst)
Record basic block of a function.
Definition: cfg_PFGBuilder.cpp:101
virtual void processWorkSpace(WorkSpace *ws)
Process the given framework.
Definition: cfg_PFGBuilder.cpp:52