PexExplorableMutatorAttribute Constructors
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
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.