rushcheck 0.3 → 0.4

Sign up to get free protection for your applications and to get access to all the features.
Files changed (167) hide show
  1. data/Rakefile +1 -1
  2. data/data/rushcheck/doc/policy.txt +107 -0
  3. data/data/rushcheck/doc/rushcheck.thtml +832 -0
  4. data/data/rushcheck/examples/candy.rb +6 -8
  5. data/data/rushcheck/examples/printf.rb +3 -3
  6. data/data/rushcheck/examples/proc.rb +4 -4
  7. data/data/rushcheck/examples/roguetile.rb +16 -16
  8. data/data/rushcheck/examples/sample.rb +10 -10
  9. data/data/rushcheck/rdoc/classes/Arbitrary.html +5 -5
  10. data/data/rushcheck/rdoc/classes/Arbitrary.src/M000082.html +18 -0
  11. data/data/rushcheck/rdoc/classes/Assertion.html +11 -11
  12. data/data/rushcheck/rdoc/classes/Assertion.src/M000019.html +20 -0
  13. data/data/rushcheck/rdoc/classes/Assertion.src/M000020.html +50 -0
  14. data/data/rushcheck/rdoc/classes/Coarbitrary.html +5 -5
  15. data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000105.html +18 -0
  16. data/data/rushcheck/rdoc/classes/FalseClass.html +15 -15
  17. data/data/rushcheck/rdoc/classes/FalseClass.src/M000022.html +18 -0
  18. data/data/rushcheck/rdoc/classes/FalseClass.src/M000023.html +18 -0
  19. data/data/rushcheck/rdoc/classes/FalseClass.src/M000024.html +18 -0
  20. data/data/rushcheck/rdoc/classes/Float.html +20 -20
  21. data/data/rushcheck/rdoc/classes/Float.src/M000052.html +21 -0
  22. data/data/rushcheck/rdoc/classes/Float.src/M000053.html +18 -0
  23. data/data/rushcheck/rdoc/classes/Float.src/M000054.html +22 -0
  24. data/data/rushcheck/rdoc/classes/Float.src/M000055.html +20 -0
  25. data/data/rushcheck/rdoc/classes/Gen.html +102 -102
  26. data/data/rushcheck/rdoc/classes/Gen.src/M000030.html +4 -10
  27. data/data/rushcheck/rdoc/classes/Gen.src/M000031.html +29 -4
  28. data/data/rushcheck/rdoc/classes/Gen.src/M000032.html +6 -4
  29. data/data/rushcheck/rdoc/classes/Gen.src/M000033.html +14 -4
  30. data/data/rushcheck/rdoc/classes/Gen.src/M000034.html +10 -4
  31. data/data/rushcheck/rdoc/classes/Gen.src/M000035.html +4 -4
  32. data/data/rushcheck/rdoc/classes/Gen.src/M000036.html +4 -10
  33. data/data/rushcheck/rdoc/classes/Gen.src/M000037.html +4 -4
  34. data/data/rushcheck/rdoc/classes/Gen.src/M000038.html +4 -7
  35. data/data/rushcheck/rdoc/classes/Gen.src/M000039.html +4 -4
  36. data/data/rushcheck/rdoc/classes/Gen.src/M000040.html +10 -4
  37. data/data/rushcheck/rdoc/classes/Gen.src/M000041.html +4 -9
  38. data/data/rushcheck/rdoc/classes/Gen.src/M000042.html +7 -5
  39. data/data/rushcheck/rdoc/classes/Gen.src/M000043.html +4 -4
  40. data/data/rushcheck/rdoc/classes/Gen.src/M000044.html +4 -10
  41. data/data/rushcheck/rdoc/classes/Gen.src/M000045.html +23 -0
  42. data/data/rushcheck/rdoc/classes/Gen.src/M000046.html +19 -0
  43. data/data/rushcheck/rdoc/classes/Gen.src/M000047.html +18 -0
  44. data/data/rushcheck/rdoc/classes/Gen.src/M000048.html +24 -0
  45. data/data/rushcheck/rdoc/classes/Guard.html +10 -10
  46. data/data/rushcheck/rdoc/classes/Guard.src/M000028.html +27 -0
  47. data/data/rushcheck/rdoc/classes/Guard.src/M000029.html +18 -0
  48. data/data/rushcheck/rdoc/classes/HsRandom.html +20 -20
  49. data/data/rushcheck/rdoc/classes/HsRandom.src/M000088.html +22 -0
  50. data/data/rushcheck/rdoc/classes/HsRandom.src/M000089.html +32 -0
  51. data/data/rushcheck/rdoc/classes/HsRandom.src/M000090.html +18 -0
  52. data/data/rushcheck/rdoc/classes/Integer.html +20 -20
  53. data/data/rushcheck/rdoc/classes/Integer.src/M000010.html +18 -0
  54. data/data/rushcheck/rdoc/classes/Integer.src/M000011.html +18 -0
  55. data/data/rushcheck/rdoc/classes/Integer.src/M000012.html +21 -0
  56. data/data/rushcheck/rdoc/classes/Integer.src/M000013.html +19 -0
  57. data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
  58. data/data/rushcheck/rdoc/classes/NilClass.src/M000064.html +18 -0
  59. data/data/rushcheck/rdoc/classes/NilClass.src/M000065.html +18 -0
  60. data/data/rushcheck/rdoc/classes/NilClass.src/M000066.html +18 -0
  61. data/data/rushcheck/rdoc/classes/Property.html +10 -10
  62. data/data/rushcheck/rdoc/classes/Property.src/M000077.html +26 -0
  63. data/data/rushcheck/rdoc/classes/Property.src/M000078.html +18 -0
  64. data/data/rushcheck/rdoc/classes/RandomArray.html +15 -15
  65. data/data/rushcheck/rdoc/classes/RandomArray.src/M000025.html +18 -0
  66. data/data/rushcheck/rdoc/classes/RandomArray.src/M000026.html +35 -0
  67. data/data/rushcheck/rdoc/classes/RandomArray.src/M000027.html +22 -0
  68. data/data/rushcheck/rdoc/classes/RandomBool.html +10 -10
  69. data/data/rushcheck/rdoc/classes/RandomBool.src/M000086.html +18 -0
  70. data/data/rushcheck/rdoc/classes/RandomBool.src/M000087.html +19 -0
  71. data/data/rushcheck/rdoc/classes/RandomGen.html +20 -20
  72. data/data/rushcheck/rdoc/classes/RandomGen.src/M000083.html +18 -0
  73. data/data/rushcheck/rdoc/classes/RandomGen.src/M000084.html +18 -0
  74. data/data/rushcheck/rdoc/classes/RandomGen.src/M000085.html +18 -0
  75. data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
  76. data/data/rushcheck/rdoc/classes/RandomHash.src/M000049.html +18 -0
  77. data/data/rushcheck/rdoc/classes/RandomHash.src/M000050.html +26 -0
  78. data/data/rushcheck/rdoc/classes/RandomHash.src/M000051.html +22 -0
  79. data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
  80. data/data/rushcheck/rdoc/classes/RandomProc.src/M000060.html +18 -0
  81. data/data/rushcheck/rdoc/classes/RandomProc.src/M000061.html +30 -0
  82. data/data/rushcheck/rdoc/classes/RandomProc.src/M000062.html +26 -0
  83. data/data/rushcheck/rdoc/classes/RandomProc.src/M000063.html +20 -0
  84. data/data/rushcheck/rdoc/classes/Result.html +19 -19
  85. data/data/rushcheck/rdoc/classes/Result.src/M000056.html +18 -0
  86. data/data/rushcheck/rdoc/classes/Result.src/M000057.html +18 -0
  87. data/data/rushcheck/rdoc/classes/Result.src/M000058.html +18 -0
  88. data/data/rushcheck/rdoc/classes/RushCheckConfig.html +41 -11
  89. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000001.html +1 -1
  90. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000002.html +1 -1
  91. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000003.html +8 -4
  92. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html +4 -24
  93. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html +22 -39
  94. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000006.html +55 -0
  95. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000007.html +50 -0
  96. data/data/rushcheck/rdoc/classes/SpecialString.html +5 -5
  97. data/data/rushcheck/rdoc/classes/SpecialString.src/M000021.html +37 -0
  98. data/data/rushcheck/rdoc/classes/StdGen.html +27 -27
  99. data/data/rushcheck/rdoc/classes/StdGen.src/M000014.html +9 -4
  100. data/data/rushcheck/rdoc/classes/StdGen.src/M000015.html +21 -0
  101. data/data/rushcheck/rdoc/classes/StdGen.src/M000016.html +21 -0
  102. data/data/rushcheck/rdoc/classes/StdGen.src/M000017.html +18 -0
  103. data/data/rushcheck/rdoc/classes/StdGen.src/M000018.html +18 -0
  104. data/data/rushcheck/rdoc/classes/String.html +20 -20
  105. data/data/rushcheck/rdoc/classes/String.src/M000073.html +24 -0
  106. data/data/rushcheck/rdoc/classes/String.src/M000074.html +18 -0
  107. data/data/rushcheck/rdoc/classes/String.src/M000075.html +25 -0
  108. data/data/rushcheck/rdoc/classes/String.src/M000076.html +22 -0
  109. data/data/rushcheck/rdoc/classes/TestExausted.html +113 -0
  110. data/data/rushcheck/rdoc/classes/TestFailed.html +155 -0
  111. data/data/rushcheck/rdoc/classes/TestFailed.src/M000067.html +18 -0
  112. data/data/rushcheck/rdoc/classes/TestOk.html +113 -0
  113. data/data/rushcheck/rdoc/classes/TestOptions.html +180 -0
  114. data/data/rushcheck/rdoc/classes/TestOptions.src/M000008.html +18 -0
  115. data/data/rushcheck/rdoc/classes/TestOptions.src/M000009.html +18 -0
  116. data/data/rushcheck/rdoc/classes/TestResult.html +164 -0
  117. data/data/rushcheck/rdoc/classes/TestResult.src/M000068.html +18 -0
  118. data/data/rushcheck/rdoc/classes/Testable.html +96 -51
  119. data/data/rushcheck/rdoc/classes/Testable.src/M000091.html +4 -4
  120. data/data/rushcheck/rdoc/classes/Testable.src/M000092.html +4 -4
  121. data/data/rushcheck/rdoc/classes/Testable.src/M000095.html +4 -4
  122. data/data/rushcheck/rdoc/classes/Testable.src/M000096.html +18 -0
  123. data/data/rushcheck/rdoc/classes/Testable.src/M000097.html +18 -0
  124. data/data/rushcheck/rdoc/classes/Testable.src/M000099.html +19 -0
  125. data/data/rushcheck/rdoc/classes/Testable.src/M000100.html +21 -0
  126. data/data/rushcheck/rdoc/classes/Testable.src/M000101.html +18 -0
  127. data/data/rushcheck/rdoc/classes/Testable.src/M000103.html +18 -0
  128. data/data/rushcheck/rdoc/classes/Testable.src/M000104.html +18 -0
  129. data/data/rushcheck/rdoc/classes/TheStdGen.html +20 -20
  130. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000069.html +18 -0
  131. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000070.html +20 -0
  132. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000071.html +21 -0
  133. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000072.html +18 -0
  134. data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
  135. data/data/rushcheck/rdoc/classes/TrueClass.src/M000079.html +18 -0
  136. data/data/rushcheck/rdoc/classes/TrueClass.src/M000080.html +18 -0
  137. data/data/rushcheck/rdoc/classes/TrueClass.src/M000081.html +18 -0
  138. data/data/rushcheck/rdoc/created.rid +1 -1
  139. data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +8 -1
  140. data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +3 -1
  141. data/data/rushcheck/rdoc/files/rushcheck/testoptions_rb.html +109 -0
  142. data/data/rushcheck/rdoc/files/rushcheck/testresult_rb.html +105 -0
  143. data/data/rushcheck/rdoc/files/rushcheck_rb.html +127 -0
  144. data/data/rushcheck/rdoc/fr_class_index.html +5 -0
  145. data/data/rushcheck/rdoc/fr_file_index.html +3 -1
  146. data/data/rushcheck/rdoc/fr_method_index.html +103 -94
  147. data/lib/rushcheck/arbitrary.rb +16 -12
  148. data/lib/rushcheck/array.rb +7 -6
  149. data/lib/rushcheck/assertion.rb +53 -50
  150. data/lib/rushcheck/bool.rb +26 -24
  151. data/lib/rushcheck/config.rb +131 -81
  152. data/lib/rushcheck/float.rb +4 -4
  153. data/lib/rushcheck/gen.rb +194 -182
  154. data/lib/rushcheck/guard.rb +9 -10
  155. data/lib/rushcheck/hash.rb +4 -3
  156. data/lib/rushcheck/integer.rb +11 -6
  157. data/lib/rushcheck/proc.rb +7 -7
  158. data/lib/rushcheck/property.rb +19 -15
  159. data/lib/rushcheck/random.rb +162 -159
  160. data/lib/rushcheck/result.rb +16 -12
  161. data/lib/rushcheck/string.rb +12 -12
  162. data/lib/rushcheck/testable.rb +99 -25
  163. data/lib/rushcheck/testoptions.rb +20 -0
  164. data/lib/rushcheck/testresult.rb +25 -0
  165. data/lib/{rushcheck/rushcheck.rb → rushcheck.rb} +2 -1
  166. metadata +93 -4
  167. data/data/rushcheck/doc/rushcheck.txt +0 -670
