32a8e14507
git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk/SWIG@5322 626c5289-ae23-0410-ae9c-e8d60b6d4f22
135 lines
2.1 KiB
Python
135 lines
2.1 KiB
Python
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
|
|
|