OTAWA  2.0
Framework to perform machine analysis and compute WCET.
otawa::SESERegion Class Reference

#include <otawa/cfg/PSTBuilder.h>

+ Inheritance diagram for otawa::SESERegion:

Classes

class  BBIterator
 

Public Member Functions

void addBB (Block *_bb)
 
int countBB (void)
 
const Vector< Block * > & getBBs ()
 
CFGgetCFG ()
 
CEClassgetClass ()
 
EdgegetEntry (void)
 
EdgegetExit (void)
 
PSTreegetParent (void)
 
bool isFirst (void)
 
bool isLast (void)
 
bool isRoot (void)
 
void print ()
 
 SESERegion (CFG *_cfg)
 
 SESERegion (CFG *_cfg, Edge *_entry, PSTree *_parent, bool _first, CEClass *_class)
 
void setExit (Edge *_exit)
 
void setLast (void)
 
- Public Member Functions inherited from otawa::PropList
void addProp (Property *prop)
 Add property to the list without checking of duplication. More...
 
void addProps (const PropList &props)
 Add all properties from the given property list, in a reverse order. More...
 
GetterRange all (const AbstractIdentifier &id) const
 
void clearProps (void)
 Remove all properties from the list. More...
 
PropertyextractProp (const AbstractIdentifier &id)
 
PropertyextractProp (const AbstractIdentifier *id)
 Remove a property matching the given identifier and return it. More...
 
PropertygetProp (const AbstractIdentifier *id) const
 Find a property by its identifier. More...
 
bool hasProp (const AbstractIdentifier &id) const
 
PropListoperator= (const PropList &props)
 
void print (elm::io::Output &out) const
 Display the current property list. More...
 
PropRange properties (void) const
 
 PropList (const PropList &props)
 Initialize a property list from a sequence of (identifier, value) pairs passed as variable arguments. More...
 
 PropList (void)
 
void removeAllProp (const AbstractIdentifier *id)
 Remove all the properties matching the given identifier. More...
 
void removeProp (const AbstractIdentifier &id)
 
void removeProp (const AbstractIdentifier *id)
 Remove a property matching the given identifier. More...
 
void setProp (const AbstractIdentifier *id)
 
void setProp (Property *prop)
 Set the property in the property list removing any double. More...
 
void takeProps (PropList &props)
 Take properties from props to the current property list. More...
 
 ~PropList (void)
 

Private Attributes

Vector< Block * > bbs
 
CFGcfg
 
CEClassclasse
 
Edgeentry
 
Edgeexit
 
bool first
 
bool last
 
PSTreeparent
 

Additional Inherited Members

- Static Public Attributes inherited from otawa::PropList
static rtti::Type__type = prop_list_class
 
static const PropList EMPTY
 This is an empty proplist for convenience. More...
 

Constructor & Destructor Documentation

◆ SESERegion() [1/2]

otawa::SESERegion::SESERegion ( CFG _cfg,
Edge _entry,
PSTree _parent,
bool  _first,
CEClass _class 
)
inline

◆ SESERegion() [2/2]

Member Function Documentation

◆ addBB()

void otawa::SESERegion::addBB ( Block _bb)
inline

◆ countBB()

int otawa::SESERegion::countBB ( void  )
inline

◆ getBBs()

const Vector<Block*>& otawa::SESERegion::getBBs ( )
inline

References bbs.

◆ getCFG()

CFG* otawa::SESERegion::getCFG ( )
inline

References cfg.

◆ getClass()

CEClass* otawa::SESERegion::getClass ( )
inline

References classe.

◆ getEntry()

Edge* otawa::SESERegion::getEntry ( void  )
inline

References entry.

Referenced by print().

◆ getExit()

Edge* otawa::SESERegion::getExit ( void  )
inline

References exit.

Referenced by print().

◆ getParent()

PSTree* otawa::SESERegion::getParent ( void  )
inline

References parent.

◆ isFirst()

bool otawa::SESERegion::isFirst ( void  )
inline

References first.

◆ isLast()

bool otawa::SESERegion::isLast ( void  )
inline

References last.

◆ isRoot()

bool otawa::SESERegion::isRoot ( void  )
inline

References parent.

◆ print()

void otawa::SESERegion::print ( )
inline

◆ setExit()

void otawa::SESERegion::setExit ( Edge _exit)
inline

References exit.

◆ setLast()

void otawa::SESERegion::setLast ( void  )
inline

References last.

Member Data Documentation

◆ bbs

Vector<Block *> otawa::SESERegion::bbs
private

Referenced by addBB(), countBB(), and getBBs().

◆ cfg

CFG* otawa::SESERegion::cfg
private

Referenced by getCFG(), and SESERegion().

◆ classe

CEClass* otawa::SESERegion::classe
private

Referenced by getClass().

◆ entry

Edge* otawa::SESERegion::entry
private

Referenced by getEntry(), and SESERegion().

◆ exit

Edge* otawa::SESERegion::exit
private

Referenced by getExit(), SESERegion(), and setExit().

◆ first

bool otawa::SESERegion::first
private

Referenced by isFirst().

◆ last

bool otawa::SESERegion::last
private

Referenced by isLast(), and setLast().

◆ parent

PSTree* otawa::SESERegion::parent
private

Referenced by getParent(), and isRoot().


The documentation for this class was generated from the following file: