internal static Name GetName(string p, NameManager nameManager) { Name name = nameManager.Lookup(p); if (name == null) { return nameManager.Add(p); } return name; } #endregion