rushcheck 0.3 → 0.4

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 (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>