Visual Studio 2010 Pro RC 中的 Code Contract 属性

Posted 2023-03-28

【中文标题】Visual Studio 2010 Pro RC 中的 Code Contract 属性

【英文标题】：Code Contract's properties in Visual Studio 2010 Pro RC

【发布时间】：2010-02-15 00:04:23

【问题描述】：

因此，Visual Studio 2010 的属性中似乎应该有一个“代码合同”选项卡。我在任何地方都找不到它。也许这是我的 Visual Studio 安装的问题？我正在运行 RC 版本。

这就是我所拥有的：

alt text http://img192.imageshack.us/img192/5928/lcmitpm2aur5e4uiabdtofw.png

有谁知道可能出了什么问题？也许我找错地方了？

谢谢

【参考方案1】：

您必须先下载并安装code contracts。即使这样，您也只能获得合同的运行时检查。静态检查需要 Visual Studio 高级版。

【讨论】：

顺便说一句，我已请求在所有版本的 Visual Studio (visualstudio.uservoice.com/forums/121579-visual-studio/…) 中获得代码合同支持。一些投票可能会有所帮助。

【参考方案2】：

你真的安装了Code Contracts stuff from DevLabs吗？

【讨论】：

啊，我还以为是 VS 2010 自带的？它甚至有 System.Diagnostics.Contracts 命名空间，因此被加载到 VS 中。

我的理解是，虽然System.Diagnostics.Contracts 包含在 .NET 4 中，但您还需要单独安装才能获得工具和 VS 集成。