/// <summary>
/// Traverses the method definition.
/// </summary>
public void Traverse(IMethodDefinition method)
{
Contract.Requires(method != null);
if (this.preorderVisitor != null) method.Dispatch(this.preorderVisitor);
if (this.stopTraversal) return;
this.TraverseChildren(method);
if (this.stopTraversal) return;
if (this.postorderVisitor != null) method.Dispatch(this.postorderVisitor);
}