Verificare la gestione delle eccezioni nei commenti XML?

Question

Esiste uno strumento di analisi del codice C# che può verificare se le eccezioni che si trovano nei commenti XML sono gestite da qualche parte nella catena delle chiamate?

Supponendo che solo le eccezioni che devono essere gestite specificamente siano commentate XML che sarebbe piuttosto utile.

Answer 1

Non ne ho sentito parlare - dal momento che non puoi usare la riflessione per ottenere i commenti in un assembly compilato, non credo che sia possibile. Un compilatore o uno strumento di analisi del codice potrebbe possibilmente Controlla se le eccezioni lanciate (o a valle?) Vengono commentate correttamente nei commenti XML, ma questo è tutto.

Potresti essere interessato Spec# da Microsoft Research. Secondo il sito del progetto:

Spec# è un'estensione del linguaggio orientato agli oggetti C#. Estende il sistema di tipo per includere tipi non nulli e eccezioni controllate. Fornisce contratti di metodo sotto forma di pre e postcondizioni e invarianti di oggetti.

Questo, penso, è più vicino come avrai. Farà ciò che fa Java: forzare i chiamanti delle funzioni che lanciano eccezioni per gestire tali eccezioni o statali nei loro metadati che loro stessi propagano/lanciano quelle eccezioni, fino a quando l'eccezione non viene gestita in qualche luogo. Tuttavia, non so se le specifiche# ti permetteranno di controllare solo tipi di eccezioni specifici.