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