public override void Visit(IRootUnitSetNamespace rootUnitSetNamespace)
{
if (Process(rootUnitSetNamespace))
{
visitor.Visit(rootUnitSetNamespace);
}
base.Visit(rootUnitSetNamespace);
}
public override void TraverseChildren(IRootUnitSetNamespace rootUnitSetNamespace)
{
if (!_filter.Include(rootUnitSetNamespace))
{
return;
}
base.TraverseChildren(rootUnitSetNamespace);
}
/// <summary>
/// Performs some computation with the given root unit set namespace.
/// </summary>
public void Visit(IRootUnitSetNamespace rootUnitSetNamespace)
{
this.Visit((IUnitSetNamespace)rootUnitSetNamespace);
}
public void Visit(IRootUnitSetNamespace rootUnitSetNamespace)
{
this.traverser.Traverse(rootUnitSetNamespace);
}
/// <summary>
/// Traverses the specified root unit namespace.
/// </summary>
public virtual void TraverseChildren(IRootUnitSetNamespace rootUnitSetNamespace)
{
Contract.Requires(rootUnitSetNamespace != null);
this.TraverseChildren((IUnitSetNamespace)rootUnitSetNamespace);
}
/// <summary>
/// Traverses the specified root unit set namespace.
/// </summary>
public void Traverse(IRootUnitSetNamespace rootUnitSetNamespace)
{
Contract.Requires(rootUnitSetNamespace != null);
if (this.preorderVisitor != null) this.preorderVisitor.Visit(rootUnitSetNamespace);
if (this.stopTraversal) return;
this.TraverseChildren(rootUnitSetNamespace);
if (this.stopTraversal) return;
if (this.postorderVisitor != null) this.postorderVisitor.Visit(rootUnitSetNamespace);
}
/// <summary>
/// Performs some computation with the given root unit set namespace.
/// </summary>
public virtual void Visit(IRootUnitSetNamespace rootUnitSetNamespace)
{
}
public override void Visit(IRootUnitSetNamespace rootUnitSetNamespace)
{
if(Process(rootUnitSetNamespace)){visitor.Visit(rootUnitSetNamespace);}
base.Visit(rootUnitSetNamespace);
}
public override void TraverseChildren(IRootUnitSetNamespace rootUnitSetNamespace)
{ MethodEnter(rootUnitSetNamespace);
base.TraverseChildren(rootUnitSetNamespace);
MethodExit(); }
public virtual void onMetadataElement(IRootUnitSetNamespace rootUnitSetNamespace)
{
}
/// <summary>
/// Performs some computation with the given root unit set namespace.
/// </summary>
/// <param name="rootUnitSetNamespace"></param>
public virtual void Visit(IRootUnitSetNamespace rootUnitSetNamespace)
//^ ensures this.path.Count == old(this.path.Count);
{
}
/// <summary>
/// Performs some computation with the given root unit set namespace.
/// </summary>
public virtual void Visit(IRootUnitSetNamespace rootUnitSetNamespace)
{
}
public override void TraverseChildren(IRootUnitSetNamespace rootUnitSetNamespace)
{
if (!_filter.Include(rootUnitSetNamespace))
return;
base.TraverseChildren(rootUnitSetNamespace);
}
public override void Visit(IRootUnitSetNamespace rootUnitSetNamespace)
{
allElements.Add(new InvokInfo(Traverser, "IRootUnitSetNamespace", rootUnitSetNamespace));
}
public virtual void onMetadataElement(IRootUnitSetNamespace rootUnitSetNamespace) { }
public void Visit(IRootUnitSetNamespace rootUnitSetNamespace)
{
throw new NotImplementedException();
}
public override void TraverseChildren(IRootUnitSetNamespace rootUnitSetNamespace)
{
MethodEnter(rootUnitSetNamespace);
base.TraverseChildren(rootUnitSetNamespace);
MethodExit();
}
/// <summary>
/// Traverses the specified root unit namespace.
/// </summary>
public virtual void TraverseChildren(IRootUnitSetNamespace rootUnitSetNamespace)
{
this.TraverseChildren((IUnitSetNamespace)rootUnitSetNamespace);
}
