rushcheck 0.6 → 0.7

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 (162) hide show
  1. data/README +0 -18
  2. data/Rakefile +18 -2
  3. data/Rakefile.in +17 -1
  4. data/data/rushcheck/doc/rushcheck.thtml +4 -3
  5. data/data/rushcheck/examples/roguetile.rb +2 -2
  6. data/data/rushcheck/examples/rspec/stack_spec.rb +22 -22
  7. data/data/rushcheck/rdoc/classes/FalseClass.html +15 -15
  8. data/data/rushcheck/rdoc/classes/FalseClass.src/M000008.html +4 -4
  9. data/data/rushcheck/rdoc/classes/FalseClass.src/M000009.html +18 -0
  10. data/data/rushcheck/rdoc/classes/FalseClass.src/M000010.html +18 -0
  11. data/data/rushcheck/rdoc/classes/Float.html +20 -20
  12. data/data/rushcheck/rdoc/classes/Float.src/M000021.html +21 -0
  13. data/data/rushcheck/rdoc/classes/Float.src/M000022.html +18 -0
  14. data/data/rushcheck/rdoc/classes/Float.src/M000023.html +22 -0
  15. data/data/rushcheck/rdoc/classes/Float.src/M000024.html +20 -0
  16. data/data/rushcheck/rdoc/classes/NegativeInteger.html +160 -0
  17. data/data/rushcheck/rdoc/classes/NegativeInteger.src/M000005.html +26 -0
  18. data/data/rushcheck/rdoc/classes/NegativeInteger.src/M000006.html +21 -0
  19. data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
  20. data/data/rushcheck/rdoc/classes/NilClass.src/M000029.html +18 -0
  21. data/data/rushcheck/rdoc/classes/NilClass.src/M000030.html +18 -0
  22. data/data/rushcheck/rdoc/classes/NilClass.src/M000031.html +18 -0
  23. data/data/rushcheck/rdoc/classes/NonEmptyRandomArray.html +139 -0
  24. data/data/rushcheck/rdoc/classes/NonEmptyRandomArray.src/M000011.html +20 -0
  25. data/data/rushcheck/rdoc/classes/PositiveInteger.html +160 -0
  26. data/data/rushcheck/rdoc/classes/PositiveInteger.src/M000032.html +26 -0
  27. data/data/rushcheck/rdoc/classes/PositiveInteger.src/M000033.html +21 -0
  28. data/data/rushcheck/rdoc/classes/RandomArray.html +75 -15
  29. data/data/rushcheck/rdoc/classes/RandomArray.src/M000012.html +19 -0
  30. data/data/rushcheck/rdoc/classes/RandomArray.src/M000013.html +25 -0
  31. data/data/rushcheck/rdoc/classes/RandomArray.src/M000014.html +27 -0
  32. data/data/rushcheck/rdoc/classes/RandomArray.src/M000015.html +23 -0
  33. data/data/rushcheck/rdoc/classes/RandomArray.src/M000016.html +23 -0
  34. data/data/rushcheck/rdoc/classes/RandomArray.src/M000017.html +22 -0
  35. data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
  36. data/data/rushcheck/rdoc/classes/RandomHash.src/M000018.html +19 -0
  37. data/data/rushcheck/rdoc/classes/RandomHash.src/M000019.html +26 -0
  38. data/data/rushcheck/rdoc/classes/RandomHash.src/M000020.html +22 -0
  39. data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
  40. data/data/rushcheck/rdoc/classes/RandomProc.src/M000025.html +18 -0
  41. data/data/rushcheck/rdoc/classes/RandomProc.src/M000026.html +30 -0
  42. data/data/rushcheck/rdoc/classes/RandomProc.src/M000027.html +26 -0
  43. data/data/rushcheck/rdoc/classes/RandomProc.src/M000028.html +20 -0
  44. data/data/rushcheck/rdoc/classes/RushCheck.html +10 -10
  45. data/data/rushcheck/rdoc/classes/RushCheck.src/M000041.html +18 -0
  46. data/data/rushcheck/rdoc/classes/RushCheck.src/M000042.html +27 -0
  47. data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.html +5 -5
  48. data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.src/M000043.html +18 -0
  49. data/data/rushcheck/rdoc/classes/RushCheck/Assertion.html +12 -12
  50. data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000081.html +19 -0
  51. data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000082.html +23 -0
  52. data/data/rushcheck/rdoc/classes/RushCheck/Claim.html +9 -9
  53. data/data/rushcheck/rdoc/classes/RushCheck/Claim.src/M000116.html +21 -0
  54. data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.html +5 -5
  55. data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000066.html +18 -0
  56. data/data/rushcheck/rdoc/classes/RushCheck/Config.html +35 -35
  57. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000074.html +23 -0
  58. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000075.html +22 -0
  59. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000076.html +22 -0
  60. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000077.html +18 -0
  61. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000078.html +38 -0
  62. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000079.html +55 -0
  63. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000080.html +50 -0
  64. data/data/rushcheck/rdoc/classes/RushCheck/Gen.html +107 -107
  65. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000083.html +4 -4
  66. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000084.html +26 -4
  67. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000085.html +4 -4
  68. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000086.html +6 -10
  69. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000087.html +14 -4
  70. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000088.html +9 -6
  71. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000089.html +4 -4
  72. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000090.html +4 -4
  73. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000091.html +4 -9
  74. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000092.html +4 -5
  75. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000093.html +4 -4
  76. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000094.html +8 -8
  77. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000095.html +18 -0
  78. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000096.html +21 -0
  79. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000097.html +18 -0
  80. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000098.html +18 -0
  81. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000099.html +23 -0
  82. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000100.html +19 -0
  83. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000101.html +18 -0
  84. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000102.html +22 -0
  85. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.html +20 -20
  86. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000049.html +22 -0
  87. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000050.html +32 -0
  88. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000051.html +18 -0
  89. data/data/rushcheck/rdoc/classes/RushCheck/Property.html +10 -10
  90. data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000114.html +26 -0
  91. data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000115.html +18 -0
  92. data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.html +10 -10
  93. data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000047.html +18 -0
  94. data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000048.html +19 -0
  95. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.html +20 -20
  96. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000044.html +18 -0
  97. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000045.html +18 -0
  98. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000046.html +18 -0
  99. data/data/rushcheck/rdoc/classes/RushCheck/Result.html +19 -19
  100. data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000103.html +18 -0
  101. data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000104.html +18 -0
  102. data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000105.html +18 -0
  103. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.html +27 -27
  104. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000069.html +23 -0
  105. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000070.html +21 -0
  106. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000071.html +21 -0
  107. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000072.html +18 -0
  108. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000073.html +18 -0
  109. data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.html +5 -5
  110. data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.src/M000107.html +18 -0
  111. data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.html +10 -10
  112. data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000067.html +18 -0
  113. data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000068.html +18 -0
  114. data/data/rushcheck/rdoc/classes/RushCheck/TestResult.html +5 -5
  115. data/data/rushcheck/rdoc/classes/RushCheck/TestResult.src/M000108.html +18 -0
  116. data/data/rushcheck/rdoc/classes/RushCheck/Testable.html +66 -66
  117. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000052.html +4 -5
  118. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000053.html +4 -7
  119. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000056.html +4 -4
  120. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000057.html +4 -4
  121. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000058.html +18 -0
  122. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000060.html +19 -0
  123. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000061.html +21 -0
  124. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000062.html +18 -0
  125. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000064.html +18 -0
  126. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000065.html +18 -0
  127. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.html +38 -21
  128. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000109.html +18 -0
  129. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000110.html +20 -0
  130. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000111.html +21 -0
  131. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000112.html +18 -0
  132. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000113.html +18 -0
  133. data/data/rushcheck/rdoc/classes/SpecialString.html +5 -5
  134. data/data/rushcheck/rdoc/classes/SpecialString.src/M000007.html +37 -0
  135. data/data/rushcheck/rdoc/classes/String.html +20 -20
  136. data/data/rushcheck/rdoc/classes/String.src/M000034.html +24 -0
  137. data/data/rushcheck/rdoc/classes/String.src/M000035.html +18 -0
  138. data/data/rushcheck/rdoc/classes/String.src/M000036.html +25 -0
  139. data/data/rushcheck/rdoc/classes/String.src/M000037.html +22 -0
  140. data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
  141. data/data/rushcheck/rdoc/classes/TrueClass.src/M000038.html +18 -0
  142. data/data/rushcheck/rdoc/classes/TrueClass.src/M000039.html +18 -0
  143. data/data/rushcheck/rdoc/classes/TrueClass.src/M000040.html +18 -0
  144. data/data/rushcheck/rdoc/created.rid +1 -1
  145. data/data/rushcheck/rdoc/files/rushcheck/array_rb.html +1 -1
  146. data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html +1 -1
  147. data/data/rushcheck/rdoc/files/rushcheck/bool_rb.html +1 -1
  148. data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +1 -1
  149. data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +1 -1
  150. data/data/rushcheck/rdoc/files/rushcheck/integer_rb.html +1 -1
  151. data/data/rushcheck/rdoc/files/rushcheck/random_rb.html +1 -1
  152. data/data/rushcheck/rdoc/files/rushcheck/version_rb.html +1 -1
  153. data/data/rushcheck/rdoc/fr_class_index.html +3 -0
  154. data/data/rushcheck/rdoc/fr_method_index.html +112 -103
  155. data/lib/rushcheck/array.rb +58 -17
  156. data/lib/rushcheck/assertion.rb +1 -1
  157. data/lib/rushcheck/gen.rb +7 -9
  158. data/lib/rushcheck/integer.rb +56 -0
  159. data/lib/rushcheck/property.rb +1 -1
  160. data/lib/rushcheck/random.rb +5 -1
  161. data/lib/rushcheck/version.rb +1 -1
  162. metadata +98 -2
