import contract

contract.test_preassert(1,2)
try:
	contract.test_preassert(-1)
	print "Failed! Preassertions are broken"
except:
	pass

contract.test_postassert(3)
try:
	contract.test_postassert(-3)
	print "Failed! Postassertions are broken"
except:
	pass

contract.test_prepost(2,3)
contract.test_prepost(5,-4)
try:
	contract.test_prepost(-3,4)
	print "Failed! Preassertions are broken"
except:
	pass

try:
	contract.test_prepost(4,-10)
	print "Failed! Postassertions are broken"

except:
	pass

f = contract.Foo()
f.test_preassert(4,5)
try:
	f.test_preassert(-2,3)
	print "Failed! Method preassertion."
except:
	pass

f.test_postassert(4)
try:
	f.test_postassert(-4)
	print "Failed! Method postassertion"
except:
	pass

f.test_prepost(3,4)
f.test_prepost(4,-3)
try:
	f.test_prepost(-4,2)
	print "Failed! Method preassertion."
except:
	pass

try:
	f.test_prepost(4,-10)
	print "Failed! Method postassertion."
except:
	pass

contract.Foo_stest_prepost(4,0)
try:
	contract.Foo_stest_prepost(-4,2)
	print "Failed! Static method preassertion"
except:
	pass

try:
	contract.Foo_stest_prepost(4,-10)
	print "Failed! Static method posteassertion"
except:
	pass
	
b = contract.Bar()
try:
	b.test_prepost(2,-4)
	print "Failed! Inherited preassertion."
except:
	pass


d = contract.D()
try:
	d.foo(-1,1,1,1,1)
	print "Failed! Inherited preassertion (D)."
except:
	pass
try:
	d.foo(1,-1,1,1,1)
	print "Failed! Inherited preassertion (D)."
except:
	pass
try:
	d.foo(1,1,-1,1,1)
	print "Failed! Inherited preassertion (D)."
except:
	pass
try:
	d.foo(1,1,1,-1,1)
	print "Failed! Inherited preassertion (D)."
except:
	pass
try:
	d.foo(1,1,1,1,-1)
	print "Failed! Inherited preassertion (D)."
except:
	pass


try:
	d.bar(-1,1,1,1,1)
	print "Failed! Inherited preassertion (D)."
except:
	pass
try:
	d.bar(1,-1,1,1,1)
	print "Failed! Inherited preassertion (D)."
except:
	pass
try:
	d.bar(1,1,-1,1,1)
	print "Failed! Inherited preassertion (D)."
except:
	pass
try:
	d.bar(1,1,1,-1,1)
	print "Failed! Inherited preassertion (D)."
except:
	pass
try:
	d.bar(1,1,1,1,-1)
	print "Failed! Inherited preassertion (D)."
except:
	pass

