symbol.hh File Reference

A library to create and manipulate symbols with a unique name. More...

#include <string>
#include <map>

Include dependency graph for symbol.hh:

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

Go to the source code of this file.

Classes
class	Symbol
	Symbols are unique objects with a name stored in a hash table. More...
Typedefs
typedef Symbol *	Sym
Functions
Symbol *	symbol (const char *str)
	Returns (and creates if new) the symbol of name str.
Symbol *	symbol (const string &str)
	Returns (and creates if new) the symbol of name str.
Symbol *	unique (const char *str)
	Returns a new unique symbol of name strxxx.
const char *	name (Symbol *sym)
	Returns the name of a symbol.
void *	getUserData (Symbol *sym)
	Returns user data.
void	setUserData (Symbol *sym, void *d)
	Set user data.
ostream &	operator<< (ostream &s, const Symbol &n)

---

Detailed Description

A library to create and manipulate symbols with a unique name.

A library of functions to create and manipulate symbols with a unique name.

API:

• Sym q = symbol("abcd"); returns the symbol of name "abcd"
  • const char* s = name(q); returns the name of symbol q
  • Sym q = unique("TOTO"); returns a new unique symbol of name "TOTOnnn"

Properties:

If p and q are two symbols then : p != q <=> name(p) != name(q)

Definition in file symbol.hh.

---

Typedef Documentation

typedef Symbol* Sym

Definition at line 106 of file symbol.hh.

---

Function Documentation

void* getUserData

(

Symbol *

sym

)

[inline]

Returns user data.

Definition at line 100 of file symbol.hh.

References Symbol::fData.

Referenced by applyList(), xtended::box(), computeBoxComplexity(), ScalarCompiler::generateCode(), DocCompiler::generateCode(), generateInsideSchema(), ScalarCompiler::generateXtended(), DocCompiler::generateXtended(), getSubSignals(), getUserData(), infereBoxType(), infereSigOrder(), infereSigType(), infereXType(), insideBoxSimplification(), isSigPow(), preparePattern(), ppsig::print(), boxpp::print(), ppsig::printextended(), propagate(), realeval(), sigLabel(), and simplification().

Here is the caller graph for this function:

const char* name

(

Symbol *

sym

)

[inline]

Returns the name of a symbol.

Definition at line 98 of file symbol.hh.

References Symbol::fName.

Referenced by boxSimplification(), computeBoxComplexity(), evalIdDef(), extractName(), filebasename(), ScalarCompiler::generateCode(), DocCompiler::generateCode(), generateInsideSchema(), getDefFileProp(), getSubSignals(), infereSigOrder(), infereSigType(), insideBoxSimplification(), isBefore(), isBoxIdent(), isDocTxt(), isVerySimpleFormula(), makePrivatisationKey(), makePrivatisationLabel(), normalizeLabel(), Symbol::prefix(), preparePattern(), ppsig::print(), boxpp::print(), print(), propagate(), real_a2sb(), shprkey(), sigLabel(), substkey(), tree2str(), verySimple(), and sigvisitor::visit().

Here is the caller graph for this function:

ostream& operator<<	(	ostream &	s,
		const Symbol &	n
	)		[inline]

Definition at line 103 of file symbol.hh.

References Symbol::print().

{ return n.print(s); }

Here is the call graph for this function:

void setUserData	(	Symbol *	sym,
		void *	d
	)		[inline]

Set user data.

Definition at line 101 of file symbol.hh.

References Symbol::fData.

Referenced by xtended::xtended(), and xtended::~xtended().

Here is the caller graph for this function:

Symbol* symbol

(

const char *

str

)

[inline]

Returns (and creates if new) the symbol of name str.

Definition at line 95 of file symbol.hh.

References Symbol::get().

Referenced by boxIdent(), docTxt(), and Node::Node().

Here is the call graph for this function:

Here is the caller graph for this function:

Symbol* symbol

(

const string &

str

)

[inline]

Returns (and creates if new) the symbol of name str.

Definition at line 96 of file symbol.hh.

References Symbol::get().

Here is the call graph for this function:

Symbol* unique

(

const char *

str

)

[inline]

Returns a new unique symbol of name strxxx.

Definition at line 97 of file symbol.hh.

References Symbol::prefix().

Referenced by calcDeBruijn2Sym(), makePrivatisationKey(), makePrivatisationLabel(), OccMarkup::mark(), pushNewLayer(), shprkey(), sigMapRename(), Occurrences::specificKey(), substkey(), and writeSchemaFile().

Here is the call graph for this function:

Here is the caller graph for this function: