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開發機器上，