PexAssertReachEventuallyAttribute 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
| 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 |
| 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.PexAssertReachEventuallyAttributePublic 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.PexAssertReachEventuallyAttributePublic 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.PexAssertReachEventuallyAttributePublic Sub New (ParamArray goals As String())Parameters
- goals
- String[]
One or more strings, each of which identifies one of the method's goals.