【问题标题】:What could be causing Code Contracts to cancel a build operation?什么可能导致代码合同取消构建操作?
【发布时间】:2023-03-11 09:50:02
【问题描述】:

我在尝试构建使用代码合同的解决方案时遇到了一个非常奇怪的问题。没有明显的原因,在某些时候构建被取消 - 或者它在 VS 的输出窗口中说。没有任何类型的编译错误,如果我选择不同的构建配置 - 不使用代码合同的配置 - 解决方案构建没有任何问题。

有什么东西会使代码合同取消构建吗?

我正在使用 和 Update 4 和 CC 版本 1.7.11106.10,这是迄今为止最新的版本。

【问题讨论】:

  • 在“输出”窗格中,将“显示输出自”下拉菜单更改为“代码合同编辑器扩展”,然后查看是否有其他消息。此外,检查错误列表窗格中的警告和消息。
  • @Keith 恐怕我没有编辑器扩展。我正在使用 VS2013。

标签: visual-studio-2013 c# .net visual-studio msbuild code-contracts


【解决方案1】:

好的,我似乎找到了问题。

显然,代码契约将导致构建失败,例如在 Ensure 方法之后调用 Require 方法、通过嵌套调用未标记为 Pure 的方法调用 Require 等。这些在构建输出中显示为警告,而不是作为错误窗口中的错误。

只需查看警告,尝试修复它们并重新构建。

【讨论】:

    猜你喜欢
    • 1970-01-01
    • 2012-01-15
    • 1970-01-01
    • 1970-01-01
    • 2014-12-16
    • 2010-11-25
    • 1970-01-01
    • 1970-01-01
    • 2017-06-19
    相关资源
    最近更新 更多