/// <summary>
/// Traverses the method reference.
/// </summary>
public void Traverse(IMethodReference methodReference)
{
Contract.Requires(methodReference != null);
methodReference.DispatchAsReference(this.dispatchingVisitor);
}
private void TraverseUnspecialized(IMethodReference methodReference)
{
Contract.Requires(methodReference != null);
if (!this.objectsThatHaveAlreadyBeenTraversed.Add(methodReference)) return;
if (this.preorderVisitor != null) methodReference.DispatchAsReference(this.preorderVisitor);
if (this.stopTraversal) return;
this.TraverseChildren(methodReference);
if (this.stopTraversal) return;
if (this.postorderVisitor != null) methodReference.DispatchAsReference(this.postorderVisitor);
}
/// <summary>
/// Traverses the method reference.
/// </summary>
public void Traverse(IMethodReference methodReference)
{
methodReference.DispatchAsReference(this.dispatchingVisitor);
}