public static void Test4(AddressesSimple a)
{
if (a != null)
{
Contract.Assert(a != null);
}
}
public static void Test2(AddressesSimple a)
{
if (a != null && a.i > 5)
{
Contract.Assert(a.i > 5);
}
}
public static void SyntaxText7(ref int x, AddressesSimple a)
{
// test store instructions
x = 10;
z = 100;
a.i = 1;
}
public static void SyntaxTest6(ref int x, AddressesSimple a)
{
int y = x;
int z = 0;
SyntaxTest6(ref z, a);
SyntaxTest5(ref a.i);
SyntaxTest5(ref AddressesSimple.z);
}
public static void Test3(AddressesSimple a)
{
Contract.Assume(a != null && a.i <= 5);
if (a != null && a.i > 5)
{
Contract.Assert(a.i > 5);
}
else
{
Contract.Assert(false);
}
}
public static void Test7(AddressesSimple a)
{
var c = new AddressesSimple();
c.i = 5;
var b = new AddressesSimple();
b.i = 5;
PassByRef(ref b.i);
int h = 5;
PassByRef(ref h);
PassByRef(ref a.i);
Contract.Assume(a != null);
Contract.Assume(a.i == 5);
Contract.Assume(a.i > 5);
Contract.Assert(b.i > 5);
Contract.Assert(c.i == 5);
}
public static void SyntaxTest3(AddressesSimple a)
{
int i = a.i;
}
public static void Test6(AddressesSimple a)
{
Contract.Assume(a != null);
Contract.Assume(a.i > 5);
Contract.Assert(a.i > 5);
}