class UNIQ
****
Generate unique integers to make strings unique so that
we don't rely on string names in sather
Flattened version is
here
Public
Features
next: INT
Private
shared gen: INT := 0;
shared gen: INT := 0;
The Sather Home Page