Share via


PexAssumeNotNullAttribute Constructors

Definition

Overloads

PexAssumeNotNullAttribute()

A constructor to be used only on target declarations.

PexAssumeNotNullAttribute(Type)

A constructor for a specified type

PexAssumeNotNullAttribute(Type, String)

A constructor for a specified type and public field.

PexAssumeNotNullAttribute()

A constructor to be used only on target declarations.

public:
 PexAssumeNotNullAttribute();
public PexAssumeNotNullAttribute ();
Public Sub New ()

Applies to

PexAssumeNotNullAttribute(Type)

A constructor for a specified type

public:
 PexAssumeNotNullAttribute(Type ^ type);
public PexAssumeNotNullAttribute (Type type);
new Microsoft.Pex.Framework.PexAssumeNotNullAttribute : Type -> Microsoft.Pex.Framework.PexAssumeNotNullAttribute
Public Sub New (type As Type)

Parameters

type
Type

A positional parameter that specifies the type.

Applies to

PexAssumeNotNullAttribute(Type, String)

A constructor for a specified type and public field.

public:
 PexAssumeNotNullAttribute(Type ^ declaringType, System::String ^ fieldName);
public PexAssumeNotNullAttribute (Type declaringType, string fieldName);
new Microsoft.Pex.Framework.PexAssumeNotNullAttribute : Type * string -> Microsoft.Pex.Framework.PexAssumeNotNullAttribute
Public Sub New (declaringType As Type, fieldName As String)

Parameters

declaringType
Type

A positional parameter that specifies the declaring type.

fieldName
String

A positional parameter that specifies the field name.

Applies to