PexAssertReachEventuallyAttribute Konstruktoren

Definition

Überlädt

PexAssertReachEventuallyAttribute()

Kennzeichnet eine Methode mit einem Ziel.

PexAssertReachEventuallyAttribute(Int32)

Kennzeichnet eine Methode mit einem oder mehreren Zielen, die durch eine Reihe von Ganzzahlen gekennzeichnet sind, beginnend mit 0 und endend mit count - 1.

PexAssertReachEventuallyAttribute(Int32[])

Kennzeichnet eine Methode mit einem oder mehreren Zielen, wobei jedes Ziel durch eine angegebene Ganzzahl gekennzeichnet ist.

PexAssertReachEventuallyAttribute(String[])

Kennzeichnet eine Methode mit einem oder mehreren Zielen, wobei jedes Ziel durch einen Zeichenfolgenbezeichner gekennzeichnet ist.

PexAssertReachEventuallyAttribute()

Kennzeichnet eine Methode mit einem Ziel.

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

Siehe auch

Gilt für

PexAssertReachEventuallyAttribute(Int32)

Kennzeichnet eine Methode mit einem oder mehreren Zielen, die durch eine Reihe von Ganzzahlen gekennzeichnet sind, beginnend mit 0 und endend mit 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)

Parameter

count
Int32

Die Anzahl von Zielen in der Methode.

Siehe auch

Gilt für

PexAssertReachEventuallyAttribute(Int32[])

Kennzeichnet eine Methode mit einem oder mehreren Zielen, wobei jedes Ziel durch eine angegebene Ganzzahl gekennzeichnet ist.

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())

Parameter

goals
Int32[]

Eine oder mehrere Ganzzahlen, von denen jede ein bestimmtes Ziel kennzeichnet.

Siehe auch

Gilt für

PexAssertReachEventuallyAttribute(String[])

Kennzeichnet eine Methode mit einem oder mehreren Zielen, wobei jedes Ziel durch einen Zeichenfolgenbezeichner gekennzeichnet ist.

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())

Parameter

goals
String[]

Eine oder mehrere Zeichenfolgen, von denen jede eines der Ziele der Methode kennzeichnet.

Siehe auch

Gilt für