rushcheck 0.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (168) hide show
  1. data/COPYING +515 -0
  2. data/INSTALL +14 -0
  3. data/LICENSE +5 -0
  4. data/README +49 -0
  5. data/Rakefile +39 -0
  6. data/copying.txt +23 -0
  7. data/data/rushcheck/doc/policy.txt +520 -0
  8. data/data/rushcheck/doc/rushcheck.txt +612 -0
  9. data/data/rushcheck/examples/printf.rb +22 -0
  10. data/data/rushcheck/examples/proc.rb +33 -0
  11. data/data/rushcheck/examples/roguetile.rb +153 -0
  12. data/data/rushcheck/examples/sample.rb +52 -0
  13. data/data/rushcheck/rdoc/classes/Arbitrary.html +148 -0
  14. data/data/rushcheck/rdoc/classes/Arbitrary.src/M000075.html +18 -0
  15. data/data/rushcheck/rdoc/classes/Assertion.html +183 -0
  16. data/data/rushcheck/rdoc/classes/Assertion.src/M000015.html +20 -0
  17. data/data/rushcheck/rdoc/classes/Assertion.src/M000016.html +45 -0
  18. data/data/rushcheck/rdoc/classes/Coarbitrary.html +135 -0
  19. data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000095.html +18 -0
  20. data/data/rushcheck/rdoc/classes/FalseClass.html +177 -0
  21. data/data/rushcheck/rdoc/classes/FalseClass.src/M000018.html +18 -0
  22. data/data/rushcheck/rdoc/classes/FalseClass.src/M000019.html +18 -0
  23. data/data/rushcheck/rdoc/classes/FalseClass.src/M000020.html +18 -0
  24. data/data/rushcheck/rdoc/classes/Float.html +191 -0
  25. data/data/rushcheck/rdoc/classes/Float.src/M000047.html +21 -0
  26. data/data/rushcheck/rdoc/classes/Float.src/M000048.html +18 -0
  27. data/data/rushcheck/rdoc/classes/Float.src/M000049.html +22 -0
  28. data/data/rushcheck/rdoc/classes/Float.src/M000050.html +20 -0
  29. data/data/rushcheck/rdoc/classes/Gen.html +515 -0
  30. data/data/rushcheck/rdoc/classes/Gen.src/M000026.html +18 -0
  31. data/data/rushcheck/rdoc/classes/Gen.src/M000027.html +20 -0
  32. data/data/rushcheck/rdoc/classes/Gen.src/M000028.html +28 -0
  33. data/data/rushcheck/rdoc/classes/Gen.src/M000029.html +24 -0
  34. data/data/rushcheck/rdoc/classes/Gen.src/M000030.html +18 -0
  35. data/data/rushcheck/rdoc/classes/Gen.src/M000031.html +18 -0
  36. data/data/rushcheck/rdoc/classes/Gen.src/M000032.html +18 -0
  37. data/data/rushcheck/rdoc/classes/Gen.src/M000033.html +18 -0
  38. data/data/rushcheck/rdoc/classes/Gen.src/M000034.html +18 -0
  39. data/data/rushcheck/rdoc/classes/Gen.src/M000035.html +24 -0
  40. data/data/rushcheck/rdoc/classes/Gen.src/M000036.html +18 -0
  41. data/data/rushcheck/rdoc/classes/Gen.src/M000037.html +21 -0
  42. data/data/rushcheck/rdoc/classes/Gen.src/M000038.html +18 -0
  43. data/data/rushcheck/rdoc/classes/Gen.src/M000039.html +18 -0
  44. data/data/rushcheck/rdoc/classes/Gen.src/M000040.html +23 -0
  45. data/data/rushcheck/rdoc/classes/Gen.src/M000041.html +19 -0
  46. data/data/rushcheck/rdoc/classes/Gen.src/M000042.html +18 -0
  47. data/data/rushcheck/rdoc/classes/Gen.src/M000043.html +24 -0
  48. data/data/rushcheck/rdoc/classes/Guard.html +159 -0
  49. data/data/rushcheck/rdoc/classes/Guard.src/M000024.html +27 -0
  50. data/data/rushcheck/rdoc/classes/Guard.src/M000025.html +18 -0
  51. data/data/rushcheck/rdoc/classes/HsRandom.html +201 -0
  52. data/data/rushcheck/rdoc/classes/HsRandom.src/M000081.html +22 -0
  53. data/data/rushcheck/rdoc/classes/HsRandom.src/M000082.html +32 -0
  54. data/data/rushcheck/rdoc/classes/HsRandom.src/M000083.html +18 -0
  55. data/data/rushcheck/rdoc/classes/Integer.html +212 -0
  56. data/data/rushcheck/rdoc/classes/Integer.src/M000006.html +18 -0
  57. data/data/rushcheck/rdoc/classes/Integer.src/M000007.html +18 -0
  58. data/data/rushcheck/rdoc/classes/Integer.src/M000008.html +21 -0
  59. data/data/rushcheck/rdoc/classes/Integer.src/M000009.html +19 -0
  60. data/data/rushcheck/rdoc/classes/NilClass.html +177 -0
  61. data/data/rushcheck/rdoc/classes/NilClass.src/M000059.html +18 -0
  62. data/data/rushcheck/rdoc/classes/NilClass.src/M000060.html +18 -0
  63. data/data/rushcheck/rdoc/classes/NilClass.src/M000061.html +18 -0
  64. data/data/rushcheck/rdoc/classes/Property.html +174 -0
  65. data/data/rushcheck/rdoc/classes/Property.src/M000070.html +26 -0
  66. data/data/rushcheck/rdoc/classes/Property.src/M000071.html +18 -0
  67. data/data/rushcheck/rdoc/classes/RandomArray.html +184 -0
  68. data/data/rushcheck/rdoc/classes/RandomArray.src/M000021.html +18 -0
  69. data/data/rushcheck/rdoc/classes/RandomArray.src/M000022.html +35 -0
  70. data/data/rushcheck/rdoc/classes/RandomArray.src/M000023.html +22 -0
  71. data/data/rushcheck/rdoc/classes/RandomBool.html +146 -0
  72. data/data/rushcheck/rdoc/classes/RandomBool.src/M000079.html +18 -0
  73. data/data/rushcheck/rdoc/classes/RandomBool.src/M000080.html +19 -0
  74. data/data/rushcheck/rdoc/classes/RandomGen.html +196 -0
  75. data/data/rushcheck/rdoc/classes/RandomGen.src/M000076.html +18 -0
  76. data/data/rushcheck/rdoc/classes/RandomGen.src/M000077.html +18 -0
  77. data/data/rushcheck/rdoc/classes/RandomGen.src/M000078.html +18 -0
  78. data/data/rushcheck/rdoc/classes/RandomHash.html +197 -0
  79. data/data/rushcheck/rdoc/classes/RandomHash.src/M000044.html +18 -0
  80. data/data/rushcheck/rdoc/classes/RandomHash.src/M000045.html +26 -0
  81. data/data/rushcheck/rdoc/classes/RandomHash.src/M000046.html +22 -0
  82. data/data/rushcheck/rdoc/classes/RandomProc.html +192 -0
  83. data/data/rushcheck/rdoc/classes/RandomProc.src/M000055.html +18 -0
  84. data/data/rushcheck/rdoc/classes/RandomProc.src/M000056.html +30 -0
  85. data/data/rushcheck/rdoc/classes/RandomProc.src/M000057.html +26 -0
  86. data/data/rushcheck/rdoc/classes/RandomProc.src/M000058.html +20 -0
  87. data/data/rushcheck/rdoc/classes/Result.html +214 -0
  88. data/data/rushcheck/rdoc/classes/Result.src/M000051.html +18 -0
  89. data/data/rushcheck/rdoc/classes/Result.src/M000052.html +18 -0
  90. data/data/rushcheck/rdoc/classes/Result.src/M000053.html +18 -0
  91. data/data/rushcheck/rdoc/classes/RushCheckConfig.html +240 -0
  92. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000001.html +23 -0
  93. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000002.html +22 -0
  94. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000003.html +18 -0
  95. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html +38 -0
  96. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html +55 -0
  97. data/data/rushcheck/rdoc/classes/RushCheckGuard.html +118 -0
  98. data/data/rushcheck/rdoc/classes/SpecialString.html +151 -0
  99. data/data/rushcheck/rdoc/classes/SpecialString.src/M000017.html +37 -0
  100. data/data/rushcheck/rdoc/classes/StdGen.html +252 -0
  101. data/data/rushcheck/rdoc/classes/StdGen.src/M000010.html +23 -0
  102. data/data/rushcheck/rdoc/classes/StdGen.src/M000011.html +21 -0
  103. data/data/rushcheck/rdoc/classes/StdGen.src/M000012.html +21 -0
  104. data/data/rushcheck/rdoc/classes/StdGen.src/M000013.html +18 -0
  105. data/data/rushcheck/rdoc/classes/StdGen.src/M000014.html +18 -0
  106. data/data/rushcheck/rdoc/classes/String.html +191 -0
  107. data/data/rushcheck/rdoc/classes/String.src/M000066.html +24 -0
  108. data/data/rushcheck/rdoc/classes/String.src/M000067.html +18 -0
  109. data/data/rushcheck/rdoc/classes/String.src/M000068.html +25 -0
  110. data/data/rushcheck/rdoc/classes/String.src/M000069.html +22 -0
  111. data/data/rushcheck/rdoc/classes/Testable.html +281 -0
  112. data/data/rushcheck/rdoc/classes/Testable.src/M000084.html +18 -0
  113. data/data/rushcheck/rdoc/classes/Testable.src/M000085.html +18 -0
  114. data/data/rushcheck/rdoc/classes/Testable.src/M000088.html +18 -0
  115. data/data/rushcheck/rdoc/classes/Testable.src/M000089.html +18 -0
  116. data/data/rushcheck/rdoc/classes/Testable.src/M000090.html +18 -0
  117. data/data/rushcheck/rdoc/classes/Testable.src/M000092.html +18 -0
  118. data/data/rushcheck/rdoc/classes/Testable.src/M000094.html +18 -0
  119. data/data/rushcheck/rdoc/classes/TheStdGen.html +200 -0
  120. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000062.html +18 -0
  121. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000063.html +20 -0
  122. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000064.html +21 -0
  123. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000065.html +18 -0
  124. data/data/rushcheck/rdoc/classes/TrueClass.html +177 -0
  125. data/data/rushcheck/rdoc/classes/TrueClass.src/M000072.html +18 -0
  126. data/data/rushcheck/rdoc/classes/TrueClass.src/M000073.html +18 -0
  127. data/data/rushcheck/rdoc/classes/TrueClass.src/M000074.html +18 -0
  128. data/data/rushcheck/rdoc/created.rid +1 -0
  129. data/data/rushcheck/rdoc/files/rushcheck/arbitrary_rb.html +114 -0
  130. data/data/rushcheck/rdoc/files/rushcheck/array_rb.html +117 -0
  131. data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html +120 -0
  132. data/data/rushcheck/rdoc/files/rushcheck/bool_rb.html +120 -0
  133. data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +109 -0
  134. data/data/rushcheck/rdoc/files/rushcheck/float_rb.html +118 -0
  135. data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +111 -0
  136. data/data/rushcheck/rdoc/files/rushcheck/guard_rb.html +108 -0
  137. data/data/rushcheck/rdoc/files/rushcheck/hash_rb.html +117 -0
  138. data/data/rushcheck/rdoc/files/rushcheck/integer_rb.html +118 -0
  139. data/data/rushcheck/rdoc/files/rushcheck/proc_rb.html +118 -0
  140. data/data/rushcheck/rdoc/files/rushcheck/property_rb.html +119 -0
  141. data/data/rushcheck/rdoc/files/rushcheck/random_rb.html +126 -0
  142. data/data/rushcheck/rdoc/files/rushcheck/result_rb.html +118 -0
  143. data/data/rushcheck/rdoc/files/rushcheck/rushcheck_rb.html +123 -0
  144. data/data/rushcheck/rdoc/files/rushcheck/string_rb.html +121 -0
  145. data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +117 -0
  146. data/data/rushcheck/rdoc/fr_class_index.html +51 -0
  147. data/data/rushcheck/rdoc/fr_file_index.html +43 -0
  148. data/data/rushcheck/rdoc/fr_method_index.html +121 -0
  149. data/data/rushcheck/rdoc/index.html +24 -0
  150. data/data/rushcheck/rdoc/rdoc-style.css +208 -0
  151. data/lib/rushcheck/arbitrary.rb +28 -0
  152. data/lib/rushcheck/array.rb +49 -0
  153. data/lib/rushcheck/assertion.rb +67 -0
  154. data/lib/rushcheck/bool.rb +90 -0
  155. data/lib/rushcheck/config.rb +98 -0
  156. data/lib/rushcheck/float.rb +43 -0
  157. data/lib/rushcheck/gen.rb +189 -0
  158. data/lib/rushcheck/guard.rb +27 -0
  159. data/lib/rushcheck/hash.rb +45 -0
  160. data/lib/rushcheck/integer.rb +43 -0
  161. data/lib/rushcheck/proc.rb +53 -0
  162. data/lib/rushcheck/property.rb +29 -0
  163. data/lib/rushcheck/random.rb +215 -0
  164. data/lib/rushcheck/result.rb +26 -0
  165. data/lib/rushcheck/rushcheck.rb +17 -0
  166. data/lib/rushcheck/string.rb +100 -0
  167. data/lib/rushcheck/testable.rb +41 -0
  168. metadata +238 -0
