public override void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     if (Process(rootUnitNamespaceReference))
     {
         visitor.Visit(rootUnitNamespaceReference);
     }
     base.Visit(rootUnitNamespaceReference);
 }
Example #2
0
 /// <summary>
 /// Performs some computation with the given root unit namespace reference.
 /// </summary>
 public void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     this.Visit((IUnitNamespaceReference)rootUnitNamespaceReference);
 }
Example #3
0
 public void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     this.traverser.Traverse(rootUnitNamespaceReference);
 }
Example #4
0
 /// <summary>
 /// Traverses the specified root unit namespace reference.
 /// </summary>
 public virtual void TraverseChildren(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     Contract.Requires(rootUnitNamespaceReference != null);
       this.TraverseChildren((IUnitNamespaceReference)rootUnitNamespaceReference);
 }
Example #5
0
 /// <summary>
 /// Traverses the specified root unit namespace reference.
 /// </summary>
 public void Traverse(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     Contract.Requires(rootUnitNamespaceReference != null);
       if (!this.objectsThatHaveAlreadyBeenTraversed.Add(rootUnitNamespaceReference)) return;
       if (this.preorderVisitor != null) this.preorderVisitor.Visit(rootUnitNamespaceReference);
       if (this.stopTraversal) return;
       this.TraverseChildren(rootUnitNamespaceReference);
       if (this.stopTraversal) return;
       if (this.postorderVisitor != null) this.postorderVisitor.Visit(rootUnitNamespaceReference);
 }
Example #6
0
 /// <summary>
 /// Performs some computation with the given root unit namespace reference.
 /// </summary>
 public virtual void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
 }
Example #7
0
 public void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     throw new NotImplementedException();
 }
 public override void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     if(Process(rootUnitNamespaceReference)){visitor.Visit(rootUnitNamespaceReference);}
     base.Visit(rootUnitNamespaceReference);
 }
Example #9
0
 public virtual void onMetadataElement(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
 }
Example #10
0
 /// <summary>
 /// Performs some computation with the given root unit namespace reference.
 /// </summary>
 /// <param name="rootUnitNamespaceReference"></param>
 public virtual void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference)
   //^ ensures this.path.Count == old(this.path.Count);
 {
 }
 /// <summary>
 /// Performs some computation with the given root unit namespace reference.
 /// </summary>
 public virtual void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
 }
 /// <summary>
 /// Rewrites the given reference to a root unit namespace.
 /// </summary>
 public virtual IRootUnitNamespaceReference Rewrite(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     return rootUnitNamespaceReference;
 }
Example #13
0
 public override void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     allElements.Add(new InvokInfo(Traverser, "IRootUnitNamespaceReference", rootUnitNamespaceReference));
 }
 public virtual void onMetadataElement(IRootUnitNamespaceReference rootUnitNamespaceReference) { }
        public override void TraverseChildren(IRootUnitNamespaceReference rootUnitNamespaceReference)
{ MethodEnter(rootUnitNamespaceReference);
            base.TraverseChildren(rootUnitNamespaceReference);
     MethodExit();   }
Example #16
0
 public override void TraverseChildren(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     MethodEnter(rootUnitNamespaceReference);
     base.TraverseChildren(rootUnitNamespaceReference);
     MethodExit();
 }
Example #17
0
 /// <summary>
 /// Traverses the specified root unit namespace reference.
 /// </summary>
 public virtual void TraverseChildren(IRootUnitNamespaceReference rootUnitNamespaceReference)
 {
     this.TraverseChildren((IUnitNamespaceReference)rootUnitNamespaceReference);
 }