data/data/rushcheck/rdoc/classes/RandomArray.html CHANGED
@@ -94,9 +94,9 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
94
94
  <h3 class="section-bar">Methods</h3>
95
95
 
96
96
  <div class="name-list">
97
- <a href="#M000022">arbitrary</a>&nbsp;&nbsp;
98
- <a href="#M000023">coarbitrary</a>&nbsp;&nbsp;
99
- <a href="#M000021">set_pattern</a>&nbsp;&nbsp;
97
+ <a href="#M000026">arbitrary</a>&nbsp;&nbsp;
98
+ <a href="#M000027">coarbitrary</a>&nbsp;&nbsp;
99
+ <a href="#M000025">set_pattern</a>&nbsp;&nbsp;
100
100
  </div>
101
101
  </div>
102
102
 
@@ -125,12 +125,12 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
125
125
  <div id="methods">
126
126
  <h3 class="section-bar">Public Class methods</h3>
127
127
 
128
- <div id="method-M000022" class="method-detail">
129
- <a name="M000022"></a>
128
+ <div id="method-M000026" class="method-detail">
129
+ <a name="M000026"></a>
130
130
 
131
131
  <div class="method-heading">
132
- <a href="RandomArray.src/M000022.html" target="Code" class="method-signature"
133
- onclick="popupCode('RandomArray.src/M000022.html');return false;">
132
+ <a href="RandomArray.src/M000026.html" target="Code" class="method-signature"
133
+ onclick="popupCode('RandomArray.src/M000026.html');return false;">
134
134
  <span class="method-name">arbitrary</span><span class="method-args">()</span>
