This class stores all the function known for the current framework. More...

#include <otawa/ast/ASTInfo.h>

Inheritance diagram for otawa::ast::ASTInfo:

Classes
class	Iterator

Public Member Functions
	~ASTInfo (void)

FunAST *	getFunction (Inst *inst)
	Find the function at the given instruction. More...

void	add (FunAST *fun)
	Add a function to the AST information. More...

Option< FunAST * >	get (const string &name)

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 Member Functions
static ASTInfo *	getInfo (WorkSpace *ws)
	Find or create the AST information attached to the given process. More...

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

Private Member Functions
friend	int::heptane_parse (void)

	ASTInfo (WorkSpace *ws)
	Build an new AST info linked to the given framework. More...

Private Attributes
elm::genstruct::Vector< FunAST * >	funs

elm::genstruct::HashTable < String, FunAST * >	_map

Friends
class	CallAST

class	FunAST

class	GenericProperty< ASTInfo * >

Detailed Description

This class stores all the function known for the current framework.

It provides list access name mapped access.

Constructor & Destructor Documentation

otawa::ast::ASTInfo::~ASTInfo ( void )

References funs.

otawa::ast::ASTInfo::ASTInfo ( WorkSpace * ws )

private

Build an new AST info linked to the given framework.

Parameters

ws	Workspace to link to.

References otawa::PropList::addProp(), and otawa::ast::INFO.

Referenced by getInfo().

Member Function Documentation

void otawa::ast::ASTInfo::add ( FunAST * fun )

Add a function to the AST information.

Parameters

fun	Function to add.

References _map, funs, otawa::ast::FunAST::name(), and name.

Referenced by otawa::ast::FunAST::FunAST(), and yyparse().

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

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

Option<FunAST *> otawa::ast::ASTInfo::get ( const string & name )

inline

References _map, and name.

Referenced by otawa::ets::ACSComputation::applyProcess(), otawa::ets::CacheHitComputation::computation(), otawa::ets::CacheMissComputation::computation(), otawa::ets::CacheFirstMissComputation::computation(), otawa::ets::WCETComputation::computation(), otawa::ets::ACSComputation::initialization(), otawa::ets::FlowFactLoader::processAST(), and otawa::ets::TrivialAstBlockTime::processAST().

FunAST * otawa::ast::ASTInfo::getFunction ( Inst * inst )

Find the function at the given instruction.

If no functions exsists, return a new created function.

Parameters

inst	First instruction of the function.

Returns: Found or created AST function.

References otawa::ast::FUN, and FunAST.

Referenced by otawa::ast::CallAST::CallAST(), otawa::ast::ASTLoader::makeBlock(), and yyparse().

ASTInfo * otawa::ast::ASTInfo::getInfo ( WorkSpace * ws )

static

Find or create the AST information attached to the given process.

Parameters

ws	Workspace to look in.

Returns: AST information of the process.

References ASTInfo(), and otawa::ast::INFO.

Referenced by otawa::ast::ASTLoader::makeBlock(), and otawa::ast::FunProcessor::processWorkSpace().

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

otawa::ast::ASTInfo::int::heptane_parse ( void )

private

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

Friends And Related Function Documentation

friend class CallAST

friend

friend class FunAST

friend

Referenced by getFunction().

friend class GenericProperty< ASTInfo * >

friend

Member Data Documentation

elm::genstruct::HashTable<String, FunAST *> otawa::ast::ASTInfo::_map

private

Referenced by add(), and get().

const PropList otawa::PropList::EMPTY

staticinherited

This is an empty proplist for convenience.

elm::genstruct::Vector<FunAST *> otawa::ast::ASTInfo::funs

private

Referenced by add(), and ~ASTInfo().

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

include/otawa/ast/ASTInfo.h
src/ast/ASTInfo.cpp

Classes

Public Member Functions

Static Public Member Functions

Static Public Attributes

Private Member Functions

Private Attributes

Friends

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation