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. More...
Symbol *	symbol (const string &str)
	Returns (and creates if new) the symbol of name str. More...
Symbol *	unique (const char *str)
	Returns a new unique symbol of name strxxx. More...
const char *	name (Symbol *sym)
	Returns the name of a symbol. More...
void *	getUserData (Symbol *sym)
	Returns user data. More...
void	setUserData (Symbol *sym, void *d)
	Set user data. More...
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(), infereBoxType(), infereSigOrder(), infereSigType(), infereXType(), insideBoxSimplification(), isSigPow(), preparePattern(), ppsig::print(), boxpp::print(), ppsig::printextended(), realeval(), realPropagate(), 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(), xtended::name(), normalizeLabel(), Symbol::prefix(), preparePattern(), ppsig::print(), boxpp::print(), print(), real_a2sb(), realPropagate(), 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: