1

我有一个 Visual Studio 解决方案，其中包含分别用 ContractClass 和 ContractClassFor 装饰的接口和合同的项目。

该解决方案在 Visual Studio 2010 下正确构建，但在 Visual Studio 2012 下无法构建。错误：

执行：错误 CC1019：类型“Namespace.Interface”指定类“Namespace.ContractClass”作为其合同类

我更新到最新版本的代码合同工具（1.4.50813.1），运行“devenv /setup”并重新启动机器。

对此有什么帮助吗？谢谢

4

2 回答 2

0

您是否尝试"Perform Static Contract Checking"从属性窗口中删除？

于 2012-09-25T12:44:03.893 回答
0

Visual Studio 允许您通过 Visual Studio 的“项目属性”页面更改 CodeContract 选项。

MSDN 对此有一篇很好的文章，并附有一些屏幕截图来帮助您 ( http://msdn.microsoft.com/en-us/magazine/hh148151.aspx )

有一个标有“执行静态合同检查”的复选框，这是这些问题的常见原因。

如果这不能解决您的问题，我建议您将 VS2012 中的设置与 VS2010 中的设置进行比较。

于 2012-09-25T15:31:45.410 回答