135
135
  </a>
136
136
  </div>
@@ -139,12 +139,12 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
139
139
  </div>
140
140
  </div>
141
141
 
142
- <div id="method-M000021" class="method-detail">
143
- <a name="M000021"></a>
142
+ <div id="method-M000025" class="method-detail">
143
+ <a name="M000025"></a>
144
144
 
145
145
  <div class="method-heading">
146
- <a href="RandomArray.src/M000021.html" target="Code" class="method-signature"
147
- onclick="popupCode('RandomArray.src/M000021.html');return false;">
146
+ <a href="RandomArray.src/M000025.html" target="Code" class="method-signature"
147
+ onclick="popupCode('RandomArray.src/M000025.html');return false;">
148
148
  <span class="method-name">set_pattern</span><span class="method-args">(base, &amp;f)</span>
149
149
  </a>
150
150
  </div>
@@ -155,12 +155,12 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
155
155
 
156
156
  <h3 class="section-bar">Public Instance methods</h3>
157
157
 
158
- <div id="method-M000023" class="method-detail">
159
- <a name="M000023"></a>
158
+ <div id="method-M000027" class="method-detail">
159
+ <a name="M000027"></a>
160
160
 
161
161
  <div class="method-heading">
162
- <a href="RandomArray.src/M000023.html" target="Code" class="method-signature"
163
- onclick="popupCode('RandomArray.src/M000023.html');return false;">
162
+ <a href="RandomArray.src/M000027.html" target="Code" class="method-signature"
163
+ onclick="popupCode('RandomArray.src/M000027.html');return false;">
164
164
  <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
