public void DoSomething(int barLength)
{
Console.WriteLine(barLength);
// Do something part 1.
Asserts.Variable(this.Foo, nameof(this.Foo)).NotEqual(0, () => "Foo becomes 0 when we are doing something.");
// Do something part 2.
Ensures.IsTrue(this.AreSomeStatesExpected(), () => "Some states are not expected.");
}
public void EnsuresIsTrueCanValidate()
{
Ensures.IsTrue(true);
Ensures.IsTrue <InvalidOperationException>(true, () => "Customized error message.");
Ensures <InvalidOperationException> .IsTrue(true, () => "Customized error message.");
Assert.Throws <PostconditionViolationException>(() => Ensures.IsTrue(false));
Assert.Throws <InvalidOperationException>(() => Ensures.IsTrue <InvalidOperationException>(false, () => "Customized error message."));
Assert.Throws <InvalidOperationException>(() => Ensures <InvalidOperationException> .IsTrue(false, () => "Customized error message."));
}
