This a list of properties. More...

#include <otawa/prop/PropList.h>

Inheritance diagram for otawa::PropList:

Classes
class	Getter
	This class is used for accessing all properties of property list with a given identifier. More...

class	Iter
	This iterator is used for reading all properties of a property list. More...

Public Member Functions
	PropList (const PropList &props)
	Initialize a property list from a sequence of (identifier, value) pairs passed as variable arguments. More...

	PropList (void)
	Build an empty property list. More...

	~PropList (void)

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	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	setProp (const AbstractIdentifier *id)

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...

PropList &	operator= (const PropList &props)

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

Private Attributes
Property *	head

Detailed Description

This a list of properties.

This may be inherited for binding properties to other classes or used as-is for passing heterogeneous properties to a function call.

Constructor & Destructor Documentation

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

inline

Initialize a property list from a sequence of (identifier, value) pairs passed as variable arguments.

This list must be ended by an otawa::END identifier.

Parameters

id	First identifier.
args	Variable arguments.

Build a property list as a copy of another one.

Parameters

props Property list to copy.

References addProps().

otawa::PropList::PropList ( void )

inline

Build an empty property list.

otawa::PropList::~PropList ( void )

inline

References clearProps().

Member Function Documentation

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

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 )

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

Parameters

props Property list to clone.

References copy(), 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(), operator=(), otawa::Process::Process(), PropList(), otawa::display::GraphVizItem::setProps(), otawa::VirtualBasicBlock::VirtualBasicBlock(), and otawa::VirtualCFG::VirtualCFG().

void otawa::PropList::clearProps ( void )

Remove all properties from the list.

References otawa::Property::next().

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

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

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 )

inline

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 extractProp().

Referenced by extractProp().

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

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(), 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

inline

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 getProp().

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

PropList& otawa::PropList::operator= ( const PropList & props )

inline

References addProps(), and clearProps().

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

Display the current property list.

Parameters

out	Output to use.

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

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

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 )

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 )

inline

References removeProp().

Referenced by removeProp().

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

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 )

inline

References setProp().

Referenced by setProp().

Member Data Documentation

const PropList otawa::PropList::EMPTY

static

This is an empty proplist for convenience.

Property* otawa::PropList::head

mutableprivate

Referenced by addProps().

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

include/otawa/prop/PropList.h
src/prog/prop_PropList.cpp

Classes

Public Member Functions

Static Public Attributes

Private Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation