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);
}