public void OpenNamespace(string name) { NamespaceInfo n = new NamespaceInfo (); n.NamespaceID = -1; n.Name = name; namespaceStack.Push (n); }