@@ -0,0 +1,22 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>batch (RushCheck::Config)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/config.rb, line 31</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">batch</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">v</span>)
15
+ <span class="ruby-identifier">new</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">n</span> <span class="ruby-operator">*</span> <span class="ruby-value">10</span>,
16
+ <span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span>{<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> (<span class="ruby-identifier">x</span> <span class="ruby-operator">/</span> <span class="ruby-value">2</span> <span class="ruby-operator">+</span> <span class="ruby-value">3</span>).<span class="ruby-identifier">to_i</span>},
17
+ <span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
18
+ <span class="ruby-identifier">v</span> <span class="ruby-value">? </span><span class="ruby-identifier">n</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">&quot;:\n&quot;</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">&quot;\n&quot;</span>) <span class="ruby-operator">+</span> <span class="ruby-value str">&quot;\n&quot;</span> <span class="ruby-operator">:</span> <span class="ruby-value str">&quot;&quot;</span>
19
+ <span class="ruby-keyword kw">end</span>)
20
+ <span class="ruby-keyword kw">end</span></pre>
21
+ </body>
22
+ </html>
@@ -0,0 +1,18 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>new (RushCheck::Config)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/config.rb, line 39</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">max_test</span>, <span class="ruby-identifier">max_fail</span>, <span class="ruby-identifier">size</span>, <span class="ruby-identifier">every</span>)
15
+ <span class="ruby-ivar">@max_test</span>, <span class="ruby-ivar">@max_fail</span>, <span class="ruby-ivar">@size</span>, <span class="ruby-ivar">@every</span> = <span class="ruby-identifier">max_test</span>, <span class="ruby-identifier">max_fail</span>, <span class="ruby-identifier">size</span>, <span class="ruby-identifier">every</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
@@ -0,0 +1,38 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>done (RushCheck::Config)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/config.rb, line 44</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">done</span>(<span class="ruby-identifier">mesg</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
15
+ <span class="ruby-identifier">print</span> <span class="ruby-identifier">mesg</span> <span class="ruby-operator">+</span> <span class="ruby-value str">' '</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">ntest</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">' tests'</span>
16
+
17
+ <span class="ruby-identifier">bag</span> = <span class="ruby-identifier">stamps</span>.<span class="ruby-identifier">compact</span>.<span class="ruby-identifier">find_all</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> <span class="ruby-operator">!</span> <span class="ruby-identifier">x</span>.<span class="ruby-identifier">empty?</span>}.<span class="ruby-identifier">sort</span>.
18
+ <span class="ruby-identifier">inject</span>(<span class="ruby-constant">Hash</span>.<span class="ruby-identifier">new</span>) <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">r</span>, <span class="ruby-identifier">m</span><span class="ruby-operator">|</span>
19
+ <span class="ruby-identifier">r</span>[<span class="ruby-identifier">m</span>] = <span class="ruby-identifier">r</span>[<span class="ruby-identifier">m</span>].<span class="ruby-identifier">nil?</span> <span class="ruby-value">? </span><span class="ruby-value">1</span> <span class="ruby-operator">:</span> <span class="ruby-identifier">r</span>[<span class="ruby-identifier">m</span>] <span class="ruby-operator">+</span> <span class="ruby-value">1</span>
20
+ <span class="ruby-identifier">r</span>
21
+ <span class="ruby-keyword kw">end</span>.<span class="ruby-identifier">sort_by</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">k</span>, <span class="ruby-identifier">v</span><span class="ruby-operator">|</span> <span class="ruby-identifier">v</span>}.<span class="ruby-identifier">reverse</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">pair</span><span class="ruby-operator">|</span>
22
+ <span class="ruby-identifier">percentage</span> = ((<span class="ruby-value">100</span> <span class="ruby-operator">*</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">1</span>]) <span class="ruby-operator">/</span> <span class="ruby-identifier">ntest</span>).<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">'%'</span>
23
+ ([<span class="ruby-identifier">percentage</span>] <span class="ruby-operator">+</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">0</span>]).<span class="ruby-identifier">join</span>(<span class="ruby-value str">', '</span>)
24
+ <span class="ruby-keyword kw">end</span>
25
+
26
+ <span class="ruby-identifier">mes</span> = <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">bag</span>.<span class="ruby-identifier">length</span>
27
+ <span class="ruby-keyword kw">when</span> <span class="ruby-value">0</span>
28
+ <span class="ruby-value str">&quot;.\n&quot;</span>
29
+ <span class="ruby-keyword kw">when</span> <span class="ruby-value">1</span>
30
+ <span class="ruby-value str">'('</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">bag</span>[<span class="ruby-value">0</span>] <span class="ruby-operator">+</span> <span class="ruby-value str">&quot;).\n&quot;</span>
31
+ <span class="ruby-keyword kw">else</span>
32
+ <span class="ruby-value str">&quot;.\n&quot;</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">bag</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">&quot;.\n&quot;</span>) <span class="ruby-operator">+</span> <span class="ruby-value str">&quot;.\n&quot;</span>
33
+ <span class="ruby-keyword kw">end</span>
34
+
35
+ <span class="ruby-identifier">print</span> <span class="ruby-identifier">mes</span>
36
+ <span class="ruby-keyword kw">end</span></pre>
37
+ </body>
38
+ </html>
@@ -0,0 +1,55 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>tests (RushCheck::Config)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/config.rb, line 69</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">tests</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">rnd</span>, <span class="ruby-identifier">nt</span>=<span class="ruby-value">1</span>, <span class="ruby-identifier">nf</span>=<span class="ruby-value">0</span>, <span class="ruby-identifier">stamps</span>=[])
15
+ <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">nfail</span> = <span class="ruby-identifier">nt</span>, <span class="ruby-identifier">nf</span>
16
+ <span class="ruby-keyword kw">while</span> <span class="ruby-keyword kw">true</span>
17
+ <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">ntest</span> <span class="ruby-operator">&gt;</span> <span class="ruby-identifier">max_test</span>
18
+ <span class="ruby-identifier">done</span>(<span class="ruby-value str">'OK, passed'</span>, <span class="ruby-identifier">max_test</span>, <span class="ruby-identifier">stamps</span>)
19
+ <span class="ruby-identifier">tests_result</span> = <span class="ruby-keyword kw">true</span>
20
+ <span class="ruby-keyword kw">break</span>
21
+ <span class="ruby-keyword kw">end</span>
22
+ <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">nfail</span> <span class="ruby-operator">&gt;</span> <span class="ruby-identifier">max_fail</span>
23
+ <span class="ruby-identifier">done</span>(<span class="ruby-value str">'Arguments exhausted after '</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
24
+ <span class="ruby-identifier">tests_result</span> = <span class="ruby-keyword kw">nil</span>
25
+ <span class="ruby-keyword kw">break</span>
26
+ <span class="ruby-keyword kw">end</span>
27
+
28
+ <span class="ruby-identifier">rnd_l</span>, <span class="ruby-identifier">rnd_r</span> = <span class="ruby-identifier">rnd</span>.<span class="ruby-identifier">split</span>
29
+ <span class="ruby-identifier">result</span> = <span class="ruby-identifier">gen</span>.<span class="ruby-identifier">generate</span>(<span class="ruby-identifier">size</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>), <span class="ruby-identifier">rnd_r</span>)
30
+ <span class="ruby-identifier">message</span> = <span class="ruby-identifier">every</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>)
31
+ <span class="ruby-identifier">print</span> <span class="ruby-identifier">message</span> <span class="ruby-comment cmt"># don't puts</span>
32
+
33
+ <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">result</span>.<span class="ruby-identifier">ok</span>
34
+ <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">nil</span>
35
+ <span class="ruby-identifier">nfail</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
36
+ <span class="ruby-keyword kw">redo</span>
37
+ <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">true</span>
38
+ <span class="ruby-identifier">stamps</span>.<span class="ruby-identifier">push</span>(<span class="ruby-identifier">result</span>.<span class="ruby-identifier">stamp</span>)
39
+ <span class="ruby-identifier">ntest</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
40
+ <span class="ruby-keyword kw">redo</span>
41
+ <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">false</span>
42
+ <span class="ruby-identifier">error</span> = <span class="ruby-value str">&quot;Falsifiable, after &quot;</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">ntest</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">&quot; tests:\n&quot;</span> <span class="ruby-operator">+</span>
43
+ <span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">&quot;\n&quot;</span>)
44
+ <span class="ruby-identifier">puts</span> <span class="ruby-identifier">error</span>
45
+ <span class="ruby-identifier">tests_result</span> = <span class="ruby-keyword kw">false</span>
46
+ <span class="ruby-keyword kw">break</span>
47
+ <span class="ruby-keyword kw">else</span>
48
+ <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">&quot;RushCheck: illegal result&quot;</span>)
49
+ <span class="ruby-keyword kw">end</span>
50
+ <span class="ruby-keyword kw">end</span>
51
+
52
+ <span class="ruby-identifier">tests_result</span>
53
+ <span class="ruby-keyword kw">end</span></pre>
54
+ </body>
55
+ </html>
@@ -0,0 +1,50 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>test_batch (RushCheck::Config)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/config.rb, line 110</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">test_batch</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">rnd</span>, <span class="ruby-identifier">nt</span>=<span class="ruby-value">1</span>, <span class="ruby-identifier">nf</span>=<span class="ruby-value">0</span>, <span class="ruby-identifier">stamps</span>=[])
15
+ <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">nfail</span> = <span class="ruby-identifier">nt</span>, <span class="ruby-identifier">nf</span>
16
+ <span class="ruby-keyword kw">while</span> <span class="ruby-keyword kw">true</span>
17
+ <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">ntest</span> <span class="ruby-operator">&gt;</span> <span class="ruby-identifier">max_test</span>
18
+ <span class="ruby-identifier">tests_result</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TestOk</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;OK, passed&quot;</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
19
+ <span class="ruby-keyword kw">break</span>
20
+ <span class="ruby-keyword kw">end</span>
21
+ <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">nfail</span> <span class="ruby-operator">&gt;</span> <span class="ruby-identifier">max_fail</span>
22
+ <span class="ruby-identifier">test_result</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TestExausted</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">'Arguments exhausted after '</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
23
+ <span class="ruby-keyword kw">break</span>
24
+ <span class="ruby-keyword kw">end</span>
25
+
26
+ <span class="ruby-identifier">rnd_l</span>, <span class="ruby-identifier">rnd_r</span> = <span class="ruby-identifier">rnd</span>.<span class="ruby-identifier">split</span>
27
+ <span class="ruby-identifier">result</span> = <span class="ruby-identifier">gen</span>.<span class="ruby-identifier">generate</span>(<span class="ruby-identifier">size</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>), <span class="ruby-identifier">rnd_r</span>)
28
+ <span class="ruby-identifier">message</span> = <span class="ruby-identifier">every</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>)
29
+ <span class="ruby-identifier">print</span> <span class="ruby-identifier">message</span> <span class="ruby-comment cmt"># don't puts</span>
30
+
31
+ <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">result</span>.<span class="ruby-identifier">ok</span>
32
+ <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">nil</span>
33
+ <span class="ruby-identifier">nfail</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
34
+ <span class="ruby-keyword kw">redo</span>
35
+ <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">true</span>
36
+ <span class="ruby-identifier">stamps</span>.<span class="ruby-identifier">push</span>(<span class="ruby-identifier">result</span>.<span class="ruby-identifier">stamp</span>)
37
+ <span class="ruby-identifier">ntest</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
38
+ <span class="ruby-keyword kw">redo</span>
39
+ <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">false</span>
40
+ <span class="ruby-identifier">tests_result</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TestFailed</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>, <span class="ruby-identifier">ntest</span>)
41
+ <span class="ruby-keyword kw">break</span>
42
+ <span class="ruby-keyword kw">else</span>
43
+ <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">&quot;RushCheck: illegal result&quot;</span>)
44
+ <span class="ruby-keyword kw">end</span>
45
+ <span class="ruby-keyword kw">end</span>
46
+
47
+ <span class="ruby-identifier">test_result</span>
48
+ <span class="ruby-keyword kw">end</span></pre>
49
+ </body>
50
+ </html>
@@ -93,26 +93,26 @@ instances.
93
93
  <h3 class="section-bar">Methods</h3>
