PexExplorableFromConstructorAttribute(Type, Type[]) Constructor

Definition

Initializes a new instance of the PexExplorableFromConstructorAttribute class.

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

Parameters

explorableType
Type

Type which can be constructed by exploring one of its constructors.

constructorParameterTypes
Type[]

The constructor parameter types.

Applies to