public void NonNull_MultiplePreconditionsMethod_DoesNotThrowIfNoArgsNull()
{
var demo = new NonNullConsumer();
Assert.DoesNotThrow(() =>
demo.MultiplePreconditionsMethod("test", "testing"));
}
public void NonNull_NormalMethod_DoesNotThrow()
{
var demo = new NonNullConsumer();
Assert.DoesNotThrow(() =>
demo.NormalMethod());
}
public void NonNull_PreAndPostconditionMethod_ThrowsIfArgNull()
{
var demo = new NonNullConsumer();
Assert.Throws <PreconditionException>(() =>
demo.PreAndPostconditionMethod(null));
}
public void NonNull_PostconditionMethod_ThrowsIfResultNull()
{
var demo = new NonNullConsumer();
Assert.Throws <PostconditionException>(() =>
demo.PostconditionMethod(null));
}
public void NonNull_PostconditionMethod_DoesNotThrowIfResultNotNull()
{
var demo = new NonNullConsumer();
Assert.DoesNotThrow(() =>
demo.PostconditionMethod("test"));
}
public void NonNull_ContractReadWriteProperty_SetThrowsIfNull()
{
var demo = new NonNullConsumer();
Assert.Throws <PreconditionException>(() => {
demo.ContractReadWriteProperty = null;
});
}
public void NonNull_ContractReadWriteProperty_SetDoesNotThrowIfNotNull()
{
var demo = new NonNullConsumer();
Assert.DoesNotThrow(() => {
demo.ContractReadWriteProperty = "test";
});
}
public void NonNull_NormalProperty_SetDoesNotThrow()
{
var demo = new NonNullConsumer();
Assert.DoesNotThrow(() => {
demo.NormalReadWriteProperty = null;
});
}
public void NonNull_PreAndPostconditionMethod_ThrowsIfResultNull()
{
var demo = new NonNullConsumer();
Func <string> textGenerator = () => null;
Assert.Throws <PostconditionException>(() =>
demo.PreAndPostconditionMethod(textGenerator));
}
public void NonNull_PreAndPostconditionMethod_DoesNotThrowIfArgAndResultNotNull()
{
var demo = new NonNullConsumer();
Func <string> textGenerator = () => "test";
Assert.DoesNotThrow(() =>
demo.PreAndPostconditionMethod(textGenerator));
}
public void NonNull_ContractReadWriteProperty_GetThrowsIfNull()
{
var demo = new NonNullConsumer();
demo._readWritePropertyWithContract = null;
Assert.Throws <PostconditionException>(() => {
var x = demo.ContractReadWriteProperty;
});
}
public void NonNull_ContractReadWriteProperty_GetDoesNotThrowIfNotNull()
{
var demo = new NonNullConsumer();
demo._readWritePropertyWithContract = "test";
Assert.DoesNotThrow(() => {
var x = demo.ContractReadWriteProperty;
});
}
public void NonNull_MultiplePreconditionsMethod_ThrowsIfAnyArgNull()
{
var demo = new NonNullConsumer();
Assert.Throws <PreconditionException>(() =>
demo.MultiplePreconditionsMethod("test", null));
Assert.Throws <PreconditionException>(() =>
demo.MultiplePreconditionsMethod(null, "test"));
}
