names.hh File Reference

Interface for names management. More...

#include "tlib.hh"
#include "propagate.hh"
#include <string>

Include dependency graph for names.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
bool	getDefNameProperty (Tree t, Tree &id)
	Indicates the identifier (if any) the expression was a definition of.
void	setSigListNickName (Tree lsig, const string &nickname)
	set the nickname property of a list of signals.
void	setSigNickname (Tree t, const string &id)
	Set the nickname property of a signal.
bool	getSigNickname (Tree t, Tree &id)
	Get the nickname property of a signal.
bool	searchIdDef (Tree id, Tree &def, Tree lenv)
	Search the environment for the definition of a symbol ID and return it.
Tree	pushValueDef (Tree id, Tree def, Tree lenv)
	Push a new layer and add a single definition.
Tree	simplifyPattern (Tree pattern)
	Simplify a block-diagram pattern by computing its numerical sub-expressions.

---

Detailed Description

Interface for names management.

Definition in file names.hh.

---

Function Documentation

bool getDefNameProperty	(	Tree	t,
		Tree &	id
	)

Indicates the identifier (if any) the expression was a definition of.

Parameters:

	t	the expression
	id	reference to the identifier

Returns:

true if the expression t was a definition of id

Definition at line 85 of file names.cpp.

{
    //cerr << "getDefNameProperty of : " << t << endl;
    return getProperty(t, DEFNAMEPROPERTY, id);
}

Tree pushValueDef	(	Tree	id,
		Tree	def,
		Tree	lenv
	)

Push a new layer and add a single definition.

Parameters:

	id	the symbol id to be defined
	def	the definition to be binded to the symbol id
	lenv	the environment where to push the layer and add the definition

Returns:

the new environment

Definition at line 1189 of file eval.cpp.

{
    Tree lenv2 = pushNewLayer(lenv);
    addLayerDef(id, def, lenv2);
    return lenv2;
}

bool searchIdDef	(	Tree	id,
		Tree &	def,
		Tree	lenv
	)

Search the environment for the definition of a symbol ID and return it.

Parameters:

	id	the symbol ID to search
	def	where to store the definition if any
	lenv	the environment

Returns:

true if a definition was found

Definition at line 1229 of file eval.cpp.

References CTree::branch().

{
    // search the environment until a definition is found
    // or nil (the empty environment) is reached
    while (!isNil(lenv) && !getProperty(lenv, id, def)) {
        lenv = lenv->branch(0);
    }
    return !isNil(lenv);
}

Here is the call graph for this function:

void setSigListNickName	(	Tree	lsig,
		const string &	nickname
	)

set the nickname property of a list of signals.

If the list contains more than one signal, adds an index to the nickname

Definition at line 134 of file names.cpp.

{
    assert(isList(lsig));
    
    if (isNil(tl(lsig))) {
        setSigNickname(hd(lsig), nickname);
    } else {
        int     i=0;
        while (!isNil(lsig)) {
            setSigNickname(hd(lsig), subst("$0_$1", nickname, T(++i)));
            lsig = tl(lsig);
        }
    }
}

Tree simplifyPattern

(

Tree

value

)

Simplify a block-diagram pattern by computing its numerical sub-expressions.

Parameters:

pattern

an evaluated block-diagram

Returns:

a simplified pattern

Definition at line 605 of file eval.cpp.

{
    Tree num;
    if (!getNumericProperty(value,num)) {
        if (!isBoxNumeric(value,num)) {
            num = value;
        }
        setNumericProperty(value,num);
    }
    return num;
}