The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.
This documentation is archived and is not being maintained.
PexAssert Class
Static class to express assertions, i.e. a postcondition, in parameterized unit tests.
If the asserted condition does not hold for some test input, a PexAssertFailedException is thrown, which will cause the test to fail.
Namespace:
Microsoft.Pex.Framework Assembly:
Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)
[__InstrumentAttribute]
public ref class PexAssert abstract sealed
Name Description AreEqual(Boolean, Boolean) AreEqual(Boolean, Boolean, String^) AreEqual(Boolean, Boolean, String^, array<Object^>^) AreEqual(Double, Double, Double) AreEqual(Double, Double, Double, String^) AreEqual(Double, Double, Double, String^, array<Object^>^) AreEqual(Object^, Object^) AreEqual(Object^, Object^, String^) AreEqual(Object^, Object^, String^, array<Object^>^) AreEqual(Single, Single, Single) AreEqual(Single, Single, Single, String^) AreEqual(Single, Single, Single, String^, array<Object^>^) AreEqual(String^, String^, Boolean) AreEqual(String^, String^, Boolean, CultureInfo^) AreEqual(String^, String^, Boolean, CultureInfo^, String^) AreEqual(String^, String^, Boolean, CultureInfo^, String^, array<Object^>^) AreEqual(String^, String^, Boolean, String^) AreEqual(String^, String^, Boolean, String^, array<Object^>^) AreEqual<T> (T, T) AreEqual<T> (T, T, PexEqualityComparison<T>^) AreEqual<T> (T, T, String^) AreEqual<T> (T, T, String^, array<Object^>^) AreNotEqual(Double, Double, Double) AreNotEqual(Double, Double, Double, String^) AreNotEqual(Double, Double, Double, String^, array<Object^>^) AreNotEqual(Object^, Object^) AreNotEqual(Object^, Object^, String^) AreNotEqual(Object^, Object^, String^, array<Object^>^) AreNotEqual(Single, Single, Single) AreNotEqual(Single, Single, Single, String^) AreNotEqual(Single, Single, Single, String^, array<Object^>^) AreNotEqual(String^, String^, Boolean) AreNotEqual(String^, String^, Boolean, CultureInfo^) AreNotEqual(String^, String^, Boolean, CultureInfo^, String^) AreNotEqual(String^, String^, Boolean, CultureInfo^, String^, array<Object^>^) AreNotEqual(String^, String^, Boolean, String^) AreNotEqual(String^, String^, Boolean, String^, array<Object^>^) AreNotEqual<T> (T, T) AreNotEqual<T> (T, T, PexEqualityComparison<T>^) AreNotEqual<T> (T, T, String^) AreNotEqual<T> (T, T, String^, array<Object^>^) ClearReached() CreateException() Fail() Fail(Exception^, String^) Fail(String^) Fail(String^, array<Object^>^) IsNotNull(Object^) IsNotNull(Object^, String^) IsNotNull(Object^, String^, array<Object^>^) IsNull(Object^) IsNull(Object^, String^) IsNull(Object^, String^, array<Object^>^) IsTrue(Boolean) IsTrue(Boolean, String^) IsTrue(Boolean, String^, array<Object^>^) ReachEventually() ReachEventually(Int32) ReachEventually(String^)
Asserts that the absolute value of an integer is positive:
public void Test(int i) {
int j = Math.Abs(i);
PexAssert.IsTrue(j >= 0);
}
Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.
Return to top