165
165
  </a>
166
166
  </div>
data/data/rushcheck/rdoc/classes/RandomArray.src/M000025.html ADDED
@@ -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>set_pattern (RandomArray)</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/array.rb, line 16</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">set_pattern</span>(<span class="ruby-identifier">base</span>, <span class="ruby-operator">&amp;</span><span class="ruby-identifier">f</span>)
15
+ <span class="ruby-ivar">@@base</span>, <span class="ruby-ivar">@@indp</span> = <span class="ruby-identifier">base</span>, <span class="ruby-identifier">f</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
data/data/rushcheck/rdoc/classes/RandomArray.src/M000026.html ADDED
@@ -0,0 +1,35 @@
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>arbitrary (RandomArray)</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/array.rb, line 20</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">arbitrary</span>
15
+ <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">sized</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">m</span><span class="ruby-operator">|</span>
16
+ <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">choose</span>(<span class="ruby-value">0</span><span class="ruby-operator">..</span><span class="ruby-identifier">m</span>) <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">len</span><span class="ruby-operator">|</span>
17
+ <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">len</span> = <span class="ruby-value">0</span>
18
+ <span class="ruby-keyword kw">then</span> <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">unit</span>([])
19
+ <span class="ruby-keyword kw">else</span>
20
+ <span class="ruby-constant">Gen</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">r</span><span class="ruby-operator">|</span>
21
+ <span class="ruby-identifier">ary</span> = [<span class="ruby-ivar">@@base</span>.<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>)]
22
+ <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
23
+ (<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-identifier">len</span>).<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">i</span><span class="ruby-operator">|</span>
24
+ <span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
25
+ <span class="ruby-identifier">ary</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-ivar">@@indp</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ary</span>, <span class="ruby-identifier">i</span>).<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
26
+ <span class="ruby-keyword kw">end</span>
27
+
28
+ <span class="ruby-identifier">ary</span>
29
+ <span class="ruby-keyword kw">end</span>
30
+ <span class="ruby-keyword kw">end</span>
31
+ <span class="ruby-keyword kw">end</span>
32
+ <span class="ruby-keyword kw">end</span>
33
+ <span class="ruby-keyword kw">end</span></pre>
34
+ </body>
35
+ </html>
data/data/rushcheck/rdoc/classes/RandomArray.src/M000027.html ADDED
@@ -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>coarbitrary (RandomArray)</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/array.rb, line 41</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
15
+ <span class="ruby-identifier">r</span> = <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</span>)
16
+ <span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
17
+ <span class="ruby-identifier">r</span> = <span class="ruby-identifier">c</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">r</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">1</span>))
18
+ <span class="ruby-keyword kw">end</span>
19
+ <span class="ruby-identifier">r</span>
20
+ <span class="ruby-keyword kw">end</span></pre>
21
+ </body>
22
+ </html>
data/data/rushcheck/rdoc/classes/RandomBool.html CHANGED
@@ -80,8 +80,8 @@
80
80
  <h3 class="section-bar">Methods</h3>
