我如何找到＆＃34;代码合同＆＃34;对于dotnet库

Question

我刚刚开始这个，如果我得到未经证实的保证。那很好如果我知道我打电话的合同是什么，如果我不知道我猜的合同。

但是，即使这似乎是合同的重点，我能在任何地方找到它们吗？号

e.g。 IDictionary.Add的合约是什么？

我已经阅读了微软官方文档并浏览了互联网，我希望它们能够在智能感知中出现，我会去查看对象浏览器。

Answer 1

从Microsoft Research安装Code Contracts Editor Extensions以获得对代码合同的intellisense支持。