public override void VisitMethod(Method method)
{
if (method == null)
{
return;
}
if (this.contracts != null && contracts.IsObjectInvariantMethod(method))
{
return;
}
if (writeOutput)
{
Indent(); Console.WriteLine(method.FullName);
this.tabStops++;
}
base.VisitMethod(method);
// inspector is not visiting validation list, so visit it here
if (method.Contract != null)
{
this.VisitRequiresList(method.Contract.Validations);
}
if (writeOutput)
{
this.tabStops--;
}
}
