コード例 #1
0
 public override void Visit(IUnitSetNamespace unitSetNamespace)
 {
     if (Process(unitSetNamespace))
     {
         visitor.Visit(unitSetNamespace);
     }
     base.Visit(unitSetNamespace);
 }
コード例 #2
0
 public override void TraverseChildren(IUnitSetNamespace unitSetNamespace)
 {
     MethodEnter(unitSetNamespace);
     base.TraverseChildren(unitSetNamespace);
     MethodExit();
 }
コード例 #3
0
ファイル: Validator.cs プロジェクト: rasiths/visual-profiler
 /// <summary>
 /// Visits the specified unit set namespace.
 /// </summary>
 public void Visit(IUnitSetNamespace unitSetNamespace)
 {
 }
コード例 #4
0
ファイル: Visitors.cs プロジェクト: rasiths/visual-profiler
 /// <summary>
 /// Traverses the specified unit namespace definition.
 /// </summary>
 public virtual void TraverseChildren(IUnitSetNamespace unitSetNamespace)
 {
     Contract.Requires(unitSetNamespace != null);
       this.TraverseChildren((INamespaceDefinition)unitSetNamespace);
 }
コード例 #5
0
ファイル: Visitors.cs プロジェクト: rasiths/visual-profiler
 /// <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);
 }
コード例 #6
0
ファイル: Visitors.cs プロジェクト: rasiths/visual-profiler
 //^ 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);
 }
コード例 #7
0
        public override void TraverseChildren(IUnitSetNamespace unitSetNamespace)
{ MethodEnter(unitSetNamespace);
            base.TraverseChildren(unitSetNamespace);
     MethodExit();   }
コード例 #8
0
 /// <summary>
 /// Visits the specified unit set namespace.
 /// </summary>
 public virtual void Visit(IUnitSetNamespace unitSetNamespace)
 {
     Contract.Requires(unitSetNamespace != null);
 }
コード例 #9
0
 public override void Visit(IUnitSetNamespace unitSetNamespace)
 {
     allElements.Add(new InvokInfo(Traverser, "IUnitSetNamespace", unitSetNamespace));
 }
コード例 #10
0
 /// <summary>
 /// Visits the specified unit set namespace.
 /// </summary>
 public virtual void Visit(IUnitSetNamespace unitSetNamespace)
 {
     Contract.Requires(unitSetNamespace != null);
 }
コード例 #11
0
 public override void Visit(IUnitSetNamespace unitSetNamespace)
 {
     if(Process(unitSetNamespace)){visitor.Visit(unitSetNamespace);}
     base.Visit(unitSetNamespace);
 }
コード例 #12
0
 /// <summary>
 /// Traverses the specified unit namespace definition.
 /// </summary>
 public virtual void TraverseChildren(IUnitSetNamespace unitSetNamespace)
 {
     this.TraverseChildren((INamespaceDefinition)unitSetNamespace);
 }