public override void Visit(IUnitSetNamespace unitSetNamespace) { if (Process(unitSetNamespace)) { visitor.Visit(unitSetNamespace); } base.Visit(unitSetNamespace); }
public override void TraverseChildren(IUnitSetNamespace unitSetNamespace) { MethodEnter(unitSetNamespace); base.TraverseChildren(unitSetNamespace); MethodExit(); }
/// <summary> /// Visits the specified unit set namespace. /// </summary> public void Visit(IUnitSetNamespace unitSetNamespace) { }
/// <summary> /// Traverses the specified unit namespace definition. /// </summary> public virtual void TraverseChildren(IUnitSetNamespace unitSetNamespace) { Contract.Requires(unitSetNamespace != null); this.TraverseChildren((INamespaceDefinition)unitSetNamespace); }
/// <summary> /// Visits the specified unit set namespace. /// </summary> public virtual void Visit(IUnitSetNamespace unitSetNamespace) { //IUnitSetNamespace is a base interface that should never be implemented directly. //Get unitSetNamespace to call the most type specific visitor. unitSetNamespace.Dispatch(this); }
//^ ensures this.path.Count == old(this.path.Count); /// <summary> /// Visits the specified unit set namespace. /// </summary> /// <param name="unitSetNamespace">The unit set namespace.</param> public virtual void Visit(IUnitSetNamespace unitSetNamespace) { if (this.stopTraversal) return; //^ int oldCount = this.path.Count; this.path.Push(unitSetNamespace); this.Visit(unitSetNamespace.Members); //^ assume this.path.Count == oldCount+1; //True because all of the virtual methods of this class promise not decrease this.path.Count. this.path.Pop(); unitSetNamespace.Dispatch(this); }
/// <summary> /// Visits the specified unit set namespace. /// </summary> public virtual void Visit(IUnitSetNamespace unitSetNamespace) { Contract.Requires(unitSetNamespace != null); }
public override void Visit(IUnitSetNamespace unitSetNamespace) { allElements.Add(new InvokInfo(Traverser, "IUnitSetNamespace", unitSetNamespace)); }
public override void Visit(IUnitSetNamespace unitSetNamespace) { if(Process(unitSetNamespace)){visitor.Visit(unitSetNamespace);} base.Visit(unitSetNamespace); }
/// <summary> /// Traverses the specified unit namespace definition. /// </summary> public virtual void TraverseChildren(IUnitSetNamespace unitSetNamespace) { this.TraverseChildren((INamespaceDefinition)unitSetNamespace); }