94
94
 
95
95
  <div class="name-list">
96
- <a href="#M000088">bind</a>&nbsp;&nbsp;
97
- <a href="#M000075">choose</a>&nbsp;&nbsp;
98
- <a href="#M000077">create</a>&nbsp;&nbsp;
99
- <a href="#M000076">create_by_gen</a>&nbsp;&nbsp;
100
- <a href="#M000078">elements</a>&nbsp;&nbsp;
101
- <a href="#M000090">fmap</a>&nbsp;&nbsp;
102
- <a href="#M000091">forall</a>&nbsp;&nbsp;
103
- <a href="#M000079">frequency</a>&nbsp;&nbsp;
104
- <a href="#M000092">generate</a>&nbsp;&nbsp;
105
- <a href="#M000080">lift_array</a>&nbsp;&nbsp;
106
- <a href="#M000087">new</a>&nbsp;&nbsp;
107
- <a href="#M000081">oneof</a>&nbsp;&nbsp;
108
- <a href="#M000082">promote</a>&nbsp;&nbsp;
109
- <a href="#M000083">rand</a>&nbsp;&nbsp;
110
- <a href="#M000093">resize</a>&nbsp;&nbsp;
111
- <a href="#M000084">sized</a>&nbsp;&nbsp;
112
- <a href="#M000085">unit</a>&nbsp;&nbsp;
113
- <a href="#M000089">value</a>&nbsp;&nbsp;
114
- <a href="#M000094">variant</a>&nbsp;&nbsp;
115
- <a href="#M000086">vector</a>&nbsp;&nbsp;
96
+ <a href="#M000096">bind</a>&nbsp;&nbsp;
97
+ <a href="#M000083">choose</a>&nbsp;&nbsp;
98
+ <a href="#M000085">create</a>&nbsp;&nbsp;
99
+ <a href="#M000084">create_by_gen</a>&nbsp;&nbsp;
100
+ <a href="#M000086">elements</a>&nbsp;&nbsp;
101
+ <a href="#M000098">fmap</a>&nbsp;&nbsp;
102
+ <a href="#M000099">forall</a>&nbsp;&nbsp;
103
+ <a href="#M000087">frequency</a>&nbsp;&nbsp;
104
+ <a href="#M000100">generate</a>&nbsp;&nbsp;
105
+ <a href="#M000088">lift_array</a>&nbsp;&nbsp;
106
+ <a href="#M000095">new</a>&nbsp;&nbsp;
107
+ <a href="#M000089">oneof</a>&nbsp;&nbsp;
108
+ <a href="#M000090">promote</a>&nbsp;&nbsp;
109
+ <a href="#M000091">rand</a>&nbsp;&nbsp;
110
+ <a href="#M000101">resize</a>&nbsp;&nbsp;
111
+ <a href="#M000092">sized</a>&nbsp;&nbsp;
112
+ <a href="#M000093">unit</a>&nbsp;&nbsp;
113
+ <a href="#M000097">value</a>&nbsp;&nbsp;
114
+ <a href="#M000102">variant</a>&nbsp;&nbsp;
115
+ <a href="#M000094">vector</a>&nbsp;&nbsp;
116
116
  </div>
