XML 코멘트에서 예외 처리 확인?

Question

XML 주석에있는 예외가 콜 체인의 어딘가에서 처리되는지 확인할 수있는 C # 코드 분석 도구가 있습니까?

특별히 처리해야하는 예외 만 xml 주석 처리라고 가정하면 다소 유용 할 것입니다.

Answer 1

나는 어떤 것에 대해 들어 본 적이 없었습니다 - 당신이 리플렉션을 사용할 수 없기 때문에 컴파일 된 어셈블리에서 의견을 얻을 수 없기 때문에, 나는 이것이 가능하다고 생각하지 않는다. 컴파일러 또는 코드 분석 도구가 가능하면 XML 주석에 Throw 된 (또는 다운 스트림?) 예외가 올바르게 주석 처리되었는지 여부를 확인하지만 그

사양 # Microsoft Research에서. 프로젝트 사이트에 따르면 :

SPEC #은 객체 지향 언어 C #의 확장자입니다. 그것은 유형 시스템을 확장하여 null이 아닌 유형과 체크 된 예외를 포함합니다. 사전 및 사후 조건의 형태와 대상 불변량의 형태로 방법 계약을 제공합니다.

, 나는 당신이 얻을 것처럼 당신이 얻는 것처럼 가깝게 생각합니다. 다음은 Java가 수행하는 작업을 수행합니다. 예외가 해당 예외 또는 상태를 처리 할 예외를 처리하는 기능의 호출자는 예외가 어딘가에 처리됩니다. Spec #은 특정 예외 유형 만 확인할 수 있는지 모르지만