81
81
 
82
82
  <div class="name-list">
83
- <a href="#M000080">arbitrary</a>&nbsp;&nbsp;
84
- <a href="#M000081">random_range</a>&nbsp;&nbsp;
83
+ <a href="#M000086">arbitrary</a>&nbsp;&nbsp;
84
+ <a href="#M000087">random_range</a>&nbsp;&nbsp;
85
85
  </div>
86
86
  </div>
87
87
 
@@ -103,12 +103,12 @@
103
103
  <div id="methods">
104
104
  <h3 class="section-bar">Public Instance methods</h3>
105
105
 
106
- <div id="method-M000080" class="method-detail">
107
- <a name="M000080"></a>
106
+ <div id="method-M000086" class="method-detail">
107
+ <a name="M000086"></a>
108
108
 
109
109
  <div class="method-heading">
110
- <a href="RandomBool.src/M000080.html" target="Code" class="method-signature"
111
- onclick="popupCode('RandomBool.src/M000080.html');return false;">
110
+ <a href="RandomBool.src/M000086.html" target="Code" class="method-signature"
111
+ onclick="popupCode('RandomBool.src/M000086.html');return false;">
112
112
  <span class="method-name">arbitrary</span><span class="method-args">()</span>
113
113
  </a>
114
114
  </div>
@@ -117,12 +117,12 @@
117
117
  </div>
118
118
  </div>
119
119
 
120
- <div id="method-M000081" class="method-detail">
121
- <a name="M000081"></a>
120
+ <div id="method-M000087" class="method-detail">
121
+ <a name="M000087"></a>
122
122
 
123
123
  <div class="method-heading">
124
- <a href="RandomBool.src/M000081.html" target="Code" class="method-signature"
125
- onclick="popupCode('RandomBool.src/M000081.html');return false;">
124
+ <a href="RandomBool.src/M000087.html" target="Code" class="method-signature"
125
+ onclick="popupCode('RandomBool.src/M000087.html');return false;">
126
126
  <span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_bound, hi=@@max_bound)</span>
127
127
  </a>
128
128
  </div>
data/data/rushcheck/rdoc/classes/RandomBool.src/M000086.html ADDED
@@ -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>arbitrary (RandomBool)</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/bool.rb, line 11</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">arbitrary</span>
15
+ <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">elements</span>([<span class="ruby-keyword kw">true</span>, <span class="ruby-keyword kw">false</span>])
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
data/data/rushcheck/rdoc/classes/RandomBool.src/M000087.html ADDED
@@ -0,0 +1,19 @@
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>random_range (RandomBool)</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/bool.rb, line 15</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>=<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-ivar">@@max_bound</span>)
15
+ <span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-value">0</span>, <span class="ruby-value">1</span>)
16
+ [<span class="ruby-identifier">v</span><span class="ruby-operator">==</span><span class="ruby-value">0</span>, <span class="ruby-identifier">g</span>]
17
+ <span class="ruby-keyword kw">end</span></pre>
18
+ </body>
19
+ </html>
data/data/rushcheck/rdoc/classes/RandomGen.html CHANGED
@@ -90,9 +90,9 @@ System.Random library.
90
90
  <h3 class="section-bar">Methods</h3>
91
91
 
92
92
  <div class="name-list">
93
- <a href="#M000077">gen_next</a>&nbsp;&nbsp;
94
- <a href="#M000079">gen_range</a>&nbsp;&nbsp;
95
- <a href="#M000078">split</a>&nbsp;&nbsp;
93
+ <a href="#M000083">gen_next</a>&nbsp;&nbsp;
94
+ <a href="#M000085">gen_range</a>&nbsp;&nbsp;
95
+ <a href="#M000084">split</a>&nbsp;&nbsp;
96
96
  </div>
97
97
  </div>
98
98
 
@@ -114,21 +114,21 @@ System.Random library.
114
114
  <div id="methods">
115
115
  <h3 class="section-bar">Public Instance methods</h3>
116
116
 
