.net core 是否支持代碼契約？

[英]Are code contracts supported in .net core?

在 .net 框架中有代碼契約，它允許我在我的代碼中指定前/后條件。 .net core/.net 5 是否支持它們？ ...

在閱讀代碼合同后，我無法辨別他們的目標

[英]Upon reading about Code Contracts I cannot discern their goal

我已經開始閱讀c# 中的代碼合同，但是盡管對前置條件和后置條件進行了所有解釋，但他們沒有提及它們實際上做了什么。 如果在運行時失敗，它們是否會引發異常的檢查或約束？ 如果他們的條件不滿足，他們是否會檢查引發警告或錯誤的設計時間？ ...

如何使用python“抓取”包含彈出窗口的站點？

[英]How to "webscrape" a site containing a popup window, using python?

我正在嘗試使用 python 抓取 etherscan 站點的某個部分，因為此功能沒有 api。 基本上轉到此鏈接，然后需要按驗證，然后會出現一個彈出窗口，您可以在此處看到。 我需要抓取的是這部分0x0882477e7895bdc5cea7cb1552ed914ab157fe56 ，以防消息以0x0 ...

為什么可以為后置條件和對象不變量添加和刪除代碼契約，而不能為 C# 中的前置條件添加和刪除？

[英]Why code contracts can be added and removed for postconditions and object invariants, but not for preconditions in C#?

為什么可以為后置條件和對象不變量添加和刪除代碼契約，而不能為 C# 中的前置條件添加和刪除？ 在CLR via C#書中，我遇到了以下摘錄： 並且由於新版本不能使契約更嚴格（不破壞兼容性），因此在引入新的虛擬、抽象或接口成員時應仔細考慮先決條件。 對於后置條件和對象不變量，可以隨意添加和刪除 ...

如何驗證方法之外的條件

[英]How to verify condition outside of a method

有沒有辦法在創建類變量的代碼點驗證類變量的完整性？ 例如，我創建並初始化一個類成員變量，如下所示： 正如我在代碼中指出的那樣，我想在“類”范圍內驗證我的數據內容，但Debug.Assert和Contract.Requires只能在方法（或屬性）范圍內工作。 編輯：這個問題最初使用一個列表，其 ...

如何在Ada中以二維數組類型作為參數的函數執行算術契約操作

[英]How to perform arithmetic contract operations on function taking in 2D array type as parameter in Ada

我有一個函數應該返回找到的島嶼的數量。 我將這個函數命名為 Count_Islands，它接收一個 Map 類型的 Map_Array 參數，其中 Map 是一個 Islands 數組。 Islands 是一個枚舉類型，帶有一組 Land、Water。 我在 .ads 中有函數規范 ...

Contract.Requires（）和循環不變的問題

[英]Issues with Contract.Requires() and loop invariant

我正在關注codecontracts教程（ https://docs.microsoft.com/en-us/dotnet/framework/debug-trace-profile/code-contracts#usage-guidelines ），我似乎無法完成最簡單的工作。 給定方法定義 ...

如何檢查和處理違反先決條件的行為？

[英]How to check for and handle precondition violations?

C ++ 20圍繞合同提供了一些令人驚嘆的新功能-對於模板來說，這將使生活變得更好-可以將圍繞類型或其他編譯時要求的約束放入模板定義中，並由編譯器進行適當的診斷。 好極了！ 但是，我非常擔心在發生運行時先決條件沖突時無條件終止的努力。 https://en.cppreference ...

不變方法中當前上下文中不存在該名稱

[英]The name does not exist in the current context in invariant method

我正在嘗試在停車場類中的程序中使用不變式（代碼契約庫），該停車場中實現了我的所有方法，但出現“名稱在當前上下文中不存在”。突出顯示的詞似乎引起了問題。 ConferenceID和parkingID來自停車場類別之外的兩個不同類別。 這是我到目前為止嘗試過的。 ...

使用Microsoft代碼協定檢查不變式

[英]checking invariant using Microsoft code contracts

剛接觸Microsoft代碼合同以檢查代碼中的前提條件，條件后條件和對象不變量（ https://docs.microsoft.com/zh-cn/dotnet/framework/debug-trace-profile/code-contracts ），並想嘗試一下。 我想確認一個關於完整性 ...

