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)); }