117
117
  </div>
118
118
 
@@ -134,12 +134,12 @@ instances.
134
134
  <div id="methods">
135
135
  <h3 class="section-bar">Public Class methods</h3>
136
136
 
137
- <div id="method-M000075" class="method-detail">
138
- <a name="M000075"></a>
137
+ <div id="method-M000083" class="method-detail">
138
+ <a name="M000083"></a>
139
139
 
140
140
  <div class="method-heading">
141
- <a href="Gen.src/M000075.html" target="Code" class="method-signature"
142
- onclick="popupCode('Gen.src/M000075.html');return false;">
141
+ <a href="Gen.src/M000083.html" target="Code" class="method-signature"
142
+ onclick="popupCode('Gen.src/M000083.html');return false;">
143
143
  <span class="method-name">choose</span><span class="method-args">(lo=nil, hi=nil)</span>
144
144
  </a>
145
145
  </div>
@@ -154,32 +154,32 @@ implement arbitrary method into your class.
154
154
  </div>
155
155
  </div>
156
156
 
157
- <div id="method-M000077" class="method-detail">
158
- <a name="M000077"></a>
157
+ <div id="method-M000085" class="method-detail">
158
+ <a name="M000085"></a>
159
159
 
160
160
  <div class="method-heading">
161
- <a href="Gen.src/M000077.html" target="Code" class="method-signature"
162
- onclick="popupCode('Gen.src/M000077.html');return false;">
163
- <span class="method-name">create</span><span class="method-args">(cs) {|f| ...}</span>
161
+ <a href="Gen.src/M000085.html" target="Code" class="method-signature"
162
+ onclick="popupCode('Gen.src/M000085.html');return false;">
163
+ <span class="method-name">create</span><span class="method-args">(*cs, &amp;f)</span>
164
164
  </a>
