PexRandomExplorableStrategyAttribute Constructors

Definition

Namespace:

Microsoft.Pex.Framework.Explorable

Assembly:

Microsoft.Pex.Framework.dll

Overloads

PexRandomExplorableStrategyAttribute()	Creates a random explorable strategy that applies to all types.
PexRandomExplorableStrategyAttribute(Type[])	Creates a random explorable strategy that applies to a set of (possibly generic) types.
PexRandomExplorableStrategyAttribute(Type, String[])	Creates a random explorable strategy that applies to a set of (possibly generic) types.

PexRandomExplorableStrategyAttribute()

Creates a random explorable strategy that applies to all types.

public:
 PexRandomExplorableStrategyAttribute();

public PexRandomExplorableStrategyAttribute ();

Public Sub New ()

PexRandomExplorableStrategyAttribute(Type[])

Creates a random explorable strategy that applies to a set of (possibly generic) types.

public:
 PexRandomExplorableStrategyAttribute(... cli::array <Type ^> ^ types);

public PexRandomExplorableStrategyAttribute (params Type[] types);

new Microsoft.Pex.Framework.Explorable.PexRandomExplorableStrategyAttribute : Type[] -> Microsoft.Pex.Framework.Explorable.PexRandomExplorableStrategyAttribute

Public Sub New (ParamArray types As Type())

Parameters

types

Type[]

The types.

PexRandomExplorableStrategyAttribute(Type, String[])

Creates a random explorable strategy that applies to a set of (possibly generic) types.

public:
 PexRandomExplorableStrategyAttribute(Type ^ typeOfAssembly, cli::array <System::String ^> ^ fullyQualifiedTypeNames);

public PexRandomExplorableStrategyAttribute (Type typeOfAssembly, string[] fullyQualifiedTypeNames);

new Microsoft.Pex.Framework.Explorable.PexRandomExplorableStrategyAttribute : Type * string[] -> Microsoft.Pex.Framework.Explorable.PexRandomExplorableStrategyAttribute

Public Sub New (typeOfAssembly As Type, fullyQualifiedTypeNames As String())

Parameters

typeOfAssembly

Type

The type of assembly.

fullyQualifiedTypeNames

String[]

The fully qualified type names.