names.cpp File Reference

#include "ppsig.hh"
#include "names.hh"
#include "property.hh"
#include "doc_Text.hh"
#include "Text.hh"
#include <assert.h>

Include dependency graph for names.cpp:

Go to the source code of this file.

Functions
void	setDefNameProperty (Tree t, Tree id)
void	setDefNameProperty (Tree t, const string &name)
bool	getDefNameProperty (Tree t, Tree &id)
	Indicates the identifier (if any) the expression was a definition of. More...
string	defName2NickName (const string &defname)
	Convert a definition name (can be long) into a short nickname that can be used as an equation name in latex. More...
void	setSigNickname (Tree t, const string &id)
	Set the nickname property of a signal. More...
bool	getSigNickname (Tree t, Tree &id)
	Get the nickname property of a signal. More...
void	setSigListNickName (Tree lsig, const string &nickname)
	set the nickname property of a list of signals. More...

Variables
int	gMaxNameSize
Tree	DEFNAMEPROPERTY = tree(symbol("DEFNAMEPROPERTY"))
	Definition name property : a property to keep track of the definition name of an expression. More...
Tree	NICKNAMEPROPERTY = tree(symbol("NICKNAMEPROPERTY"))

Function Documentation

string defName2NickName

(

const string &

defname

)

Convert a definition name (can be long) into a short nickname that can be used as an equation name in latex.

Todo:

Simplify long definition names.

Definition at line 97 of file names.cpp.

{
    return defname;
}

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.

References getProperty().

Referenced by a2sb(), applyList(), boxSimplification(), eval(), evalIdDef(), generateDiagramSchema(), generateInputSlotSchema(), generateInsideSchema(), generateOutputSlotSchema(), legalFileName(), mapGetEqName(), real_a2sb(), and writeSchemaFile().

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

Here is the call graph for this function:

Here is the caller graph for this function:

bool getSigNickname	(	Tree	t,
		Tree &	id
	)

Get the nickname property of a signal.

Definition at line 122 of file names.cpp.

References getProperty().

Referenced by DocCompiler::compileLateq().

{
    bool r = getProperty(t, NICKNAMEPROPERTY, id);
    return r;
}

Here is the call graph for this function:

Here is the caller graph for this function:

void setDefNameProperty	(	Tree	t,
		Tree	id
	)

Definition at line 54 of file names.cpp.

References setProperty().

Referenced by a2sb(), applyList(), boxSimplification(), copyEnvReplaceDefs(), eval(), pushMultiClosureDefs(), real_a2sb(), and realeval().

{
    //cerr << "setDefNameProperty : " << *id << " FOR " << t << "#" << boxpp(t) << endl;
    setProperty(t, DEFNAMEPROPERTY, id);
}

Here is the call graph for this function:

Here is the caller graph for this function:

void setDefNameProperty	(	Tree	t,
		const string &	name
	)

Definition at line 60 of file names.cpp.

References gMaxNameSize, setProperty(), and tree().

{
    //cerr << "setDefNameProperty : " << name << " FOR " << t << "#" << boxpp(t) << endl;
    int     n = (int)name.size();
    int     m = (gMaxNameSize>1023) ? 1023 : gMaxNameSize;
    if (n > m) {
        // the name is too long we reduce it to 2/3 of maxsize
        char    buf[1024];
        int i = 0;
        // copy first third
        for (; i < m/3; i++) { buf[i] = name[i]; }
        // add ...
        buf[i++] = '.';
        buf[i++] = '.';
        buf[i++] = '.';
        // copy last third
        for (int c = n-m/3; c<n; c++, i++) { buf[i] = name[c]; }
        buf[i] = 0;
        setProperty(t, DEFNAMEPROPERTY, tree(buf));
    } else {
        setProperty(t, DEFNAMEPROPERTY, tree(name.c_str()));
    }

}

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.

References hd(), isList(), isNil(), setSigNickname(), subst(), T(), and tl().

{
    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);
        }
    }
}

Here is the call graph for this function:

void setSigNickname	(	Tree	t,
		const string &	id
	)

Set the nickname property of a signal.

Definition at line 108 of file names.cpp.

References isSigFixDelay(), isZero(), setProperty(), and tree().

Referenced by setSigListNickName().

{
    Tree    s,d;
    if (isSigFixDelay(t,s,d) && isZero(d)) {
        setProperty(s, NICKNAMEPROPERTY, tree(id));
    } else {
        setProperty(t, NICKNAMEPROPERTY, tree(id));
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

Tree DEFNAMEPROPERTY = tree(symbol("DEFNAMEPROPERTY"))

Definition name property : a property to keep track of the definition name of an expression.

Whenever an identifier is evaluated, it is attached as a property of its definitionObviously there is no perfect solution since a same definition quand be given to different names.

Definition at line 52 of file names.cpp.

int gMaxNameSize

Definition at line 127 of file main.cpp.

Referenced by process_cmdline(), and setDefNameProperty().

Tree NICKNAMEPROPERTY = tree(symbol("NICKNAMEPROPERTY"))

Definition at line 102 of file names.cpp.