165
165
  </div>
166
166
 
167
167
  <div class="method-description">
168
168
  <p>
169
169
  create is one of primitive generators to create a random <a
170
- href="Gen.html">Gen</a> object. create takes an array of classes, and any
170
+ href="Gen.html">Gen</a> object. create takes at least a class, and any
171
171
  block to generate object. Then create returns a <a href="Gen.html">Gen</a>
172
172
  object. It may useful to implement arbitrary method into your class.
173
173
  </p>
174
174
  </div>
175
175
  </div>
176
176
 
177
- <div id="method-M000076" class="method-detail">
178
- <a name="M000076"></a>
177
+ <div id="method-M000084" class="method-detail">
178
+ <a name="M000084"></a>
179
179
 
180
180
  <div class="method-heading">
181
- <a href="Gen.src/M000076.html" target="Code" class="method-signature"
182
- onclick="popupCode('Gen.src/M000076.html');return false;">
181
+ <a href="Gen.src/M000084.html" target="Code" class="method-signature"
182
+ onclick="popupCode('Gen.src/M000084.html');return false;">
183
183
  <span class="method-name">create_by_gen</span><span class="method-args">(xs, &amp;f)</span>
184
184
  </a>
185
185
  </div>
@@ -195,12 +195,12 @@ implement arbitrary method into your class.
195
195
  </div>
