code合同问题

好了,伙计们,多亏了MS团队,我发现了问题。这种奇怪行为的原因是我的程序集名称以“.contracts.dll”结尾。问题是静态分析器不检查名称以该名称结尾的程序集。我重新命名了程序集,所有东西都像一个魅力,就像其他MS产品一样:)

如果你有,这个应该管用 Perform Static Contract Checking 已签入WinForms项目。同时验证 Perform Runtime Contract Checking 如果需要运行时检查,将签入类库项目。

另外,在你的类库项目中, Contract Reference Assembly 应设置为 Build .

代码合同文件:

如果您的项目包含合同并且被其他项目引用,我们强烈建议您在codecontracts的“属性”选项卡的“合同引用组件”部分下选择“生成”。

此合同引用程序集对于使项目中的合同可用于引用项目至关重要。如果不构建合同引用程序集,其他项目就无法确定存在哪些合同。

您没有编写所使用的Visual Studio版本。 afaik code cotnract静态分析仅适用于vs premium(即,标准和专业还不够)。