private void DiagnoseRoutine(SourceRoutineSymbol routine)
{
Contract.ThrowIfNull(routine);
if (routine.ControlFlowGraph != null) // non-abstract method
{
var diagnosingVisitor = new DiagnosingVisitor(_diagnostics, routine);
diagnosingVisitor.VisitCFG(routine.ControlFlowGraph);
}
}
private void DiagnoseRoutine(SourceRoutineSymbol routine)
{
Contract.ThrowIfNull(routine);
DiagnosingVisitor.Analyse(_diagnostics, routine);
}