196
196
  </div>
197
197
 
198
- <div id="method-M000078" class="method-detail">
199
- <a name="M000078"></a>
198
+ <div id="method-M000086" class="method-detail">
199
+ <a name="M000086"></a>
200
200
 
201
201
  <div class="method-heading">
202
- <a href="Gen.src/M000078.html" target="Code" class="method-signature"
203
- onclick="popupCode('Gen.src/M000078.html');return false;">
202
+ <a href="Gen.src/M000086.html" target="Code" class="method-signature"
203
+ onclick="popupCode('Gen.src/M000086.html');return false;">
204
204
  <span class="method-name">elements</span><span class="method-args">(xs)</span>
205
205
  </a>
206
206
  </div>
@@ -215,12 +215,12 @@ randomly. It may useful to implement arbitrary method into your class.
215
215
  </div>
216
216
  </div>
217
217
 
218
- <div id="method-M000079" class="method-detail">
219
- <a name="M000079"></a>
218
+ <div id="method-M000087" class="method-detail">
219
+ <a name="M000087"></a>
220
220
 
221
221
  <div class="method-heading">
222
- <a href="Gen.src/M000079.html" target="Code" class="method-signature"
223
- onclick="popupCode('Gen.src/M000079.html');return false;">
222
+ <a href="Gen.src/M000087.html" target="Code" class="method-signature"
223
+ onclick="popupCode('Gen.src/M000087.html');return false;">
224
224
  <span class="method-name">frequency</span><span class="method-args">(xs)</span>
225
225
  </a>
226
226
  </div>
@@ -233,44 +233,44 @@ returns a <a href="Gen.html">Gen</a> object. The first component of pair
233
233
  should be a positive <a href="../Integer.html">Integer</a> and the second
234
234
  one should be a <a href="Gen.html">Gen</a> object. The integer acts as a
235
235
  weight for choosing random <a href="Gen.html">Gen</a> object in the array.
