public override void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference) { if (Process(rootUnitNamespaceReference)) { visitor.Visit(rootUnitNamespaceReference); } base.Visit(rootUnitNamespaceReference); }
/// <summary> /// Performs some computation with the given root unit namespace reference. /// </summary> public void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference) { this.Visit((IUnitNamespaceReference)rootUnitNamespaceReference); }
public void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference) { this.traverser.Traverse(rootUnitNamespaceReference); }
/// <summary> /// Traverses the specified root unit namespace reference. /// </summary> public virtual void TraverseChildren(IRootUnitNamespaceReference rootUnitNamespaceReference) { Contract.Requires(rootUnitNamespaceReference != null); this.TraverseChildren((IUnitNamespaceReference)rootUnitNamespaceReference); }
/// <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); }
/// <summary> /// Performs some computation with the given root unit namespace reference. /// </summary> public virtual void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference) { }
public void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference) { throw new NotImplementedException(); }
public override void Visit(IRootUnitNamespaceReference rootUnitNamespaceReference) { if(Process(rootUnitNamespaceReference)){visitor.Visit(rootUnitNamespaceReference);} base.Visit(rootUnitNamespaceReference); }
public virtual void onMetadataElement(IRootUnitNamespaceReference rootUnitNamespaceReference) { }
/// <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; }
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(); }
public override void TraverseChildren(IRootUnitNamespaceReference rootUnitNamespaceReference) { MethodEnter(rootUnitNamespaceReference); base.TraverseChildren(rootUnitNamespaceReference); MethodExit(); }
/// <summary> /// Traverses the specified root unit namespace reference. /// </summary> public virtual void TraverseChildren(IRootUnitNamespaceReference rootUnitNamespaceReference) { this.TraverseChildren((IUnitNamespaceReference)rootUnitNamespaceReference); }