} // NameOf
#if TEST_NAMELIST
public static void Main(String[] args)
{
Console.WriteLine("START: NameList");
NameList.Init(true);
int anneSpix1 = NameList.SpixOf("Anne");
Console.WriteLine("NameList.SpixOf(\"Anne\") " + anneSpix1);
int patSpix = NameList.SpixOf("Pat");
Console.WriteLine("NameList.SpixOf(\"Pat\") " + patSpix);
int anneSpix2 = NameList.SpixOf("ANNE");
Console.WriteLine("NameList.SpixOf(\"ANNE\") " + anneSpix2);
Console.WriteLine("END");
Console.WriteLine("type [CR] to continue ...");
Console.ReadLine();
} // Main
} // HashedStr
public static void GETidentAttr(out int spix)
{
spix = NameList.SpixOf(tokenStr);
} // GETidentAttr
private Type(String name, Kind kind)
{
this.spix = NameList.SpixOf(name);
this.kind = kind;
} // Type