236
- For example, frequency([[1, <a href="Gen.html#M000083">Gen.rand</a>], [2,
236
+ For example, frequency([[1, <a href="Gen.html#M000091">Gen.rand</a>], [2,
237
237
  <a href="../Integer.html#M000002">Integer.arbitrary</a>]]) returns the
238
- random generator <a href="Gen.html#M000083">Gen.rand</a> in 33%, while
238
+ random generator <a href="Gen.html#M000091">Gen.rand</a> in 33%, while
239
239
  another random generator of <a href="../Integer.html">Integer</a> (<a
240
240
  href="../Integer.html#M000002">Integer.arbitrary</a>) in 67%.
241
241
  </p>
242
242
  </div>
243
243
  </div>
244
244
 
245
- <div id="method-M000080" class="method-detail">
246
- <a name="M000080"></a>
245
+ <div id="method-M000088" class="method-detail">
246
+ <a name="M000088"></a>
247
247
 
248
248
  <div class="method-heading">
249
- <a href="Gen.src/M000080.html" target="Code" class="method-signature"
250
- onclick="popupCode('Gen.src/M000080.html');return false;">
249
+ <a href="Gen.src/M000088.html" target="Code" class="method-signature"
250
+ onclick="popupCode('Gen.src/M000088.html');return false;">
251
251
  <span class="method-name">lift_array</span><span class="method-args">(xs) {|.value(n, r1)| ...}</span>
252
252
  </a>
253
253
  </div>
254
254
 
255
255
  <div class="method-description">
256
256
  <p>
257
- <a href="Gen.html#M000080">lift_array</a> is one of primitive generators to
257
+ <a href="Gen.html#M000088">lift_array</a> is one of primitive generators to
258
258
  create a randam <a href="Gen.html">Gen</a> object. <a
259
- href="Gen.html#M000080">lift_array</a> takes an array and a block which has
259
+ href="Gen.html#M000088">lift_array</a> takes an array and a block which has
260
260
  a variable. The block should return a <a href="Gen.html">Gen</a> object. <a
261
- href="Gen.html#M000080">lift_array</a> returns a <a href="Gen.html">Gen</a>
261
+ href="Gen.html#M000088">lift_array</a> returns a <a href="Gen.html">Gen</a>
262
262
  object which generates an array of the result of given block for applying
263
263
  each member of given array.
264
264
  </p>
265
265
  </div>
266
266
  </div>
267
267
 
268
- <div id="method-M000087" class="method-detail">
269
- <a name="M000087"></a>
268
+ <div id="method-M000095" class="method-detail">
269
+ <a name="M000095"></a>
270
270
 
271
271
  <div class="method-heading">
272
- <a href="Gen.src/M000087.html" target="Code" class="method-signature"
273
- onclick="popupCode('Gen.src/M000087.html');return false;">
272
+ <a href="Gen.src/M000095.html" target="Code" class="method-signature"
273
+ onclick="popupCode('Gen.src/M000095.html');return false;">
274
274
  <span class="method-name">new</span><span class="method-args">(&amp;f)</span>
275
275
  </a>
276
276
  </div>
@@ -285,12 +285,12 @@ href="RandomGen.html">RandomGen</a>.
285
285
  </div>
286
286
  </div>
287
287
 
288
- <div id="method-M000081" class="method-detail">
289
- <a name="M000081"></a>
288
+ <div id="method-M000089" class="method-detail">
289
+ <a name="M000089"></a>
290
290
 
291
291
  <div class="method-heading">
292
- <a href="Gen.src/M000081.html" target="Code" class="method-signature"
293
- onclick="popupCode('Gen.src/M000081.html');return false;">
292
+ <a href="Gen.src/M000089.html" target="Code" class="method-signature"
293
+ onclick="popupCode('Gen.src/M000089.html');return false;">
294
294
  <span class="method-name">oneof</span><span class="method-args">(gens)</span>
295
295
  </a>
296
296
  </div>
@@ -306,12 +306,12 @@ randomly. It may useful to implement arbitrary method into your class.
306
306
  </div>
307
307
  </div>
308
308
 
309
- <div id="method-M000082" class="method-detail">
310
- <a name="M000082"></a>
309
+ <div id="method-M000090" class="method-detail">
310
+ <a name="M000090"></a>
311
311
 
312
312
  <div class="method-heading">
313
- <a href="Gen.src/M000082.html" target="Code" class="method-signature"
314
- onclick="popupCode('Gen.src/M000082.html');return false;">
313
+ <a href="Gen.src/M000090.html" target="Code" class="method-signature"
314
+ onclick="popupCode('Gen.src/M000090.html');return false;">
315
315
  <span class="method-name">promote</span><span class="method-args">() {|a| ...}</span>
316
316
  </a>
317
317
  </div>
@@ -328,12 +328,12 @@ coarbitrary method into your class.
328
328
  </div>
329
329
  </div>
330
330
 
331
- <div id="method-M000083" class="method-detail">
332
- <a name="M000083"></a>
331
+ <div id="method-M000091" class="method-detail">
332
+ <a name="M000091"></a>
333
333
 
334
334
  <div class="method-heading">
335
- <a href="Gen.src/M000083.html" target="Code" class="method-signature"
336
- onclick="popupCode('Gen.src/M000083.html');return false;">
335
+ <a href="Gen.src/M000091.html" target="Code" class="method-signature"
336
+ onclick="popupCode('Gen.src/M000091.html');return false;">
337
337
  <span class="method-name">rand</span><span class="method-args">()</span>
338
338
  </a>
339
339
  </div>
@@ -346,12 +346,12 @@ number generator.
346
346
  </div>
347
347
  </div>
348
348
 
349
- <div id="method-M000084" class="method-detail">
350
- <a name="M000084"></a>
349
+ <div id="method-M000092" class="method-detail">
350
+ <a name="M000092"></a>
351
351
 
352
352
  <div class="method-heading">
353
- <a href="Gen.src/M000084.html" target="Code" class="method-signature"
354
- onclick="popupCode('Gen.src/M000084.html');return false;">
353
+ <a href="Gen.src/M000092.html" target="Code" class="method-signature"
354
+ onclick="popupCode('Gen.src/M000092.html');return false;">
355
355
  <span class="method-name">sized</span><span class="method-args">() {|n| ...}</span>
356
356
  </a>
357
357
  </div>
@@ -365,12 +365,12 @@ The block should be a function which changes the size of random instances.
365
365
  </div>
366
366
  </div>
367
367
 
368
- <div id="method-M000085" class="method-detail">
369
- <a name="M000085"></a>
368
+ <div id="method-M000093" class="method-detail">
369
+ <a name="M000093"></a>
370
370
 
371
371
  <div class="method-heading">
372
- <a href="Gen.src/M000085.html" target="Code" class="method-signature"
373
- onclick="popupCode('Gen.src/M000085.html');return false;">
372
+ <a href="Gen.src/M000093.html" target="Code" class="method-signature"
373
+ onclick="popupCode('Gen.src/M000093.html');return false;">
374
374
  <span class="method-name">unit</span><span class="method-args">(x)</span>
375
375
  </a>
376
376
  </div>
@@ -384,12 +384,12 @@ href="Gen.html">Gen</a> object which generates the given object.
384
384
  </div>
385
385
  </div>
386
386
 
387
- <div id="method-M000086" class="method-detail">
388
- <a name="M000086"></a>
387
+ <div id="method-M000094" class="method-detail">
388
+ <a name="M000094"></a>
389
389
 
390
390
  <div class="method-heading">
391
- <a href="Gen.src/M000086.html" target="Code" class="method-signature"
392
- onclick="popupCode('Gen.src/M000086.html');return false;">
391
+ <a href="Gen.src/M000094.html" target="Code" class="method-signature"
392
+ onclick="popupCode('Gen.src/M000094.html');return false;">
393
393
  <span class="method-name">vector</span><span class="method-args">(c, len)</span>
394
394
  </a>
395
395
  </div>
@@ -407,12 +407,12 @@ belongs the given class and given length.
407
407
 
408
408
  <h3 class="section-bar">Public Instance methods</h3>
409
409
 
410
- <div id="method-M000088" class="method-detail">
411
- <a name="M000088"></a>
410
+ <div id="method-M000096" class="method-detail">
411
+ <a name="M000096"></a>
412
412
 
413
413
  <div class="method-heading">
414
- <a href="Gen.src/M000088.html" target="Code" class="method-signature"
415
- onclick="popupCode('Gen.src/M000088.html');return false;">
414
+ <a href="Gen.src/M000096.html" target="Code" class="method-signature"
415
+ onclick="popupCode('Gen.src/M000096.html');return false;">
416
416
  <span class="method-name">bind</span><span class="method-args">() {|value(n, r1)| ...}</span>
417
417
  </a>
418
418
  </div>
@@ -427,12 +427,12 @@ href="Gen.html">Gen</a> object.
427
427
  </div>
428
428
  </div>
429
429
 
430
- <div id="method-M000090" class="method-detail">
431
- <a name="M000090"></a>
430
+ <div id="method-M000098" class="method-detail">
431
+ <a name="M000098"></a>
432
432
 
433
433
  <div class="method-heading">
434
- <a href="Gen.src/M000090.html" target="Code" class="method-signature"
435
- onclick="popupCode('Gen.src/M000090.html');return false;">
434
+ <a href="Gen.src/M000098.html" target="Code" class="method-signature"
435
+ onclick="popupCode('Gen.src/M000098.html');return false;">
436
436
  <span class="method-name">fmap</span><span class="method-args">() {|x| ...}</span>
437
437
  </a>
438
438
  </div>
@@ -445,12 +445,12 @@ which takes one variable.
445
445
  </div>
446
446
  </div>
447
447
 
448
- <div id="method-M000091" class="method-detail">
449
- <a name="M000091"></a>
448
+ <div id="method-M000099" class="method-detail">
449
+ <a name="M000099"></a>
450
450
 
451
451
  <div class="method-heading">
452
- <a href="Gen.src/M000091.html" target="Code" class="method-signature"
453
- onclick="popupCode('Gen.src/M000091.html');return false;">
452
+ <a href="Gen.src/M000099.html" target="Code" class="method-signature"
453
+ onclick="popupCode('Gen.src/M000099.html');return false;">
454
454
  <span class="method-name">forall</span><span class="method-args">() {|*a| ...}</span>
455
455
  </a>
456
456
  </div>
@@ -465,12 +465,12 @@ of the property.
465
465
  </div>
466
466
  </div>
467
467
 
468
- <div id="method-M000092" class="method-detail">
469
- <a name="M000092"></a>
468
+ <div id="method-M000100" class="method-detail">
469
+ <a name="M000100"></a>
470
470
 
471
471
  <div class="method-heading">
472
- <a href="Gen.src/M000092.html" target="Code" class="method-signature"
473
- onclick="popupCode('Gen.src/M000092.html');return false;">
472
+ <a href="Gen.src/M000100.html" target="Code" class="method-signature"
473
+ onclick="popupCode('Gen.src/M000100.html');return false;">
474
474
  <span class="method-name">generate</span><span class="method-args">(n, rnd)</span>
475
475
  </a>
476
476
  </div>
@@ -484,12 +484,12 @@ number generator such as <a href="StdGen.html">StdGen</a>.
484
484
  </div>
485
485
  </div>
486
486
 
487
- <div id="method-M000093" class="method-detail">
488
- <a name="M000093"></a>
487
+ <div id="method-M000101" class="method-detail">
488
+ <a name="M000101"></a>
489
489
 
490
490
  <div class="method-heading">
491
- <a href="Gen.src/M000093.html" target="Code" class="method-signature"
492
- onclick="popupCode('Gen.src/M000093.html');return false;">
491
+ <a href="Gen.src/M000101.html" target="Code" class="method-signature"
492
+ onclick="popupCode('Gen.src/M000101.html');return false;">
493
493
  <span class="method-name">resize</span><span class="method-args">(n)</span>
494
494
  </a>
495
495
  </div>
@@ -503,12 +503,12 @@ href="../Integer.html">Integer</a>.
503
503
  </div>
504
504
  </div>
505
505
 
506
- <div id="method-M000089" class="method-detail">
507
- <a name="M000089"></a>
506
+ <div id="method-M000097" class="method-detail">
507
+ <a name="M000097"></a>
508
508
 
509
509
  <div class="method-heading">
510
- <a href="Gen.src/M000089.html" target="Code" class="method-signature"
511
- onclick="popupCode('Gen.src/M000089.html');return false;">
510
+ <a href="Gen.src/M000097.html" target="Code" class="method-signature"
511
+ onclick="popupCode('Gen.src/M000097.html');return false;">
512
512
  <span class="method-name">value</span><span class="method-args">(n, g)</span>
513
513
  </a>
514
514
  </div>
@@ -523,12 +523,12 @@ href="RandomGen.html">RandomGen</a>.
523
523
  </div>
524
524
  </div>
525
525
 
526
- <div id="method-M000094" class="method-detail">
527
- <a name="M000094"></a>
526
+ <div id="method-M000102" class="method-detail">
527
+ <a name="M000102"></a>
528
528
 
529
529
  <div class="method-heading">
530
- <a href="Gen.src/M000094.html" target="Code" class="method-signature"
531
- onclick="popupCode('Gen.src/M000094.html');return false;">
530
+ <a href="Gen.src/M000102.html" target="Code" class="method-signature"
531
+ onclick="popupCode('Gen.src/M000102.html');return false;">
532
532
  <span class="method-name">variant</span><span class="method-args">(v)</span>
533
533
  </a>
534
534
  </div>