data/data/rushcheck/rdoc/fr_file_index.html ADDED
@@ -0,0 +1,43 @@
1
+
2
+ <?xml version="1.0" encoding="iso-8859-1"?>
3
+ <!DOCTYPE html
4
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
5
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
6
+
7
+ <!--
8
+
9
+ Files
10
+
11
+ -->
12
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
13
+ <head>
14
+ <title>Files</title>
15
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
16
+ <link rel="stylesheet" href="rdoc-style.css" type="text/css" />
17
+ <base target="docwin" />
18
+ </head>
19
+ <body>
20
+ <div id="index">
21
+ <h1 class="section-bar">Files</h1>
22
+ <div id="index-entries">
23
+ <a href="files/rushcheck/arbitrary_rb.html">rushcheck/arbitrary.rb</a><br />
24
+ <a href="files/rushcheck/array_rb.html">rushcheck/array.rb</a><br />
25
+ <a href="files/rushcheck/assertion_rb.html">rushcheck/assertion.rb</a><br />
26
+ <a href="files/rushcheck/bool_rb.html">rushcheck/bool.rb</a><br />
27
+ <a href="files/rushcheck/config_rb.html">rushcheck/config.rb</a><br />
28
+ <a href="files/rushcheck/float_rb.html">rushcheck/float.rb</a><br />
29
+ <a href="files/rushcheck/gen_rb.html">rushcheck/gen.rb</a><br />
30
+ <a href="files/rushcheck/guard_rb.html">rushcheck/guard.rb</a><br />
31
+ <a href="files/rushcheck/hash_rb.html">rushcheck/hash.rb</a><br />
32
+ <a href="files/rushcheck/integer_rb.html">rushcheck/integer.rb</a><br />
33
+ <a href="files/rushcheck/proc_rb.html">rushcheck/proc.rb</a><br />
34
+ <a href="files/rushcheck/property_rb.html">rushcheck/property.rb</a><br />
35
+ <a href="files/rushcheck/random_rb.html">rushcheck/random.rb</a><br />
36
+ <a href="files/rushcheck/result_rb.html">rushcheck/result.rb</a><br />
37
+ <a href="files/rushcheck/rushcheck_rb.html">rushcheck/rushcheck.rb</a><br />
38
+ <a href="files/rushcheck/string_rb.html">rushcheck/string.rb</a><br />
39
+ <a href="files/rushcheck/testable_rb.html">rushcheck/testable.rb</a><br />
40
+ </div>
41
+ </div>
42
+ </body>
43
+ </html>
data/data/rushcheck/rdoc/fr_method_index.html ADDED
@@ -0,0 +1,121 @@
1
+
2
+ <?xml version="1.0" encoding="iso-8859-1"?>
3
+ <!DOCTYPE html
4
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
5
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
6
+
7
+ <!--
8
+
9
+ Methods
10
+
11
+ -->
12
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
13
+ <head>
14
+ <title>Methods</title>
15
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
16
+ <link rel="stylesheet" href="rdoc-style.css" type="text/css" />
17
+ <base target="docwin" />
18
+ </head>
19
+ <body>
20
+ <div id="index">
21
+ <h1 class="section-bar">Methods</h1>
22
+ <div id="index-entries">
23
+ <a href="classes/RandomArray.html#M000022">arbitrary (RandomArray)</a><br />
24
+ <a href="classes/Float.html#M000047">arbitrary (Float)</a><br />
25
+ <a href="classes/SpecialString.html#M000017">arbitrary (SpecialString)</a><br />
26
+ <a href="classes/RandomHash.html#M000045">arbitrary (RandomHash)</a><br />
27
+ <a href="classes/Arbitrary.html#M000075">arbitrary (Arbitrary)</a><br />
28
+ <a href="classes/String.html#M000066">arbitrary (String)</a><br />
29
+ <a href="classes/Integer.html#M000007">arbitrary (Integer)</a><br />
30
+ <a href="classes/RandomBool.html#M000079">arbitrary (RandomBool)</a><br />
31
+ <a href="classes/NilClass.html#M000059">arbitrary (NilClass)</a><br />
32
+ <a href="classes/RandomProc.html#M000056">arbitrary (RandomProc)</a><br />
33
+ <a href="classes/Gen.html#M000037">bind (Gen)</a><br />
34
+ <a href="classes/Float.html#M000048">bound (Float)</a><br />
35
+ <a href="classes/String.html#M000067">bound (String)</a><br />
36
+ <a href="classes/FalseClass.html#M000018">bound (FalseClass)</a><br />
37
+ <a href="classes/Integer.html#M000006">bound (Integer)</a><br />
38
+ <a href="classes/TrueClass.html#M000072">bound (TrueClass)</a><br />
39
+ <a href="classes/Testable.html#M000085">check (Testable)</a><br />
40
+ <a href="classes/Gen.html#M000026">choose (Gen)</a><br />
41
+ <a href="classes/Testable.html#M000088">classify (Testable)</a><br />
42
+ <a href="classes/Coarbitrary.html#M000095">coarbitrary (Coarbitrary)</a><br />
43
+ <a href="classes/FalseClass.html#M000019">coarbitrary (FalseClass)</a><br />
44
+ <a href="classes/String.html#M000069">coarbitrary (String)</a><br />
45
+ <a href="classes/RandomArray.html#M000023">coarbitrary (RandomArray)</a><br />
46
+ <a href="classes/TrueClass.html#M000073">coarbitrary (TrueClass)</a><br />
47
+ <a href="classes/RandomHash.html#M000046">coarbitrary (RandomHash)</a><br />
48
+ <a href="classes/Integer.html#M000009">coarbitrary (Integer)</a><br />
49
+ <a href="classes/Float.html#M000050">coarbitrary (Float)</a><br />
50
+ <a href="classes/RandomProc.html#M000057">coarbitrary (RandomProc)</a><br />
51
+ <a href="classes/NilClass.html#M000060">coarbitrary (NilClass)</a><br />
52
+ <a href="classes/Testable.html#M000091">collect (Testable)</a><br />
53
+ <a href="classes/RushCheckConfig.html#M000004">done (RushCheckConfig)</a><br />
54
+ <a href="classes/Gen.html#M000027">elements (Gen)</a><br />
55
+ <a href="classes/Gen.html#M000039">fmap (Gen)</a><br />
56
+ <a href="classes/Gen.html#M000040">forall (Gen)</a><br />
57
+ <a href="classes/Gen.html#M000028">frequency (Gen)</a><br />
58
+ <a href="classes/TheStdGen.html#M000063">gen_next (TheStdGen)</a><br />
59
+ <a href="classes/RandomGen.html#M000076">gen_next (RandomGen)</a><br />
60
+ <a href="classes/StdGen.html#M000011">gen_next (StdGen)</a><br />
61
+ <a href="classes/RandomGen.html#M000078">gen_range (RandomGen)</a><br />
62
+ <a href="classes/TheStdGen.html#M000065">gen_range (TheStdGen)</a><br />
63
+ <a href="classes/StdGen.html#M000013">gen_range (StdGen)</a><br />
64
+ <a href="classes/Gen.html#M000041">generate (Gen)</a><br />
65
+ <a href="classes/Guard.html#M000025">guard (Guard)</a><br />
66
+ <a href="classes/Guard.html#M000024">guard_raise (Guard)</a><br />
67
+ <a href="classes/Testable.html#M000089">imply (Testable)</a><br />
68
+ <a href="classes/Testable.html#M000090">label (Testable)</a><br />
69
+ <a href="classes/Gen.html#M000029">lift_array (Gen)</a><br />
70
+ <a href="classes/Gen.html#M000036">new (Gen)</a><br />
71
+ <a href="classes/TheStdGen.html#M000062">new (TheStdGen)</a><br />
72
+ <a href="classes/RushCheckConfig.html#M000003">new (RushCheckConfig)</a><br />
73
+ <a href="classes/Assertion.html#M000015">new (Assertion)</a><br />
74
+ <a href="classes/Property.html#M000070">new (Property)</a><br />
75
+ <a href="classes/StdGen.html#M000010">new (StdGen)</a><br />
76
+ <a href="classes/Result.html#M000052">new (Result)</a><br />
77
+ <a href="classes/Result.html#M000051">nothing (Result)</a><br />
78
+ <a href="classes/Gen.html#M000030">oneof (Gen)</a><br />
79
+ <a href="classes/Gen.html#M000031">promote (Gen)</a><br />
80
+ <a href="classes/NilClass.html#M000061">property (NilClass)</a><br />
81
+ <a href="classes/Property.html#M000071">property (Property)</a><br />
82
+ <a href="classes/Result.html#M000054">property (Result)</a><br />
83
+ <a href="classes/RandomProc.html#M000058">property (RandomProc)</a><br />
84
+ <a href="classes/Testable.html#M000084">property (Testable)</a><br />
85
+ <a href="classes/Assertion.html#M000016">property (Assertion)</a><br />
86
+ <a href="classes/FalseClass.html#M000020">property (FalseClass)</a><br />
87
+ <a href="classes/TrueClass.html#M000074">property (TrueClass)</a><br />
88
+ <a href="classes/RushCheckConfig.html#M000001">quick (RushCheckConfig)</a><br />
89
+ <a href="classes/Testable.html#M000086">quick_check (Testable)</a><br />
90
+ <a href="classes/Testable.html#M000087">quickcheck (Testable)</a><br />
91
+ <a href="classes/Gen.html#M000032">rand (Gen)</a><br />
92
+ <a href="classes/HsRandom.html#M000081">random (HsRandom)</a><br />
93
+ <a href="classes/HsRandom.html#M000082">random_array (HsRandom)</a><br />
94
+ <a href="classes/Integer.html#M000008">random_range (Integer)</a><br />
95
+ <a href="classes/String.html#M000068">random_range (String)</a><br />
96
+ <a href="classes/RandomBool.html#M000080">random_range (RandomBool)</a><br />
97
+ <a href="classes/Float.html#M000049">random_range (Float)</a><br />
98
+ <a href="classes/HsRandom.html#M000083">random_std (HsRandom)</a><br />
99
+ <a href="classes/Gen.html#M000042">resize (Gen)</a><br />
100
+ <a href="classes/Result.html#M000053">result (Result)</a><br />
101
+ <a href="classes/RandomArray.html#M000021">set_pattern (RandomArray)</a><br />
102
+ <a href="classes/RandomHash.html#M000044">set_pattern (RandomHash)</a><br />
103
+ <a href="classes/RandomProc.html#M000055">set_pattern (RandomProc)</a><br />
104
+ <a href="classes/Gen.html#M000033">sized (Gen)</a><br />
105
+ <a href="classes/RandomGen.html#M000077">split (RandomGen)</a><br />
106
+ <a href="classes/TheStdGen.html#M000064">split (TheStdGen)</a><br />
107
+ <a href="classes/StdGen.html#M000012">split (StdGen)</a><br />
108
+ <a href="classes/Testable.html#M000092">test (Testable)</a><br />
109
+ <a href="classes/RushCheckConfig.html#M000005">tests (RushCheckConfig)</a><br />
110
+ <a href="classes/StdGen.html#M000014">to_s (StdGen)</a><br />
111
+ <a href="classes/Testable.html#M000094">trivial (Testable)</a><br />
112
+ <a href="classes/Gen.html#M000034">unit (Gen)</a><br />
113
+ <a href="classes/Gen.html#M000038">value (Gen)</a><br />
114
+ <a href="classes/Gen.html#M000043">variant (Gen)</a><br />
115
+ <a href="classes/Gen.html#M000035">vector (Gen)</a><br />
116
+ <a href="classes/RushCheckConfig.html#M000002">verbose (RushCheckConfig)</a><br />
117
+ <a href="classes/Testable.html#M000093">verbose_check (Testable)</a><br />
118
+ </div>
119
+ </div>
120
+ </body>
121
+ </html>
data/data/rushcheck/rdoc/index.html ADDED
@@ -0,0 +1,24 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd">
5
+
6
+ <!--
7
+
8
+ RDoc Documentation
9
+
10
+ -->
11
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
12
+ <head>
13
+ <title>RDoc Documentation</title>
14
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
15
+ </head>
16
+ <frameset rows="20%, 80%">
17
+ <frameset cols="25%,35%,45%">
18
+ <frame src="fr_file_index.html" title="Files" name="Files" />
19
+ <frame src="fr_class_index.html" name="Classes" />
20
+ <frame src="fr_method_index.html" name="Methods" />
21
+ </frameset>
22
+ <frame src="files/rushcheck/arbitrary_rb.html" name="docwin" />
23
+ </frameset>
24
+ </html>
data/data/rushcheck/rdoc/rdoc-style.css ADDED
@@ -0,0 +1,208 @@
1
+
2
+ body {
3
+ font-family: Verdana,Arial,Helvetica,sans-serif;
4
+ font-size: 90%;
5
+ margin: 0;
6
+ margin-left: 40px;
7
+ padding: 0;
8
+ background: white;
9
+ }
10
+
11
+ h1,h2,h3,h4 { margin: 0; color: #efefef; background: transparent; }
12
+ h1 { font-size: 150%; }
13
+ h2,h3,h4 { margin-top: 1em; }
14
+
15
+ a { background: #eef; color: #039; text-decoration: none; }
16
+ a:hover { background: #039; color: #eef; }
17
+
18
+ /* Override the base stylesheet's Anchor inside a table cell */
19
+ td > a {
20
+ background: transparent;
21
+ color: #039;
22
+ text-decoration: none;
23
+ }
24
+
25
+ /* and inside a section title */
26
+ .section-title > a {
27
+ background: transparent;
28
+ color: #eee;
29
+ text-decoration: none;
30
+ }
31
+
32
+ /* === Structural elements =================================== */
33
+
34
+ div#index {
35
+ margin: 0;
36
+ margin-left: -40px;
37
+ padding: 0;
38
+ font-size: 90%;
39
+ }
40
+
41
+
42
+ div#index a {
43
+ margin-left: 0.7em;
44
+ }
45
+
46
+ div#index .section-bar {
47
+ margin-left: 0px;
48
+ padding-left: 0.7em;
49
+ background: #ccc;
50
+ font-size: small;
51
+ }
52
+
53
+
54
+ div#classHeader, div#fileHeader {
55
+ width: auto;
56
+ color: white;
57
+ padding: 0.5em 1.5em 0.5em 1.5em;
58
+ margin: 0;
59
+ margin-left: -40px;
60
+ border-bottom: 3px solid #006;
61
+ }
62
+
63
+ div#classHeader a, div#fileHeader a {
64
+ background: inherit;
65
+ color: white;
66
+ }
67
+
68
+ div#classHeader td, div#fileHeader td {
69
+ background: inherit;
70
+ color: white;
71
+ }
72
+
73
+
74
+ div#fileHeader {
75
+ background: #057;
76
+ }
77
+
78
+ div#classHeader {
79
+ background: #048;
80
+ }
81
+
82
+
83
+ .class-name-in-header {
84
+ font-size: 180%;
85
+ font-weight: bold;
86
+ }
87
+
88
+
89
+ div#bodyContent {
90
+ padding: 0 1.5em 0 1.5em;
91
+ }
92
+
93
+ div#description {
94
+ padding: 0.5em 1.5em;
95
+ background: #efefef;
96
+ border: 1px dotted #999;
97
+ }
98
+
99
+ div#description h1,h2,h3,h4,h5,h6 {
100
+ color: #125;;
101
+ background: transparent;
102
+ }
103
+
104
+ div#validator-badges {
105
+ text-align: center;
106
+ }
107
+ div#validator-badges img { border: 0; }
108
+
109
+ div#copyright {
110
+ color: #333;
111
+ background: #efefef;
112
+ font: 0.75em sans-serif;
113
+ margin-top: 5em;
114
+ margin-bottom: 0;
115
+ padding: 0.5em 2em;
116
+ }
117
+
118
+
119
+ /* === Classes =================================== */
120
+
121
+ table.header-table {
122
+ color: white;
123
+ font-size: small;
124
+ }
125
+
126
+ .type-note {
127
+ font-size: small;
128
+ color: #DEDEDE;
129
+ }
130
+
131
+ .xxsection-bar {
132
+ background: #eee;
133
+ color: #333;
134
+ padding: 3px;
135
+ }
136
+
137
+ .section-bar {
138
+ color: #333;
139
+ border-bottom: 1px solid #999;
140
+ margin-left: -20px;
141
+ }
142
+
143
+
144
+ .section-title {
145
+ background: #79a;
146
+ color: #eee;
147
+ padding: 3px;
148
+ margin-top: 2em;
149
+ margin-left: -30px;
150
+ border: 1px solid #999;
151
+ }
152
+
153
+ .top-aligned-row { vertical-align: top }
154
+ .bottom-aligned-row { vertical-align: bottom }
155
+
156
+ /* --- Context section classes ----------------------- */
157
+
158
+ .context-row { }
159
+ .context-item-name { font-family: monospace; font-weight: bold; color: black; }
160
+ .context-item-value { font-size: small; color: #448; }
161
+ .context-item-desc { color: #333; padding-left: 2em; }
162
+
163
+ /* --- Method classes -------------------------- */
164
+ .method-detail {
165
+ background: #efefef;
166
+ padding: 0;
167
+ margin-top: 0.5em;
168
+ margin-bottom: 1em;
169
+ border: 1px dotted #ccc;
170
+ }
171
+ .method-heading {
172
+ color: black;
173
+ background: #ccc;
174
+ border-bottom: 1px solid #666;
175
+ padding: 0.2em 0.5em 0 0.5em;
176
+ }
177
+ .method-signature { color: black; background: inherit; }
178
+ .method-name { font-weight: bold; }
179
+ .method-args { font-style: italic; }
180
+ .method-description { padding: 0 0.5em 0 0.5em; }
181
+
182
+ /* --- Source code sections -------------------- */
183
+
184
+ a.source-toggle { font-size: 90%; }
185
+ div.method-source-code {
186
+ background: #262626;
187
+ color: #ffdead;
188
+ margin: 1em;
189
+ padding: 0.5em;
190
+ border: 1px dashed #999;
191
+ overflow: hidden;
192
+ }
193
+
194
+ div.method-source-code pre { color: #ffdead; overflow: hidden; }
195
+
196
+ /* --- Ruby keyword styles --------------------- */
197
+
198
+ .standalone-code { background: #221111; color: #ffdead; overflow: hidden; }
199
+
200
+ .ruby-constant { color: #7fffd4; background: transparent; }
201
+ .ruby-keyword { color: #00ffff; background: transparent; }
202
+ .ruby-ivar { color: #eedd82; background: transparent; }
203
+ .ruby-operator { color: #00ffee; background: transparent; }
204
+ .ruby-identifier { color: #ffdead; background: transparent; }
205
+ .ruby-node { color: #ffa07a; background: transparent; }
206
+ .ruby-comment { color: #b22222; font-weight: bold; background: transparent; }
207
+ .ruby-regexp { color: #ffa07a; background: transparent; }
208
+ .ruby-value { color: #7fffd4; background: transparent; }
data/lib/rushcheck/arbitrary.rb ADDED
@@ -0,0 +1,28 @@
1
+ # = arbitrary.rb
2
+ #
3
+ # This file includes two modules Arbitrary and Coarbitrary.
4
+ # Arbitrary provides an instance method arbitrary.
5
+ # Coarbitrary provides a class method coarbitrary.
6
+ # However they are abstract methods and should be overrided
7
+ # in each class after include/extend them.
8
+
9
+ module Arbitrary
10
+
11
+ # It is assumed that the arbitrary method must be overrided
12
+ # and return a Gen object with the same class of self.
13
+ # See also rushcheck/gen.rb.
14
+ def arbitrary
15
+ raise(NotImplementedError, "This method should be overrided.")
16
+ end
17
+
18
+ end
19
+
20
+ module Coarbitrary
21
+
22
+ # It is assumed that the coarbitrary method must be overrided
23
+ # and return a Gen object. See also rushcheck/gen.rb.
24
+ def coarbitrary(g)
25
+ raise(NotImplementedError, "This method should be overrided.")
26
+ end
27
+
28
+ end
data/lib/rushcheck/array.rb ADDED
@@ -0,0 +1,49 @@
1
+ # = array.rb
2
+ # The file provides a random generator of arrays.
3
+
4
+ require 'rushcheck/arbitrary'
5
+ require 'rushcheck/gen'
6
+ require 'rushcheck/testable'
7
+
8
+ # class RandomArray acts a random generator of arrays.
9
+ # Programmer can make a subclass of RandomArray to get
10
+ # user defined generators.
11
+ class RandomArray < Array
12
+
13
+ extend Arbitrary
14
+ include Coarbitrary
15
+
16
+ def self.set_pattern(base, &f)
17
+ @@base, @@indp = base, f
18
+ end
19
+
20
+ def self.arbitrary
21
+ Gen.sized do |m|
22
+ Gen.choose(0..m) do |len|
23
+ if len = 0
24
+ then Gen.unit([])
25
+ else
26
+ Gen.new do |n, r|
27
+ ary = [@@base.arbitrary.value(n, r)]
28
+ r2 = r
29
+ (1..len).each do |i|
30
+ r1, r2 = r2.split
31
+ ary << @@indp.call(ary, i).arbitrary.value(n, r1)
32
+ end
33
+
34
+ ary
35
+ end
36
+ end
37
+ end
38
+ end
39
+ end
40
+
41
+ def coarbitrary(g)
42
+ r = g.variant(0)
43
+ each do |c|
44
+ r = c.coarbitrary(r.variant(1))
45
+ end
46
+ r
47
+ end
48
+
49
+ end
data/lib/rushcheck/assertion.rb ADDED
@@ -0,0 +1,67 @@
1
+ # = assertion.rb
2
+ # this file provides a class Assertion for random testing.
3
+
4
+ require 'rushcheck/gen'
5
+ require 'rushcheck/guard'
6
+ require 'rushcheck/property'
7
+ require 'rushcheck/result'
8
+ require 'rushcheck/testable'
9
+
10
+ # Assertion class is one of main features of RushCheck.
11
+ # You can write a testcase for random testing as follows:
12
+ #
13
+ # Assertion.new(Integer, String) do |x, y, g|
14
+ # g.guard { precondition }
15
+ # body
16
+ # end
17
+ #
18
+ # See also documents and several examples.
19
+ #
20
+ class Assertion
21
+
22
+ include Testable
23
+
24
+ def initialize(*xs, &f)
25
+ @inputs = xs[0..(f.arity - 1)]
26
+ @nguard = f.arity - xs.length
27
+ @proc = f
28
+ end
29
+
30
+ def property
31
+ Property.new(Gen.new do |n, r|
32
+ r2 = r
33
+ if @inputs
34
+ then
35
+ @inputs.map do |c|
36
+ r1, r2 = r2.split
37
+ c.arbitrary.value(n, r1)
38
+ end
39
+ else
40
+ []
41
+ end
42
+ end.bind do |args|
43
+ guards = @nguard >= 0 ? Array.new(@nguard, Guard.new) : []
44
+ test = begin
45
+ xs = args + guards
46
+ @proc.call(*xs)
47
+ rescue Exception => ex
48
+ case ex
49
+ when RushCheckGuard
50
+ Result.new(nil)
51
+ else
52
+ err = "Unexpected exception: #{ex.inspect}\n" +
53
+ ex.backtrace.join("\n")
54
+ Result.new(false, [], [err])
55
+ end
56
+ end
57
+ # not use ensure here because ensure clause
58
+ # does not return values
59
+ test.property.gen.bind do |res|
60
+ res.arguments << args.inspect
61
+ Gen.unit(res)
62
+ end
63
+ end)
64
+ end
65
+
66
+ end
67
+
data/lib/rushcheck/bool.rb ADDED
@@ -0,0 +1,90 @@
1
+ # This file extends the default Ruby's class TrueClass and FalseClass
2
+ # for RushCheck.
3
+
4
+ require 'rushcheck/arbitrary'
5
+ require 'rushcheck/integer'
6
+ require 'rushcheck/random'
7
+ require 'rushcheck/result'
8
+ require 'rushcheck/testable'
9
+
10
+ module RandomBool
11
+ def arbitrary
12
+ Gen.elements([true, false])
13
+ end
14
+
15
+ def random_range(gen, lo=@@min_bound, hi=@@max_bound)
16
+ v, g = Integer.random_range(gen, 0, 1)
17
+ [v==0, g]
18
+ end
19
+ end
20
+
21
+ class TrueClass
22
+
23
+ extend Arbitrary
24
+ extend HsRandom
25
+ extend RandomBool
26
+
27
+ include Testable
28
+ include Coarbitrary
29
+
30
+ @@min_bound = 0
31
+ @@max_bound = 1
32
+
33
+ def self.bound
34
+ [@@min_bound, @@max_bound]
35
+ end
36
+
37
+ def coarbitrary(g)
38
+ g.variant(0)
39
+ end
40
+
41
+ def property
42
+ Result.new(self).result
43
+ end
44
+
45
+ end
46
+
47
+ class FalseClass
48
+
49
+ extend Arbitrary
50
+ extend HsRandom
51
+ extend RandomBool
52
+
53
+ include Coarbitrary
54
+ include Testable
55
+
56
+ @@min_bound = 0
57
+ @@max_bound = 1
58
+
59
+ def self.bound
60
+ [@@min_bound, @@max_bound]
61
+ end
62
+
63
+ def coarbitrary(g)
64
+ g.variant(1)
65
+ end
66
+
67
+ def property
68
+ Result.new(self).result
69
+ end
70
+ end
71
+
72
+ class NilClass
73
+ extend Arbitrary
74
+
75
+ include Coarbitrary
76
+ include Testable
77
+
78
+ def self.arbitrary
79
+ Gen.unit(nil)
80
+ end
81
+
82
+ def coarbitrary(g)
83
+ g.variant(0)
84
+ end
85
+
86
+ def property
87
+ Result.nothing
88
+ end
89
+
90
+ end