#include <otawa/cfg/PSTBuilder.h>

Inheritance diagram for otawa::SESERegion:

Classes
class	BBIterator

Public Member Functions
	SESERegion (CFG _cfg, Edge _entry, PSTree _parent, bool _first, CEClass _class)

	SESERegion (CFG *_cfg)

PSTree *	getParent ()

int	countBB ()

void	addBB (BasicBlock *_bb)

void	setExit (Edge *_exit)

void	print ()

Edge *	getEntry ()

Edge *	getExit ()

void	setLast ()

bool	isFirst ()

CFG *	getCFG ()

const Vector< BasicBlock * > &	getBBs ()

bool	isLast ()

bool	isRoot ()

CEClass *	getClass ()

Property *	getProp (const AbstractIdentifier *id) const
	Find a property by its identifier. More...

void	setProp (Property *prop)
	Set the property in the property list removing any double. More...

void	setProp (const AbstractIdentifier *id)

void	removeProp (const AbstractIdentifier *id)
	Remove a property matching the given identifier. More...

void	removeProp (const AbstractIdentifier &id)

Property *	extractProp (const AbstractIdentifier *id)
	Remove a property matching the given identifier and return it. More...

Property *	extractProp (const AbstractIdentifier &id)
	Remove a property matching the given identifier and return it. More...

void	addProp (Property *prop)
	Add property to the list without checking of duplication. More...

void	removeAllProp (const AbstractIdentifier *id)
	Remove all the properties matching the given identifier. More...

bool	hasProp (const AbstractIdentifier &id) const
	Test if the property list contains a property matching the given identifier. More...

void	clearProps (void)
	Remove all properties from the list. More...

void	addProps (const PropList &props)
	Add all properties from the given property list, in a reverse order. More...

void	print (elm::io::Output &out) const
	Display the current property list. More...

Static Public Attributes
static const PropList	EMPTY
	This is an empty proplist for convenience. More...

Private Attributes
Edge *	entry

Edge *	exit

CFG *	cfg

PSTree *	parent

Vector< BasicBlock * >	bbs

bool	first

bool	last

CEClass *	classe

Constructor & Destructor Documentation

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

inline

otawa::SESERegion::SESERegion ( CFG * _cfg )

inline

References cfg, otawa::CFG::entry(), entry, otawa::CFG::exit(), and exit.

Member Function Documentation

void otawa::SESERegion::addBB ( BasicBlock * _bb )

inline

References bbs.

void otawa::PropList::addProp ( Property * prop )

inherited

Add property to the list without checking of duplication.

Parameters

prop	Property to add.

References otawa::Property::_next.

Referenced by otawa::Identifier< T >::add(), otawa::ast::ASTInfo::ASTInfo(), otawa::Identifier< otawa::arm::Info * >::copy(), otawa::AbstractIdentifier::initProps(), otawa::ContextualProperty::make(), otawa::script::Script::makeConfig(), otawa::ccg::Builder::processLBlockSet(), otawa::ipet::ILPSystemGetter::processWorkSpace(), otawa::Identifier< T >::ref(), otawa::ContextualProperty::ref(), and otawa::ContextualProperty::refProps().

void otawa::PropList::addProps ( const PropList & props )

inherited

Add all properties from the given property list, in a reverse order.

Parameters

props Property list to clone.

References copy(), otawa::PropList::head, and otawa::Property::next().

Referenced by otawa::display::CFGDrawer::CFGDrawer(), otawa::display::GraphVizGraph::GraphVizGraph(), otawa::ParamFeature::instantiate(), otawa::Manager::loadXML(), otawa::display::GraphVizGraph::newEdge(), otawa::display::GraphVizGraph::newNode(), otawa::PropList::operator=(), otawa::Process::Process(), otawa::PropList::PropList(), otawa::display::GraphVizItem::setProps(), otawa::VirtualBasicBlock::VirtualBasicBlock(), and otawa::VirtualCFG::VirtualCFG().

void otawa::PropList::clearProps ( void )

inherited

Remove all properties from the list.

References otawa::Property::next().

Referenced by otawa::PSTBuilder::getVCFG(), otawa::PropList::operator=(), otawa::display::GraphVizItem::setProps(), otawa::PropList::~PropList(), and otawa::WorkSpace::~WorkSpace().

int otawa::SESERegion::countBB ( void )

inline

References bbs.

Property * otawa::PropList::extractProp ( const AbstractIdentifier * id )

inherited

Remove a property matching the given identifier and return it.

Caller is responsible of the management of the obtained property.

Parameters

id	Identifier of the property to extract.

References otawa::Property::_next, and otawa::Property::next().

Referenced by otawa::script::Script::makeConfig().

Property * otawa::PropList::extractProp ( const AbstractIdentifier & id )

inlineinherited

Remove a property matching the given identifier and return it.

Caller is responsible of the management of the obtained property.

Parameters

id	Identifier of the property to extract.

References otawa::PropList::extractProp().

Referenced by otawa::PropList::extractProp().

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