117
- <div id="method-M000077" class="method-detail">
118
- <a name="M000077"></a>
117
+ <div id="method-M000083" class="method-detail">
118
+ <a name="M000083"></a>
119
119
 
120
120
  <div class="method-heading">
121
- <a href="RandomGen.src/M000077.html" target="Code" class="method-signature"
122
- onclick="popupCode('RandomGen.src/M000077.html');return false;">
121
+ <a href="RandomGen.src/M000083.html" target="Code" class="method-signature"
122
+ onclick="popupCode('RandomGen.src/M000083.html');return false;">
123
123
  <span class="method-name">gen_next</span><span class="method-args">()</span>
124
124
  </a>
125
125
  </div>
126
126
 
127
127
  <div class="method-description">
128
128
  <p>
129
- <a href="RandomGen.html#M000077">gen_next</a> should be overrided as an
129
+ <a href="RandomGen.html#M000083">gen_next</a> should be overrided as an
130
130
  instance method. It is assumed that <a
131
- href="RandomGen.html#M000077">gen_next</a> returns an array with length 2.
131
+ href="RandomGen.html#M000083">gen_next</a> returns an array with length 2.
132
132
  Here, call &#8216;Foo&#8217; the class which includes <a
133
133
  href="RandomGen.html">RandomGen</a>. The first components of the result
134
134
  should be an integer, and the last components should be an object which
@@ -137,36 +137,36 @@ belongs to the class Foo.
137
137
  </div>
138
138
  </div>
139
139
 
140
- <div id="method-M000079" class="method-detail">
141
- <a name="M000079"></a>
140
+ <div id="method-M000085" class="method-detail">
141
+ <a name="M000085"></a>
142
142
 
143
143
  <div class="method-heading">
144
- <a href="RandomGen.src/M000079.html" target="Code" class="method-signature"
145
- onclick="popupCode('RandomGen.src/M000079.html');return false;">
144
+ <a href="RandomGen.src/M000085.html" target="Code" class="method-signature"
145
+ onclick="popupCode('RandomGen.src/M000085.html');return false;">
146
146
  <span class="method-name">gen_range</span><span class="method-args">()</span>
147
147
  </a>
148
148
  </div>
149
149
 
150
150
  <div class="method-description">
151
151
  <p>
152
- <a href="RandomGen.html#M000079">gen_range</a> should be overrided as an
152
+ <a href="RandomGen.html#M000085">gen_range</a> should be overrided as an
153
153
  instance method. It is assumed that split returns an array with length 2.
154
154
  Here, call &#8216;Foo&#8217; the class which includes <a
155
155
  href="RandomGen.html">RandomGen</a>. Then the components of the result are
156
156
  integers where the first components should be the lowest bound of the first
157
- components of <a href="RandomGen.html#M000077">gen_next</a>. Another should
157
+ components of <a href="RandomGen.html#M000083">gen_next</a>. Another should
158
158
  be the highest bound of the first components of <a
159
- href="RandomGen.html#M000077">gen_next</a>.
159
+ href="RandomGen.html#M000083">gen_next</a>.
160
160
  </p>
161
161
  </div>
162
162
  </div>
163
163
 
164
- <div id="method-M000078" class="method-detail">
165
- <a name="M000078"></a>
164
+ <div id="method-M000084" class="method-detail">
165
+ <a name="M000084"></a>
166
166
 
167
167
  <div class="method-heading">
168
- <a href="RandomGen.src/M000078.html" target="Code" class="method-signature"
169
- onclick="popupCode('RandomGen.src/M000078.html');return false;">
168
+ <a href="RandomGen.src/M000084.html" target="Code" class="method-signature"
169
+ onclick="popupCode('RandomGen.src/M000084.html');return false;">
170
170
  <span class="method-name">split</span><span class="method-args">()</span>
171
171
  </a>
172
172
  </div>
data/data/rushcheck/rdoc/classes/RandomGen.src/M000083.html ADDED
@@ -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>gen_next (RandomGen)</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/random.rb, line 26</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_next</span>
15
+ <span class="ruby-identifier">raise_not_implemented_error</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
data/data/rushcheck/rdoc/classes/RandomGen.src/M000084.html ADDED
@@ -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>split (RandomGen)</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/random.rb, line 35</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">split</span>
15
+ <span class="ruby-identifier">raise_not_implemented_error</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
data/data/rushcheck/rdoc/classes/RandomGen.src/M000085.html ADDED
@@ -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>gen_range (RandomGen)</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/random.rb, line 46</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_range</span>
15
+ <span class="ruby-identifier">raise_not_implemented_error</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
data/data/rushcheck/rdoc/classes/RandomHash.html CHANGED
@@ -95,9 +95,9 @@ of Hash.
95
95
  <h3 class="section-bar">Methods</h3>
96
96
 
97
97
  <div class="name-list">
