Partager via


PexExplorableMutatorAttribute Constructors

Definition

Overloads

PexExplorableMutatorAttribute(Type, MethodBase)

Initializes a new instance of the PexExplorableAttributeBase class.

PexExplorableMutatorAttribute(Type, String, Type[])

Initializes a new instance of the PexExplorableMutatorAttribute class.

PexExplorableMutatorAttribute(Type, String, String, Type[])

Initializes a new instance of the PexExplorableMutatorAttribute class.

PexExplorableMutatorAttribute(Type, MethodBase)

Initializes a new instance of the PexExplorableAttributeBase class.

protected:
 PexExplorableMutatorAttribute(Type ^ explorableType, System::Reflection::MethodBase ^ instanceMethod);
protected PexExplorableMutatorAttribute (Type explorableType, System.Reflection.MethodBase instanceMethod);
new Microsoft.Pex.Framework.Explorable.PexExplorableMutatorAttribute : Type * System.Reflection.MethodBase -> Microsoft.Pex.Framework.Explorable.PexExplorableMutatorAttribute
Protected Sub New (explorableType As Type, instanceMethod As MethodBase)

Parameters

explorableType
Type

Explorable type which contains instance method

instanceMethod
MethodBase

The instance method.

Applies to

PexExplorableMutatorAttribute(Type, String, Type[])

Initializes a new instance of the PexExplorableMutatorAttribute class.

public:
 PexExplorableMutatorAttribute(Type ^ explorableType, System::String ^ methodName, ... cli::array <Type ^> ^ parameterTypes);
public PexExplorableMutatorAttribute (Type explorableType, string methodName, params Type[] parameterTypes);
new Microsoft.Pex.Framework.Explorable.PexExplorableMutatorAttribute : Type * string * Type[] -> Microsoft.Pex.Framework.Explorable.PexExplorableMutatorAttribute
Public Sub New (explorableType As Type, methodName As String, ParamArray parameterTypes As Type())

Parameters

explorableType
Type

Explorable type which contains instance method

methodName
String

Name of the mutator method.

parameterTypes
Type[]

The parameter types; or null for any types.

Applies to

PexExplorableMutatorAttribute(Type, String, String, Type[])

Initializes a new instance of the PexExplorableMutatorAttribute class.

public:
 PexExplorableMutatorAttribute(Type ^ typeOfExplorableTypeAssembly, System::String ^ explorableTypeFullName, System::String ^ methodName, ... cli::array <Type ^> ^ parameterTypes);
public PexExplorableMutatorAttribute (Type typeOfExplorableTypeAssembly, string explorableTypeFullName, string methodName, params Type[] parameterTypes);
new Microsoft.Pex.Framework.Explorable.PexExplorableMutatorAttribute : Type * string * string * Type[] -> Microsoft.Pex.Framework.Explorable.PexExplorableMutatorAttribute
Public Sub New (typeOfExplorableTypeAssembly As Type, explorableTypeFullName As String, methodName As String, ParamArray parameterTypes As Type())

Parameters

typeOfExplorableTypeAssembly
Type

The type of explorable type assembly.

explorableTypeFullName
String

Full name of the explorable type.

methodName
String

Name of the mutator method.

parameterTypes
Type[]

The parameter types; or null for any types.

Applies to