393391965c
git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk@10290 626c5289-ae23-0410-ae9c-e8d60b6d4f22
135 lines
2.2 KiB
Mathematica
135 lines
2.2 KiB
Mathematica
contract
|
|
|
|
contract.test_preassert(1,2);
|
|
try
|
|
contract.test_preassert(-1,0)
|
|
error("Failed! Preassertions are broken")
|
|
catch
|
|
end_try_catch
|
|
|
|
contract.test_postassert(3);
|
|
try
|
|
contract.test_postassert(-3);
|
|
error("Failed! Postassertions are broken")
|
|
catch
|
|
end_try_catch
|
|
|
|
contract.test_prepost(2,3);
|
|
contract.test_prepost(5,-4);
|
|
try
|
|
contract.test_prepost(-3,4);
|
|
error("Failed! Preassertions are broken")
|
|
catch
|
|
end_try_catch
|
|
|
|
try
|
|
contract.test_prepost(4,-10);
|
|
error("Failed! Postassertions are broken")
|
|
|
|
catch
|
|
end_try_catch
|
|
|
|
f = contract.Foo();
|
|
f.test_preassert(4,5);
|
|
try
|
|
f.test_preassert(-2,3);
|
|
error("Failed! Method preassertion.")
|
|
catch
|
|
end_try_catch
|
|
|
|
f.test_postassert(4);
|
|
try
|
|
f.test_postassert(-4);
|
|
error("Failed! Method postassertion")
|
|
catch
|
|
end_try_catch
|
|
|
|
f.test_prepost(3,4);
|
|
f.test_prepost(4,-3);
|
|
try
|
|
f.test_prepost(-4,2);
|
|
error("Failed! Method preassertion.")
|
|
catch
|
|
end_try_catch
|
|
|
|
try
|
|
f.test_prepost(4,-10);
|
|
error("Failed! Method postassertion.")
|
|
catch
|
|
end_try_catch
|
|
|
|
contract.Foo_stest_prepost(4,0);
|
|
try
|
|
contract.Foo_stest_prepost(-4,2);
|
|
error("Failed! Static method preassertion")
|
|
catch
|
|
end_try_catch
|
|
|
|
try
|
|
contract.Foo_stest_prepost(4,-10);
|
|
error("Failed! Static method posteassertion")
|
|
catch
|
|
end_try_catch
|
|
|
|
b = contract.Bar();
|
|
try
|
|
b.test_prepost(2,-4);
|
|
error("Failed! Inherited preassertion.")
|
|
catch
|
|
end_try_catch
|
|
|
|
|
|
d = contract.D();
|
|
try
|
|
d.foo(-1,1,1,1,1);
|
|
error("Failed! Inherited preassertion (D).")
|
|
catch
|
|
end_try_catch
|
|
try
|
|
d.foo(1,-1,1,1,1);
|
|
error("Failed! Inherited preassertion (D).")
|
|
catch
|
|
end_try_catch
|
|
try
|
|
d.foo(1,1,-1,1,1);
|
|
error("Failed! Inherited preassertion (D).")
|
|
catch
|
|
end_try_catch
|
|
try
|
|
d.foo(1,1,1,-1,1);
|
|
error("Failed! Inherited preassertion (D).")
|
|
catch
|
|
end_try_catch
|
|
try
|
|
d.foo(1,1,1,1,-1);
|
|
error("Failed! Inherited preassertion (D).")
|
|
catch
|
|
end_try_catch
|
|
|
|
|
|
try
|
|
d.bar(-1,1,1,1,1);
|
|
error("Failed! Inherited preassertion (D).")
|
|
catch
|
|
end_try_catch
|
|
try
|
|
d.bar(1,-1,1,1,1);
|
|
error("Failed! Inherited preassertion (D).")
|
|
catch
|
|
end_try_catch
|
|
try
|
|
d.bar(1,1,-1,1,1);
|
|
error("Failed! Inherited preassertion (D).")
|
|
catch
|
|
end_try_catch
|
|
try
|
|
d.bar(1,1,1,-1,1);
|
|
error("Failed! Inherited preassertion (D).")
|
|
catch
|
|
end_try_catch
|
|
try
|
|
d.bar(1,1,1,1,-1);
|
|
error("Failed! Inherited preassertion (D).")
|
|
catch
|
|
end_try_catch
|
|
|