點網核心如何處理Arg.NotNull和Contract.Requires資產

[英]How does dot net core process Arg.NotNull and Contract.Requires assets

在aspnet-api-versioning中，我找到了一個代碼塊： 感興趣的塊是Arg.NotNull( value, "text" ); 從Microsoft名稱空間。 代碼中也有幾個類似的斷言。 另一個示例是System.Diagnostics.Contracts Con ...

如何在 C# 中啟用合約？

[英]How to enable Contracts in C#?

我試圖將合同包含在我的項目中，例如： 我收到錯誤（顯示為消息框），提示我應該安裝 CCRewrite。 我在這里安裝了它，但沒有出現項目設置中的“合同”選項卡，我繼續遇到相同的錯誤。 我正在使用 Visual Studio 2017 社區。 是否可以在此版本的 Visual Studio 中使用 ...

類不變，以確保字段上的特定數據類型不成立

[英]Class invariant to ensure a particular data type on a field does not hold

給出以下代碼： 為什么不變ints.GetType() == typeof(int[])不能被證明？ 如果我將不變式更改為ints.GetType() == ints.GetType()它將通過（沒有任何意外），但是為什么對typeof(int[])失敗。 ...

構建解決方案時，ccrewrite失敗，由於元數據錯誤，重寫中止->無法解析類型引用，僅在我的機器上失敗

[英]When building solution, ccrewrite fails with rewrite aborted due to metadata errors -> could not resolve type reference, fails on my machine only

我遇到一個非常奇怪的問題，當我嘗試構建解決方案時失敗了 命令““（solution）\\ packages \\ DotNet.Contracts.1.10.20606.1 \\ Bin \\ ccrewrite.exe”“ @（project）ccrewrite.rsp”“退出，代碼為- ...

比較合約中的整數

[英]Comparing integers in contracts

我正在基於代碼契約創建一個小型應用程序，有沒有一種寫規范的方法，該規范可以用石頭，紙，剪刀的方式工作？ 我想制定一個規范，該規范如下所示： 所以，如果你得到0和1 - 1勝，如果你得到1個2 - 2勝，如果你得到0 2 ， 0勝。 我想寫一個指定這種情況的方法的規范，有可能這樣做嗎？ ...

如果可能，將PostSharp的Contracts支持與AOP一起使用嗎？

[英]Using PostSharp's Contracts support with AOP if possible?

我有兩個與使用PostSharp的合同和AOP相關的問題： 可以從Visual Studio 2017開始終止對與Visual Studio 2015良好配合的Code合同的內置支持 （不幸的是，我認為）。 因此，我不希望將MS的合同與PostSharp一起使用（除非使用VS 2017可 ...

如何在 .NET Core 中正確使用代碼契約

[英]How to properly use Code Contracts in .NET Core

我想知道，如何在.NET Core中正確使用代碼契約，到目前為止，我嘗試將 CC 添加到我的項目中，編譯和調試。 我對出現在使用Contract.Requires的每個調用中的消息以及通過谷歌搜索找到的信息感到困惑。 消息指出： 必須使用代碼協定二進制重寫器 (CCRewrite) 重寫程序集，因為 ...

刪除Visual Studio 2017中的代碼協定

[英]Remove code contracts in Visual Studio 2017

我在VS2015中開發的C＃項目使用了Code Contracts 。 自從微軟開源以來，這個工具已經過時了，我不打算在VS2017中使用它。 也就是說，當我嘗試在VS2017中運行我的項目單元測試時，它抱怨需要使用CCRewrite重寫程序集，因為它包含前置條件。 當我創建一個具有前提條 ...

無法將代碼合同轉換為XML文檔文件

[英]Cant Emit Code Contracts into XML doc file

代碼合同版本：1.9.10714.2 當我嘗試“將合同發送到XML doc文件中”時收到此錯誤（參見圖像）。 為了清楚起見，該錯誤僅在復選框被選中時才會發生（見圖）。 ...

接口的ContractInvariant方法

[英]ContractInvariant method for interface

我是合同的新手，我通過了msdn的代碼合同文檔 https://msdn.microsoft.com/en-us/library/dd264808(v=vs.110).aspx 我選擇了合同不變式的想法。 但是，當我添加Invariant方法時，它不訪問表單接口的字段。 ...