design-by-contract - 如何在 Visual Studio 2010 中设置 Microsoft 合同静态检查？

Question

我最近下载了 Visual Studio 2010b2，并想重新评估我关于 Microsoft 合同静态检查器的一些问题。

我设法通过使用代码的命名空间来重用大部分System.Diagnostics.Contracts代码，但我不确定如何启用静态检查器。我需要额外的插件吗？

我的印象是按合同设计应该在 VS2010 中“正常工作”。

谢谢你的帮助。

Answer 1

我希望它也能“正常工作”。它没有。您仍然需要安装这些位才能进行静态检查。