c# - 如何安装和使用 Code Contracts？

Question

我有一个基本问题，可能很明显，但出于某种原因，我似乎无法成功安装和使用代码契约(Contract)。

我已经从 MSDN 下载了这个包，并按照在线文档安装了它，但我仍然收到针对以下代码语句的 IDE 警告:

Contract.Requires(inputParameter != "");

IDE 警告是:

“跳过方法调用。编译器不会生成方法调用，因为该方法是有条件的，或者是没有实现的部分方法”

在启用代码契约的过程中我遗漏了什么吗？我正在使用 VS2010 Ultimate SP1

Answer 1

这很可能是由于未在项目设置中配置代码契约(Contract)。如果你去你的项目属性，你应该看到一个代码契约(Contract)选项卡。在选项卡上，选择您正在构建的模式(调试|发布|两者)，然后通过选中相应的复选框来打开代码契约(Contract)功能。

当代码契约未设置为 Build 时，我看到了您详述的警告。

如果您没有看到 Code Contracts 选项卡，那么您可能需要在您的机器上安装 Code Contracts。通过从 here 下载并安装安装程序来执行此操作.