PexCrossProductExplorableStrategyAttribute Constructors

Definition

Namespace:

Microsoft.Pex.Framework.Explorable

Assembly:

Microsoft.Pex.Framework.dll

Overloads

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

PexCrossProductExplorableStrategyAttribute()

Creates a product explorable strategy that applies to all types.

public:
 PexCrossProductExplorableStrategyAttribute();

public PexCrossProductExplorableStrategyAttribute ();

Public Sub New ()

PexCrossProductExplorableStrategyAttribute(Type[])

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

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

public PexCrossProductExplorableStrategyAttribute (params Type[] types);

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

Public Sub New (ParamArray types As Type())

Parameters

types

Type[]

The types.

PexCrossProductExplorableStrategyAttribute(Type, String[])

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

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

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

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

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

Parameters

typeOfAssembly

Type

The type of assembly.

fullyQualifiedTypeNames

String[]

The fully qualified type names.