代码合同：ccrewrite 退出并显示代码 -1？

Question

我是代码合同的新手。我下载了最新版本的代码合约项目（1.4.40314.1）并开始在我的项目中实现它。当我通过 VS2010 中的“代码合同”选项卡启用“运行检查”时，出现此错误

Error 1 The command ""C:\Program Files (x86)\Microsoft\Contracts\Bin\ccrewrite" "@Application1ccrewrite.rsp" 都会以代码 -1 退出。

每次我构建项目时， 请帮忙。

---

现在这对我来说是一个大问题。 每个使用代码合同的项目都在 VS2010 错误窗口中显示相同的错误，并且在输出窗口中找不到“Application1ccrewrite.rsp”，但它确实存在。

---

我尝试了一切。我安装了两个版本（Pro、Std），但问题仍然存在。请帮忙！

---

Answer 1

我也有这个问题。就我而言，问题是 ccrewrite 无法处理网络文件夹中的文件，但要求项目位于本地硬盘上。

Answer 2

我遇到了这个问题。导致问题的类库的程序集名称和默认命名空间与目标文件夹中现有的 DLL 具有相同的名称。我一直在重构我的代码，虽然 CS 文件中的命名空间已全部更改为命名空间 2，但属性文件中的默认命名空间仍然是命名空间 1
当我更正此问题时，所有文件都已成功构建......

Answer 3

有时，当您的解决方案路径太长时，尤其是对于许多项目，您可能会遇到这种情况。

尝试移动到 c:\temp 并构建它，它可能会修复它（当然，如果您在当前所在的文件夹中需要它，这可能不是一个解决方案）。

我在早期的 CC 版本中注意到了这个错误，现在可能已修复。

Answer 4

不知道你是否也遇到了和我一样的问题，但我也看到了这个错误。就我而言，我有一个带有 switch 语句的方法，并且根据所采用的分支，应用了不同的要求：

static ITransaction CreateTransaction(
    String transType,
    MyType1 parm1,
    /* Other params unimportant to this example */
    String parm5)
{
    switch (transType) {
        case Transaction.Type.SOME_TRANSFER:
            Contract.Requires<ArgumentNullException>(parm1.Account != null, "Account cannot be null.");
            Contract.Requires<ArgumentException>(!String.IsNullOrWhiteSpace(parm5), "parm5 cannot be null or empty.");

            // Create instance

            return someInst;

        case Transaction.Type.SOME_OTHER_TRANSFER:
            Contract.Requires<ArgumentException>(!String.IsNullOrWhiteSpace(parm1.Type), "Type cannot be null or empty.");
            Contract.Requires<ArgumentException>(!String.IsNullOrWhiteSpace(parm1.Number), "Number cannot be null or empty.");

            // Create instance

            return someInst;

        /* Other cases */

        default:
            throw new ApplicationException("Invalid or unknown transaction type provided.");
    }
}

当我尝试构建时，这给了我您在错误列表中指出的错误。在输出窗口中，我得到了这个：

EXEC：参考汇编生成器
警告：有问题
方法中的合同号 1
'TerraCognita.LoanExpress.Domain.Loan.CreateLoanTransaction'
AsmMeta 失败且未捕获
异常：由于操作无效
到对象的当前状态。

我将每个分支推入其自己的方法中，使 Contract.Requires 每个方法中的第一行代码，并且我不再遇到编译问题。看来 Contract.Requires 必须是方法中的第一行代码 - 这是有道理的，因为它们旨在用于定义前置条件。

希望这有帮助。

Answer 5

解决方案是将前置条件和后置条件放在第一行。 ccrewrite 不接受前置条件和后置条件位于命令行下方。