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

PexRandomExplorableStrategyAttribute 類別

Visual Studio 2015
 

產生在範圍內的隨機變動子序列。

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


[AttributeUsageAttribute(AttributeTargets.Method, AllowMultiple = false)]
public sealed class PexRandomExplorableStrategyAttribute : PexExplorableStrategyAttributeBase

名稱描述
System_CAPS_pubmethodPexRandomExplorableStrategyAttribute()

建立適用於所有類型的隨機可探勘策略。

System_CAPS_pubmethodPexRandomExplorableStrategyAttribute(Type, String[])

建立適用於一組 (可能為泛型) 類型的隨機可探勘策略。

System_CAPS_pubmethodPexRandomExplorableStrategyAttribute(Type[])

建立適用於一組 (可能為泛型) 類型的隨機可探勘策略。

名稱描述
System_CAPS_pubpropertyCount

取得或設定序列長度上限。

System_CAPS_pubpropertyMaxLength

取得或設定序列長度上限。

System_CAPS_pubpropertyName

取得此套件的名稱。(繼承自 PexExplorationPackageAttributeBase。)

System_CAPS_pubpropertyTypeId

(繼承自 Attribute。)

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

回到頁首
顯示: