c# - xmlコメントの例外の処理をチェックしていますか？

Question

XMLコメントにある例外がコールチェーンのどこかで処理されているかどうかを確認できるC＃コード分析ツールはありますか？

特に処理する必要のある例外のみがxmlコメントであると仮定すると、かなり便利です。

Answer 1

聞いたことがありません。コンパイルされたアセンブリのコメントを取得するためにリフレクションを使用できないため、これは不可能だと思います。コンパイラーまたはコード分析ツールは、スローされた（またはダウンストリーム？）例外がXMLコメントで適切にコメント化されているかどうかをチェックする可能性がありますが、それだけです。

Microsoft ResearchのSpec＃に興味があるかもしれません。プロジェクトサイトによると：

Spec＃は、オブジェクト指向言語C＃の拡張です。型システムを拡張して、null以外の型とチェックされた例外を含めます。これは、事前条件と事後条件、およびオブジェクト不変条件の形式でメソッドコントラクトを提供します。

それは、あなたが得ようとしているのとほぼ同じくらいだと思います。Javaが行うことを実行します。例外をスローする関数の呼び出し元に、それらの例外を処理するか、例外がどこかで処理されるまで、それら自体がそれらの例外を伝播/スローすることをメタデータに記述します。ただし、Spec＃で特定の例外タイプのみをチェックできるかどうかはわかりません。