本文為機器翻譯文章。如需檢視英文版,請選取 [原文] 核取方塊。您也可以將滑鼠指標移到文字上,即可在快顯視窗顯示英文原文。
譯文
原文

PexContract 類別

Visual Studio 2015
 

程式碼合約的 Helper 方法

命名空間:   Microsoft.Pex.Framework.Generated
組件:  Microsoft.Pex.Framework (在 Microsoft.Pex.Framework.dll 中)

System.Object
  Microsoft.Pex.Framework.Generated.PexContract

public static class PexContract

名稱描述
System_CAPS_pubmethodSystem_CAPS_staticHasRequiredRuntimeContracts(String, PexRuntimeContractsFlags)

取得值,指出合約重寫者是否檢測了 assemblyName

System_CAPS_pubmethodSystem_CAPS_staticHasRequiredRuntimeContracts(Type, PexRuntimeContractsFlags)

取得值,指出包含 typeOfAssembly 的組件是否經過檢測。

System_CAPS_pubmethodSystem_CAPS_staticIsContractException(Exception)

程式碼合約的 Helper 方法

這個類型的任何公用靜態 (在 Visual Basic 中為 Shared) 成員都是安全執行緒。不保證任何執行個體成員是安全執行緒。

回到頁首
顯示: