如何找到 dotnet 库的 "code contracts"

Question

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

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

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

看了微软官方文档，网上也搜了搜，估计能在intellisense中出现，我去对象浏览器看看

Answer 1

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