PageRenderTime 43ms CodeModel.GetById 17ms RepoModel.GetById 0ms app.codeStats 1ms

/trunk/Examples/test-suite/perl5/contract_runme.pl

#
Perl | 78 lines | 69 code | 7 blank | 2 comment | 0 complexity | 725fed3ddf72304d547a045864323bb5 MD5 | raw file
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0 
    

  1. #!/usr/bin/perl
    2. 

  2. use strict;
    3. 

  3. use warnings;
    4. 

  4. use Test::More tests => 32;
    5. 

  5. BEGIN { use_ok('contract') }
    6. 

  6. require_ok('contract');
    7. 

  7. 

  8. # adapted from ../python/contract_runme.py
    9. 

  9. {
    10. 

  10. 	ok(contract::test_preassert(1,2), "good preassertion");
    11. 

  11. 	eval { contract::test_preassert(-1) };
    12. 

  12. 	like($@, qr/\bRuntimeError\b/, "bad preassertion");
    13. 

  13. 

  14. 	ok(contract::test_postassert(3), "good postassertion");
    15. 

  15. 	eval { contract::test_postassert(-3) };
    16. 

  16. 	like($@, qr/\bRuntimeError\b/, "bad postassertion");
    17. 

  17. 

  18. 	ok(contract::test_prepost(2,3), "good prepost");
    19. 

  19. 	ok(contract::test_prepost(5,-4), "good prepost");
    20. 

  20. 	eval { contract::test_prepost(-3,4); };
    21. 

  21. 	like($@, qr/\bRuntimeError\b/, "bad preassertion");
    22. 

  22. 	eval { contract::test_prepost(4,-10) };
    23. 

  23. 	like($@, qr/\bRuntimeError\b/, "bad postassertion");
    24. 

  24. }
    25. 

  25. {
    26. 

  26. 	my $f = contract::Foo->new();
    27. 

  27. 	ok($f->test_preassert(4,5), "method pre");
    28. 

  28. 	eval { $f->test_preassert(-2,3) };
    29. 

  29. 	like($@, qr/\bRuntimeError\b/, "method pre bad");
    30. 

  30. 

  31. 	ok($f->test_postassert(4), "method post");
    32. 

  32. 	eval { $f->test_postassert(-4) };
    33. 

  33. 	like($@, qr/\bRuntimeError\b/, "method post bad");
    34. 

  34. 

  35. 	ok($f->test_prepost(3,4), "method prepost");
    36. 

  36. 	ok($f->test_prepost(4,-3), "method prepost");
    37. 

  37. 	eval { $f->test_prepost(-4,2) };
    38. 

  38. 	like($@, qr/\bRuntimeError\b/, "method pre bad");
    39. 

  39. 	eval { $f->test_prepost(4,-10) };
    40. 

  40. 	like($@, qr/\bRuntimeError\b/, "method post bad");
    41. 

  41. }
    42. 

  42. {
    43. 

  43. 	ok(contract::Foo::stest_prepost(4,0), "static method prepost");
    44. 

  44. 	eval { contract::Foo::stest_prepost(-4,2) };
    45. 

  45. 	like($@, qr/\bRuntimeError\b/, "static method pre bad");
    46. 

  46. 	eval { contract::Foo::stest_prepost(4,-10) };
    47. 

  47. 	like($@, qr/\bRuntimeError\b/, "static method post bad");
    48. 

  48. }
    49. 

  49. {
    50. 

  50. 	my $b = contract::Bar->new();
    51. 

  51. 	eval { $b->test_prepost(2,-4) };
    52. 

  52. 	like($@, qr/\bRuntimeError\b/, "inherit pre bad");
    53. 

  53. }
    54. 

  54. {
    55. 

  55. 	my $d = contract::D->new();
    56. 

  56. 	eval { $d->foo(-1,1,1,1,1) };
    57. 

  57. 	like($@, qr/\bRuntimeError\b/, "inherit pre D");
    58. 

  58. 	eval { $d->foo(1,-1,1,1,1) };
    59. 

  59. 	like($@, qr/\bRuntimeError\b/, "inherit pre D");
    60. 

  60. 	eval { $d->foo(1,1,-1,1,1) };
    61. 

  61. 	like($@, qr/\bRuntimeError\b/, "inherit pre D");
    62. 

  62. 	eval { $d->foo(1,1,1,-1,1) };
    63. 

  63. 	like($@, qr/\bRuntimeError\b/, "inherit pre D");
    64. 

  64. 	eval { $d->foo(1,1,1,1,-1) };
    65. 

  65. 	like($@, qr/\bRuntimeError\b/, "inherit pre D");
    66. 

  66. 

  67. 	eval { $d->bar(-1,1,1,1,1) };
    68. 

  68. 	like($@, qr/\bRuntimeError\b/, "inherit pre D");
    69. 

  69. 	eval { $d->bar(1,-1,1,1,1) };
    70. 

  70. 	like($@, qr/\bRuntimeError\b/, "inherit pre D");
    71. 

  71. 	eval { $d->bar(1,1,-1,1,1) };
    72. 

  72. 	like($@, qr/\bRuntimeError\b/, "inherit pre D");
    73. 

  73. 	eval { $d->bar(1,1,1,-1,1) };
    74. 

  74. 	like($@, qr/\bRuntimeError\b/, "inherit pre D");
    75. 

  75. 	eval { $d->bar(1,1,1,1,-1) };
    76. 

  76. 	like($@, qr/\bRuntimeError\b/, "inherit pre D");
    77. 

  77. }
    78. 

  78. 

  79.