98
- <a href="#M000046">arbitrary</a>&nbsp;&nbsp;
99
- <a href="#M000047">coarbitrary</a>&nbsp;&nbsp;
100
- <a href="#M000045">set_pattern</a>&nbsp;&nbsp;
98
+ <a href="#M000050">arbitrary</a>&nbsp;&nbsp;
99
+ <a href="#M000051">coarbitrary</a>&nbsp;&nbsp;
100
+ <a href="#M000049">set_pattern</a>&nbsp;&nbsp;
101
101
  </div>
102
102
  </div>
103
103
 
@@ -126,12 +126,12 @@ of Hash.
126
126
  <div id="methods">
127
127
  <h3 class="section-bar">Public Class methods</h3>
128
128
 
129
- <div id="method-M000046" class="method-detail">
130
- <a name="M000046"></a>
129
+ <div id="method-M000050" class="method-detail">
130
+ <a name="M000050"></a>
131
131
 
132
132
  <div class="method-heading">
133
- <a href="RandomHash.src/M000046.html" target="Code" class="method-signature"
134
- onclick="popupCode('RandomHash.src/M000046.html');return false;">
133
+ <a href="RandomHash.src/M000050.html" target="Code" class="method-signature"
134
+ onclick="popupCode('RandomHash.src/M000050.html');return false;">
135
135
  <span class="method-name">arbitrary</span><span class="method-args">()</span>
136
136
  </a>
137
137
  </div>
@@ -140,19 +140,19 @@ of Hash.
140
140
  </div>
141
141
  </div>
142
142
 
143
- <div id="method-M000045" class="method-detail">
144
- <a name="M000045"></a>
143
+ <div id="method-M000049" class="method-detail">
144
+ <a name="M000049"></a>
145
145
 
146
146
  <div class="method-heading">
147
- <a href="RandomHash.src/M000045.html" target="Code" class="method-signature"
148
- onclick="popupCode('RandomHash.src/M000045.html');return false;">
147
+ <a href="RandomHash.src/M000049.html" target="Code" class="method-signature"
148
+ onclick="popupCode('RandomHash.src/M000049.html');return false;">
149
149
  <span class="method-name">set_pattern</span><span class="method-args">(pat)</span>
150
150
  </a>
151
151
  </div>
152
152
 
153
153
  <div class="method-description">
154
154
  <p>
155
- class method <a href="RandomHash.html#M000045">set_pattern</a> takes a hash
155
+ class method <a href="RandomHash.html#M000049">set_pattern</a> takes a hash
156
156
  object of random pattern. For example, the following pattern
157
157
  </p>
158
158
  <pre>
@@ -168,12 +168,12 @@ as its values.
168
168
 
169
169
  <h3 class="section-bar">Public Instance methods</h3>
170
170
 
171
- <div id="method-M000047" class="method-detail">
172
- <a name="M000047"></a>
171
+ <div id="method-M000051" class="method-detail">
172
+ <a name="M000051"></a>
173
173
 
174
174
  <div class="method-heading">
175
- <a href="RandomHash.src/M000047.html" target="Code" class="method-signature"
176
- onclick="popupCode('RandomHash.src/M000047.html');return false;">
175
+ <a href="RandomHash.src/M000051.html" target="Code" class="method-signature"
176
+ onclick="popupCode('RandomHash.src/M000051.html');return false;">
177
177
  <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
178
178
  </a>
179
179
  </div>
data/data/rushcheck/rdoc/classes/RandomHash.src/M000049.html ADDED
@@ -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>set_pattern (RandomHash)</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/hash.rb, line 21</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">set_pattern</span>(<span class="ruby-identifier">pat</span>)
15
+ <span class="ruby-ivar">@@pat</span> = <span class="ruby-identifier">pat</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
data/data/rushcheck/rdoc/classes/RandomHash.src/M000050.html ADDED
@@ -0,0 +1,26 @@
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>arbitrary (RandomHash)</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/hash.rb, line 25</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">arbitrary</span>
15
+ <span class="ruby-constant">Gen</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">r</span><span class="ruby-operator">|</span>
16
+ <span class="ruby-identifier">h</span> = {}
17
+ <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
18
+ <span class="ruby-ivar">@@pat</span>.<span class="ruby-identifier">keys</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">k</span><span class="ruby-operator">|</span>
19
+ <span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
20
+ <span class="ruby-identifier">h</span>[<span class="ruby-identifier">k</span>] = <span class="ruby-ivar">@@pat</span>[<span class="ruby-identifier">k</span>].<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
21
+ <span class="ruby-keyword kw">end</span>
22
+ <span class="ruby-identifier">h</span>
23
+ <span class="ruby-keyword kw">end</span>
24
+ <span class="ruby-keyword kw">end</span></pre>
25
+ </body>
26
+ </html>
data/data/rushcheck/rdoc/classes/RandomHash.src/M000051.html ADDED
@@ -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>coarbitrary (RandomHash)</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/hash.rb, line 37</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
15
+ <span class="ruby-identifier">r</span> = <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</span>)
16
+ <span class="ruby-identifier">values</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
17
+ <span class="ruby-identifier">r</span> = <span class="ruby-identifier">c</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">r</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">1</span>))
18
+ <span class="ruby-keyword kw">end</span>
19
+ <span class="ruby-identifier">r</span>
20
+ <span class="ruby-keyword kw">end</span></pre>
21
+ </body>
22
+ </html>
data/data/rushcheck/rdoc/classes/RandomProc.html CHANGED
@@ -86,10 +86,10 @@
86
86
  <h3 class="section-bar">Methods</h3>
