code-contracts

2热度

3回答

是否可以抛出一个异常来获得[pure]属性？

1热度

1回答

美好的一天。我正在测试C＃代码合同。我一直在做一些矩阵实现，并希望使用代码合同来进行算术检查（例如，何时是矩阵乘法有效）。为了存储数据，我使用的一个维阵列，并访问数据是这样的： values[r * TotalColumns + c] R：行访问 C：柱访问我的问题是：代码合约认为此访问可能高于数组的上限。我认为我已经提供了足够的信息，以便系统验证这是不可能的（参见下面的示例）。

0热度

2回答

如何在D中检查字段旧值的后置条件？

在C＃中，我可以在后置条件中使用Contract.OldValue<T>来检查字段是如何改变的。我如何在D中做到这一点？我在文档中阅读了the relevant page，但没有提到这一点。具体来说，我正在编写一个页面渲染器，并跟踪它在成员变量中获得的页面距离多远。我想在out块中声明变量的值至少与开始时的值一样大（即它应该向下移动页面，而不是向上移动）。 class Renderer {

0热度

1回答

Contract.Ensures

格式错误的合同部分为什么我在以下代码中收到此建筑错误“方法...中格式错误的合同部分...”？ List<int> MatrizesCorrelacao; public string lsMatrizes { get { if (TudoDataUnica == true) { return "0";

0热度

1回答

广东话输出代码合同到XML doc文件

代码契约版本：1.9.10714.2 收到此错误，当我尝试“的Emit合同到XML doc文件”（见图片）。要清除错误，只有在勾选复选框时才会出现错误（请参阅图像）。

29热度

5回答

VS2017是否支持CodeContracts？

我刚刚安装了新发布的Visual Studio 2017 Enterprise（RC）。但是，我无法使其与Microsoft CodeContracts合作。使用VS2015的CodeContract完全没有问题。我错过了什么吗？

1热度

1回答

如何指定需要输出参数？

与此问题相关：How to specify Ensures for out parameter? 我该怎么做Ensures.Requires() -method？

3热度

1回答

在Visual Studio 2017中删除代码合同

我在VS2015中开发的C＃项目使用Code Contracts。自从微软开放源代码后，这个工具已经过时了，我不打算在VS2017中使用它。也就是说，当我尝试在VS2017中运行我的项目的单元测试时，它抱怨使用CCRewrite需要重写程序集，因为它包含前提条件。当我用前提条件创建一个新的VS2017项目（作为测试）时，我不会看到这个错误。我需要做些什么来摆脱遗留项目中的错误信息？

0热度

1回答

代码合同在不同的项目

我有一个项目与合同（项目A），生成一个库和另一个（项目B），实现从该库的接口。我试着将项目A中的合同文件复制到项目B，并且合同在运行时触发而没有问题。但是当我试图从项目B引用项目A.静态分析器仍在工作，但运行时检查不再有效。我做错了什么？有什么我不明白代码合同是如何工作的？

-1热度

1回答

如何使用DotNet.Contracts NuGet包？

可能有人阐明如何使用DotNet.Contracts NuGet包在Visual Studio 2015年和2017年一些轻？它是在Visual Studio中使用代码合约所需的唯一组件吗？我仍然需要安装Contracts.devlab9ts.msi ???试图安装Contracts.devlab9ts.msi时，出现错误'扩展名'不是有效的短文件名。这发生在我的Windows 10开发机器上，