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