87
87
 
88
88
  <div class="name-list">
89
- <a href="#M000057">arbitrary</a>&nbsp;&nbsp;
90
- <a href="#M000058">coarbitrary</a>&nbsp;&nbsp;
91
- <a href="#M000059">property</a>&nbsp;&nbsp;
92
- <a href="#M000056">set_pattern</a>&nbsp;&nbsp;
89
+ <a href="#M000061">arbitrary</a>&nbsp;&nbsp;
90
+ <a href="#M000062">coarbitrary</a>&nbsp;&nbsp;
91
+ <a href="#M000063">property</a>&nbsp;&nbsp;
92
+ <a href="#M000060">set_pattern</a>&nbsp;&nbsp;
93
93
  </div>
94
94
  </div>
95
95
 
@@ -119,12 +119,12 @@
119
119
  <div id="methods">
120
120
  <h3 class="section-bar">Public Class methods</h3>
121
121
 
122
- <div id="method-M000057" class="method-detail">
123
- <a name="M000057"></a>
122
+ <div id="method-M000061" class="method-detail">
123
+ <a name="M000061"></a>
124
124
 
125
125
  <div class="method-heading">
126
- <a href="RandomProc.src/M000057.html" target="Code" class="method-signature"
127
- onclick="popupCode('RandomProc.src/M000057.html');return false;">
126
+ <a href="RandomProc.src/M000061.html" target="Code" class="method-signature"
127
+ onclick="popupCode('RandomProc.src/M000061.html');return false;">
128
128
  <span class="method-name">arbitrary</span><span class="method-args">()</span>
129
129
  </a>
130
130
  </div>
@@ -133,12 +133,12 @@
133
133
  </div>
134
134
  </div>
135
135
 
136
- <div id="method-M000056" class="method-detail">
137
- <a name="M000056"></a>
136
+ <div id="method-M000060" class="method-detail">
137
+ <a name="M000060"></a>
138
138
 
139
139
  <div class="method-heading">
140
- <a href="RandomProc.src/M000056.html" target="Code" class="method-signature"
141
- onclick="popupCode('RandomProc.src/M000056.html');return false;">
140
+ <a href="RandomProc.src/M000060.html" target="Code" class="method-signature"
141
+ onclick="popupCode('RandomProc.src/M000060.html');return false;">
142
142
  <span class="method-name">set_pattern</span><span class="method-args">(inputs, outputs)</span>
143
143
  </a>
144
144
  </div>
@@ -149,12 +149,12 @@
149
149
 
150
150
  <h3 class="section-bar">Public Instance methods</h3>
151
151
 
152
- <div id="method-M000058" class="method-detail">
153
- <a name="M000058"></a>
152
+ <div id="method-M000062" class="method-detail">
153
+ <a name="M000062"></a>
154
154
 
155
155
  <div class="method-heading">
156
- <a href="RandomProc.src/M000058.html" target="Code" class="method-signature"
157
- onclick="popupCode('RandomProc.src/M000058.html');return false;">
156
+ <a href="RandomProc.src/M000062.html" target="Code" class="method-signature"
157
+ onclick="popupCode('RandomProc.src/M000062.html');return false;">
158
158
  <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
159
159
  </a>
160
160
  </div>
@@ -163,12 +163,12 @@
163
163
  </div>
164
164
  </div>
165
165
 
166
- <div id="method-M000059" class="method-detail">
167
- <a name="M000059"></a>
166
+ <div id="method-M000063" class="method-detail">
167
+ <a name="M000063"></a>
168
168
 
169
169
  <div class="method-heading">
170
- <a href="RandomProc.src/M000059.html" target="Code" class="method-signature"
171
- onclick="popupCode('RandomProc.src/M000059.html');return false;">
170
+ <a href="RandomProc.src/M000063.html" target="Code" class="method-signature"
171
+ onclick="popupCode('RandomProc.src/M000063.html');return false;">
172
172
  <span class="method-name">property</span><span class="method-args">()</span>
173
173
  </a>
174
174
  </div>