public void Positive_MultiplePreconditionsMethod_DoesNotThrowIfArgsPositive()
{
var demo = new PositiveConsumer();
Assert.DoesNotThrow(() =>
demo.MultiplePreconditionsMethod(1, 3.14));
}
public void Positive_PreAndPostconditionMethod_ThrowsIfArgNegative()
{
var demo = new PositiveConsumer();
Assert.Throws <PreconditionException>(() =>
demo.PreAndPostconditionMethod(-1));
}
public void Positive_PostconditionMethod_ThrowsIf0()
{
var demo = new PositiveConsumer();
Assert.Throws <PostconditionException>(() =>
demo.PostconditionMethod(0));
}
public void Positive_PreAndPostconditionMethod_DoesNotThrowIfArgAndResultPositive()
{
var demo = new PositiveConsumer();
Assert.DoesNotThrow(() =>
demo.PreAndPostconditionMethod(100));
}
public void Positive_PostconditionMethod_DoesNotThrowIfPositive()
{
var demo = new PositiveConsumer();
Assert.DoesNotThrow(() =>
demo.PostconditionMethod(1));
}
public void Positive_NormalMethod_DoesNotThrow()
{
var demo = new PositiveConsumer();
Assert.DoesNotThrow(() =>
demo.NormalMethod());
}
public void Positive_NullablePostconditionMethod_ThrowsIfNegative()
{
var demo = new PositiveConsumer();
Assert.Throws <PostconditionException>(() =>
demo.PostconditionNullableMethod(-1));
}
public void Positive_NullablePostconditionMethod_DoesNotThrowIfNull()
{
var demo = new PositiveConsumer();
Assert.DoesNotThrow(() =>
demo.PostconditionNullableMethod(null));
}
public void Positive_NullablePreconditionMethod_ThrowsIf0()
{
var demo = new PositiveConsumer();
Assert.Throws <PreconditionException>(() =>
demo.PreconditionNullableMethod(0));
}
public void Positive_ContractReadWriteProperty_SetThrowsIfNegative()
{
var demo = new PositiveConsumer();
Assert.Throws <PreconditionException>(() => {
demo.ContractReadWriteProperty = -1;
});
}
public void Positive_ContractReadWriteProperty_SetDoesNotThrowIfPositive()
{
var demo = new PositiveConsumer();
Assert.DoesNotThrow(() => {
demo.ContractReadWriteProperty = 1;
});
}
public void Positive_NormalProperty_SetDoesNotThrow()
{
var demo = new PositiveConsumer();
Assert.DoesNotThrow(() => {
demo.NormalReadWriteProperty = 0;
});
}
public void Positive_PreAndPostconditionMethod_ThrowsIfResult0()
{
var demo = new PositiveConsumer();
Func <string> textGenerator = () => null;
Assert.Throws <PostconditionException>(() =>
demo.PreAndPostconditionMethod(1));
}
public void Positive_ContractReadWriteProperty_GetThrowsIfNegative()
{
var demo = new PositiveConsumer();
demo._readWritePropertyWithContract = 0;
Assert.Throws <PostconditionException>(() => {
var x = demo.ContractReadWriteProperty;
});
}
public void Positive_ContractReadWriteProperty_GetDoesNotThrowIfPositive()
{
var demo = new PositiveConsumer();
demo._readWritePropertyWithContract = 1;
Assert.DoesNotThrow(() => {
var x = demo.ContractReadWriteProperty;
});
}
public void Positive_MultiplePreconditionsMethod_ThrowsIfAnyArgNegative()
{
var demo = new PositiveConsumer();
Assert.Throws <PreconditionException>(() =>
demo.MultiplePreconditionsMethod(1, -1));
Assert.Throws <PreconditionException>(() =>
demo.MultiplePreconditionsMethod(-1, 1));
}
