Compartilhar via


PexAssertReachEventuallyAttribute Constructors

Definition

Overloads

PexAssertReachEventuallyAttribute()

Identifies a method with one goal.

PexAssertReachEventuallyAttribute(Int32)

Identifies a method with one or more goals, which are identified by a series of integers, starting with zero and ending with count - 1.

PexAssertReachEventuallyAttribute(Int32[])

Identifies a method with one or more goals, each identified by a specified integer.

PexAssertReachEventuallyAttribute(String[])

Identifies a method with one or more goals, each goal identified by a string identifier.

PexAssertReachEventuallyAttribute()

Identifies a method with one goal.

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

See also

Applies to

PexAssertReachEventuallyAttribute(Int32)

Identifies a method with one or more goals, which are identified by a series of integers, starting with zero and ending with count - 1.

public:
 PexAssertReachEventuallyAttribute(int count);
public PexAssertReachEventuallyAttribute (int count);
new Microsoft.Pex.Framework.PexAssertReachEventuallyAttribute : int -> Microsoft.Pex.Framework.PexAssertReachEventuallyAttribute
Public Sub New (count As Integer)

Parameters

count
Int32

The number of goals in the method.

See also

Applies to

PexAssertReachEventuallyAttribute(Int32[])

Identifies a method with one or more goals, each identified by a specified integer.

public:
 PexAssertReachEventuallyAttribute(... cli::array <int> ^ goals);
public PexAssertReachEventuallyAttribute (params int[] goals);
new Microsoft.Pex.Framework.PexAssertReachEventuallyAttribute : int[] -> Microsoft.Pex.Framework.PexAssertReachEventuallyAttribute
Public Sub New (ParamArray goals As Integer())

Parameters

goals
Int32[]

One or more integers, each of which identifies a particular goal.

See also

Applies to

PexAssertReachEventuallyAttribute(String[])

Identifies a method with one or more goals, each goal identified by a string identifier.

public:
 PexAssertReachEventuallyAttribute(... cli::array <System::String ^> ^ goals);
public PexAssertReachEventuallyAttribute (params string[] goals);
new Microsoft.Pex.Framework.PexAssertReachEventuallyAttribute : string[] -> Microsoft.Pex.Framework.PexAssertReachEventuallyAttribute
Public Sub New (ParamArray goals As String())

Parameters

goals
String[]

One or more strings, each of which identifies one of the method's goals.

See also

Applies to