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

# Namespace
my = contract.myClass(1)
try:
    my = contract.myClass(0)
    print "Failed! constructor preassertion"
except:
    pass