inline

References bbs.

Referenced by otawa::PSTBuilder::getVCFG().

CFG* otawa::SESERegion::getCFG ( )

inline

References cfg.

Referenced by otawa::PSTBuilder::getVCFG().

CEClass* otawa::SESERegion::getClass ( )

inline

References classe.

Edge* otawa::SESERegion::getEntry ( )

inline

References entry.

Referenced by otawa::PSTBuilder::getVCFG(), and print().

Edge* otawa::SESERegion::getExit ( )

inline

References exit.

Referenced by otawa::PSTBuilder::getVCFG(), and print().

PSTree* otawa::SESERegion::getParent ( )

inline

References parent.

Property * otawa::PropList::getProp ( const AbstractIdentifier * id ) const

inherited

Find a property by its identifier.

Parameters

id	Identifier of the property to find.

Returns: Found property or null.

References otawa::Property::_next, and otawa::Property::next().

Referenced by otawa::Identifier< otawa::arm::Info * >::exists(), otawa::ContextualProperty::exists(), otawa::ContextualProperty::find(), otawa::Identifier< T >::get(), otawa::PropList::hasProp(), otawa::ContextualProperty::make(), otawa::ParamFeature::matches(), otawa::ImmutableRef< T, I >::print(), otawa::ContextualProperty::print(), otawa::Identifier< T >::ref(), otawa::ContextualProperty::ref(), otawa::ContextualProperty::refProps(), otawa::Identifier< T >::set(), otawa::Identifier< T >::use(), and otawa::Identifier< T >::value().

bool otawa::PropList::hasProp ( const AbstractIdentifier & id ) const

inlineinherited

Test if the property list contains a property matching the given identifier.

Parameters

id	Property identifier to look for.

Returns: True if the list contains the matching property, false else.

References otawa::PropList::getProp().

Referenced by otawa::ipet::BasicConstraintsBuilder::addEntryConstraint(), otawa::Monitor::configure(), otawa::ImmutableRef< T, I >::exists(), and otawa::Manager::setVerbosity().

bool otawa::SESERegion::isFirst ( )

inline

References first.

bool otawa::SESERegion::isLast ( )

inline

References last.

bool otawa::SESERegion::isRoot ( )

inline

References parent.

void otawa::PropList::print ( elm::io::Output & out ) const

inherited

Display the current property list.

Parameters

out	Output to use.

Referenced by otawa::operator<<(), and otawa::ContextualProperty::print().

void otawa::SESERegion::print ( )

inline

References cout, getEntry(), getExit(), otawa::BasicBlock::number(), otawa::Edge::source(), and otawa::Edge::target().

void otawa::PropList::removeAllProp ( const AbstractIdentifier * id )

inherited

Remove all the properties matching the given identifier.

Parameters

id	Identifier of properties to remove.

References otawa::Property::_next, and otawa::Property::next().

Referenced by otawa::LoopUnroller::unroll().

void otawa::PropList::removeProp ( const AbstractIdentifier * id )

inherited

Remove a property matching the given identifier.

Parameters

id	Identifier of the property to remove.

References otawa::Property::_next, and otawa::Property::next().

Referenced by otawa::PSTBuilder::buildTree(), otawa::BBRemover< T >::clean(), otawa::display::CFGOutput::processCFG(), otawa::SubCFGBuilder::processWorkSpace(), otawa::Ref< T, I >::remove(), and otawa::ContextualPath::Ref< T >::remove().

void otawa::PropList::removeProp ( const AbstractIdentifier & id )

inlineinherited

References otawa::PropList::removeProp().

Referenced by otawa::PropList::removeProp().

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

inline

References exit.

void otawa::SESERegion::setLast ( )

inline

References last.

void otawa::PropList::setProp ( Property * prop )

inherited

Set the property in the property list removing any double.

Parameters

prop	Property to set.

References otawa::Property::_next, otawa::Property::id(), and otawa::Property::next().

void otawa::PropList::setProp ( const AbstractIdentifier * id )

inlineinherited

References otawa::PropList::setProp().

Referenced by otawa::PropList::setProp().

Member Data Documentation

Vector<BasicBlock*> otawa::SESERegion::bbs

private

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

CFG* otawa::SESERegion::cfg

private

Referenced by getCFG(), and SESERegion().

CEClass* otawa::SESERegion::classe

private

Referenced by getClass().

const PropList otawa::PropList::EMPTY

staticinherited

This is an empty proplist for convenience.

Edge* otawa::SESERegion::entry

private

Referenced by getEntry(), and SESERegion().

Edge* otawa::SESERegion::exit

private

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

bool otawa::SESERegion::first

private

Referenced by isFirst().

bool otawa::SESERegion::last

private

Referenced by isLast(), and setLast().

PSTree* otawa::SESERegion::parent

private

Referenced by getParent(), and isRoot().

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

include/otawa/cfg/PSTBuilder.h

Classes

Public Member Functions

Static Public Attributes

Private Attributes

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation