public void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
 {
     this.traverser.Traverse(nestedUnitNamespaceReference);
 }

 /// <summary>
 /// Traverses the specified nested unit namespace reference.
 /// </summary>
 public void Traverse(INestedUnitNamespaceReference nestedUnitNamespaceReference)
 {
     Contract.Requires(nestedUnitNamespaceReference != null);
       if (!this.objectsThatHaveAlreadyBeenTraversed.Add(nestedUnitNamespaceReference)) return;
       if (this.preorderVisitor != null) this.preorderVisitor.Visit(nestedUnitNamespaceReference);
       if (this.stopTraversal) return;
       this.TraverseChildren(nestedUnitNamespaceReference);
       if (this.stopTraversal) return;
       if (this.postorderVisitor != null) this.postorderVisitor.Visit(nestedUnitNamespaceReference);
 }

 /// <summary>
 /// Traverses the specified nested unit namespace reference.
 /// </summary>
 public virtual void TraverseChildren(INestedUnitNamespaceReference nestedUnitNamespaceReference)
 {
     Contract.Requires(nestedUnitNamespaceReference != null);
       this.TraverseChildren((IUnitNamespaceReference)nestedUnitNamespaceReference);
 }

 public override void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
 {
     if(Process(nestedUnitNamespaceReference)){visitor.Visit(nestedUnitNamespaceReference);}
     base.Visit(nestedUnitNamespaceReference);
 }

 public void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
 {
     throw new NotImplementedException();
 }

 private bool IsWindowsUIXamlMediaMedia3D(INestedUnitNamespaceReference/*?*/ namespaceReference) {
   if (namespaceReference == null || namespaceReference.Name != this.Media3D) return false;
   return IsWindowsUIXamlMedia(namespaceReference.ContainingUnitNamespace as INestedUnitNamespaceReference);
 }

 public virtual void onMetadataElement(INestedUnitNamespaceReference nestedUnitNamespaceReference) { }

 private bool IsWindowsUIXamlControlsPrimitives(INestedUnitNamespaceReference/*?*/ namespaceReference) {
   if (namespaceReference == null || namespaceReference.Name != this.Primitives) return false;
   return IsWindowsUIXamlControls(namespaceReference.ContainingUnitNamespace as INestedUnitNamespaceReference);
 }

 private bool IsWindowsUIXamlInterop(INestedUnitNamespaceReference/*?*/ namespaceReference) {
   if (namespaceReference == null || namespaceReference.Name != this.Interop) return false;
   return IsWindowsUIXaml(namespaceReference.ContainingUnitNamespace as INestedUnitNamespaceReference);
 }

 private bool IsWindowsFoundationMetadata(INestedUnitNamespaceReference/*?*/ namespaceReference) {
   if (namespaceReference == null || namespaceReference.Name != this.Metadata) return false;
   return IsWindowsFoundation(namespaceReference.ContainingUnitNamespace as INestedUnitNamespaceReference);
 }

 private bool IsWindows(INestedUnitNamespaceReference/*?*/ namespaceReference) {
   if (namespaceReference == null || namespaceReference.Name != this.Windows) return false;
   return namespaceReference.ContainingUnitNamespace is IRootUnitNamespaceReference;
 }

 /// <summary>
 /// Rewrites the specified reference to a nested unit namespace.
 /// </summary>
 public virtual INestedUnitNamespaceReference Rewrite(INestedUnitNamespaceReference nestedUnitNamespaceReference)
 {
     return nestedUnitNamespaceReference;
 }

 /// <summary>
 /// Performs some computation with the given nested unit namespace reference.
 /// </summary>
 public void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
 {
     this.Visit((IUnitNamespaceReference)nestedUnitNamespaceReference);
 }

 /// <summary>
 /// Performs some computation with the given nested unit namespace reference.
 /// </summary>
 /// <param name="nestedUnitNamespaceReference"></param>
 public virtual void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
   //^ ensures this.path.Count == old(this.path.Count);
 {
 }

 private NamespaceName/*?*/ GetNamespaceName(INameTable nameTable, INestedUnitNamespaceReference/*?*/ nestedUnitNamespaceReference) {
   if (nestedUnitNamespaceReference == null) return null;
   var parentNamespaceName = this.GetNamespaceName(nameTable, nestedUnitNamespaceReference.ContainingUnitNamespace as INestedUnitNamespaceReference);
   return new NamespaceName(nameTable, parentNamespaceName, nestedUnitNamespaceReference.Name);
 }

        public override void TraverseChildren(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{ MethodEnter(nestedUnitNamespaceReference);
            base.TraverseChildren(nestedUnitNamespaceReference);
     MethodExit();   }

    uint GetNestedNamespaceInternId(INestedUnitNamespaceReference nestedUnitNamespaceReference) {
      Contract.Requires(nestedUnitNamespaceReference != null);

      uint parentNamespaceInternedId = this.GetUnitNamespaceInternId(nestedUnitNamespaceReference.ContainingUnitNamespace);
      uint value = this.NestedNamespaceHashtable.Find(parentNamespaceInternedId, (uint)nestedUnitNamespaceReference.Name.UniqueKey);
      if (value == 0) {
        value = this.CurrentNamespaceInternValue++;
        this.NestedNamespaceHashtable.Add(parentNamespaceInternedId, (uint)nestedUnitNamespaceReference.Name.UniqueKey, value);
      }
      return value;
    }

 /// <summary>
 /// Traverses the specified nested unit namespace reference.
 /// </summary>
 public virtual void TraverseChildren(INestedUnitNamespaceReference nestedUnitNamespaceReference)
 {
     this.TraverseChildren((IUnitNamespaceReference)nestedUnitNamespaceReference);
 }