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