Share via

PexExplorableFromMethodAttribute Constructors

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework.Explorable
Assembly:
Microsoft.Pex.Framework.dll

Overloads

PexExplorableFromMethodAttribute(Type, MethodBase)

Initializes a new instance of the PexExplorableFromMethodAttribute class.
PexExplorableFromMethodAttribute(Type, Type, String, Type[])

Initializes a new instance of the PexExplorableFromMethodAttribute class.
PexExplorableFromMethodAttribute(Type, String, Type, String, Type[])

Initializes a new instance of the PexExplorableFromMethodAttribute class.

PexExplorableFromMethodAttribute(Type, MethodBase)

Initializes a new instance of the PexExplorableFromMethodAttribute class.

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

Parameters

explorableType
Type

Type of the explorable.

explorationMethod
MethodBase

The exploration method.

Applies to

PexExplorableFromMethodAttribute(Type, Type, String, Type[])

Initializes a new instance of the PexExplorableFromMethodAttribute class.

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

Parameters

explorableType
Type

Type which can be constructed by exploring a (parameterized) Method.

explorationMethodDeclaringType
Type

Type which declares the method which should be explored.

explorationMethodName
String

Name of the exploration method.

explorationMethodParameterTypes
Type[]

The exploration method parameter types; or null for any types.

Applies to

PexExplorableFromMethodAttribute(Type, String, Type, String, Type[])

Initializes a new instance of the PexExplorableFromMethodAttribute class.

public:
 PexExplorableFromMethodAttribute(Type ^ explorableTypeAssembly, System::String ^ explorableTypeFullName, Type ^ explorationMethodDeclaringType, System::String ^ explorationMethodName, ... cli::array <Type ^> ^ explorationMethodParameterTypes);
public PexExplorableFromMethodAttribute (Type explorableTypeAssembly, string explorableTypeFullName, Type explorationMethodDeclaringType, string explorationMethodName, params Type[] explorationMethodParameterTypes);
new Microsoft.Pex.Framework.Explorable.PexExplorableFromMethodAttribute : Type * string * Type * string * Type[] -> Microsoft.Pex.Framework.Explorable.PexExplorableFromMethodAttribute
Public Sub New (explorableTypeAssembly As Type, explorableTypeFullName As String, explorationMethodDeclaringType As Type, explorationMethodName As String, ParamArray explorationMethodParameterTypes As Type())

Parameters

explorableTypeAssembly
Type

The explorable type assembly.

explorableTypeFullName
String

Type which can be constructed by exploring a (parameterized) Method.

explorationMethodDeclaringType
Type

Type which declares the method which should be explored.

explorationMethodName
String

Name of the exploration method.

explorationMethodParameterTypes
Type[]

The exploration method parameter types; or null for any types.

Applies to