PexExplorableFromConstructorAndSettersAttribute(Type, Type[]) Constructor

Definition

Initializes a new instance of the PexExplorableFromConstructorAndSettersAttribute class.

public:
 PexExplorableFromConstructorAndSettersAttribute(Type ^ explorableType, ... cli::array <Type ^> ^ constructorParameterTypes);
public PexExplorableFromConstructorAndSettersAttribute (Type explorableType, params Type[] constructorParameterTypes);
new Microsoft.Pex.Framework.Explorable.PexExplorableFromConstructorAndSettersAttribute : Type * Type[] -> Microsoft.Pex.Framework.Explorable.PexExplorableFromConstructorAndSettersAttribute
Public Sub New (explorableType As Type, ParamArray constructorParameterTypes As Type())

Parameters

explorableType
Type

Type of the explorable.

constructorParameterTypes
Type[]

The constructor parameter types.

Applies to