c# - 如何找到 dotnet 库的 "code contracts"

Question

我才刚刚开始，如果我得到一个未经证实的保证。如果我知道我正在调用的方法上的契约(Contract)是什么，那很好，如果我不知道我正在猜测的契约(Contract)。

但是，尽管这似乎是契约(Contract)的重点，但我可以在任何地方找到它们吗？没有。

例如IDictionary.Add 上的契约是什么？

我已经阅读了 Microsoft 官方文档并在互联网上进行了搜索，我希望它们会出现在智能感知中，我会去看看对象浏览器。

Answer 1

安装 Code Contracts Editor Extensions从 Microsoft Research 获得对代码契约的智能感知支持。