Package it.unive.lisa.analysis.symbols

Interface Summary

Interface	Description
Symbol	A symbol that can be aliased or used as an alias.

Class Summary

Class	Description
Aliases	A SetLattice of Symbols to be used as aliases.
NameSymbol	A Symbol that represents a name (e.g.
QualifiedNameSymbol	A Symbol that represents a fully qualified name, composed of both a name and a qualifier.
QualifierSymbol	A Symbol that represents a qualifier (i.e.
SymbolAliasing	A FunctionalLattice mapping Symbols to Aliases, that is, sets of symbols.