rushcheck 0.2 → 0.3

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 (99) hide show
  1. data/Rakefile +1 -1
  2. data/data/rushcheck/doc/rushcheck.txt +68 -10
  3. data/data/rushcheck/examples/candy.rb +43 -0
  4. data/data/rushcheck/rdoc/classes/Arbitrary.html +5 -5
  5. data/data/rushcheck/rdoc/classes/Arbitrary.src/M000076.html +18 -0
  6. data/data/rushcheck/rdoc/classes/Assertion.src/M000016.html +9 -4
  7. data/data/rushcheck/rdoc/classes/Coarbitrary.html +5 -5
  8. data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000096.html +18 -0
  9. data/data/rushcheck/rdoc/classes/Float.html +20 -20
  10. data/data/rushcheck/rdoc/classes/Float.src/M000048.html +7 -4
  11. data/data/rushcheck/rdoc/classes/Float.src/M000049.html +4 -8
  12. data/data/rushcheck/rdoc/classes/Float.src/M000050.html +8 -6
  13. data/data/rushcheck/rdoc/classes/Float.src/M000051.html +20 -0
  14. data/data/rushcheck/rdoc/classes/Gen.html +109 -87
  15. data/data/rushcheck/rdoc/classes/Gen.src/M000026.html +1 -1
  16. data/data/rushcheck/rdoc/classes/Gen.src/M000027.html +28 -5
  17. data/data/rushcheck/rdoc/classes/Gen.src/M000028.html +6 -14
  18. data/data/rushcheck/rdoc/classes/Gen.src/M000029.html +13 -9
  19. data/data/rushcheck/rdoc/classes/Gen.src/M000030.html +10 -4
  20. data/data/rushcheck/rdoc/classes/Gen.src/M000031.html +4 -4
  21. data/data/rushcheck/rdoc/classes/Gen.src/M000032.html +4 -4
  22. data/data/rushcheck/rdoc/classes/Gen.src/M000033.html +4 -4
  23. data/data/rushcheck/rdoc/classes/Gen.src/M000034.html +4 -4
  24. data/data/rushcheck/rdoc/classes/Gen.src/M000035.html +4 -10
  25. data/data/rushcheck/rdoc/classes/Gen.src/M000036.html +10 -4
  26. data/data/rushcheck/rdoc/classes/Gen.src/M000037.html +4 -7
  27. data/data/rushcheck/rdoc/classes/Gen.src/M000038.html +7 -4
  28. data/data/rushcheck/rdoc/classes/Gen.src/M000039.html +4 -4
  29. data/data/rushcheck/rdoc/classes/Gen.src/M000040.html +4 -9
  30. data/data/rushcheck/rdoc/classes/Gen.src/M000041.html +9 -5
  31. data/data/rushcheck/rdoc/classes/Gen.src/M000042.html +5 -4
  32. data/data/rushcheck/rdoc/classes/Gen.src/M000043.html +4 -10
  33. data/data/rushcheck/rdoc/classes/Gen.src/M000044.html +24 -0
  34. data/data/rushcheck/rdoc/classes/HsRandom.html +20 -20
  35. data/data/rushcheck/rdoc/classes/HsRandom.src/M000082.html +8 -18
  36. data/data/rushcheck/rdoc/classes/HsRandom.src/M000083.html +18 -4
  37. data/data/rushcheck/rdoc/classes/HsRandom.src/M000084.html +18 -0
  38. data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
  39. data/data/rushcheck/rdoc/classes/NilClass.src/M000060.html +4 -4
  40. data/data/rushcheck/rdoc/classes/NilClass.src/M000061.html +4 -4
  41. data/data/rushcheck/rdoc/classes/NilClass.src/M000062.html +18 -0
  42. data/data/rushcheck/rdoc/classes/Property.html +10 -10
  43. data/data/rushcheck/rdoc/classes/Property.src/M000071.html +12 -4
  44. data/data/rushcheck/rdoc/classes/Property.src/M000072.html +18 -0
  45. data/data/rushcheck/rdoc/classes/RandomArray.src/M000022.html +2 -2
  46. data/data/rushcheck/rdoc/classes/RandomBool.html +10 -10
  47. data/data/rushcheck/rdoc/classes/RandomBool.src/M000080.html +4 -5
  48. data/data/rushcheck/rdoc/classes/RandomBool.src/M000081.html +19 -0
  49. data/data/rushcheck/rdoc/classes/RandomGen.html +20 -20
  50. data/data/rushcheck/rdoc/classes/RandomGen.src/M000077.html +3 -3
  51. data/data/rushcheck/rdoc/classes/RandomGen.src/M000078.html +3 -3
  52. data/data/rushcheck/rdoc/classes/RandomGen.src/M000079.html +18 -0
  53. data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
  54. data/data/rushcheck/rdoc/classes/RandomHash.src/M000045.html +4 -12
  55. data/data/rushcheck/rdoc/classes/RandomHash.src/M000046.html +11 -7
  56. data/data/rushcheck/rdoc/classes/RandomHash.src/M000047.html +22 -0
  57. data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
  58. data/data/rushcheck/rdoc/classes/RandomProc.src/M000056.html +4 -16
  59. data/data/rushcheck/rdoc/classes/RandomProc.src/M000057.html +13 -9
  60. data/data/rushcheck/rdoc/classes/RandomProc.src/M000058.html +11 -5
  61. data/data/rushcheck/rdoc/classes/RandomProc.src/M000059.html +20 -0
  62. data/data/rushcheck/rdoc/classes/Result.html +19 -19
  63. data/data/rushcheck/rdoc/classes/Result.src/M000052.html +4 -4
  64. data/data/rushcheck/rdoc/classes/Result.src/M000053.html +4 -4
  65. data/data/rushcheck/rdoc/classes/Result.src/M000054.html +18 -0
  66. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html +1 -1
  67. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html +1 -1
  68. data/data/rushcheck/rdoc/classes/String.html +20 -20
  69. data/data/rushcheck/rdoc/classes/String.src/M000067.html +10 -4
  70. data/data/rushcheck/rdoc/classes/String.src/M000068.html +4 -11
  71. data/data/rushcheck/rdoc/classes/String.src/M000069.html +10 -7
  72. data/data/rushcheck/rdoc/classes/String.src/M000070.html +22 -0
  73. data/data/rushcheck/rdoc/classes/Testable.html +54 -54
  74. data/data/rushcheck/rdoc/classes/Testable.src/M000085.html +4 -4
  75. data/data/rushcheck/rdoc/classes/Testable.src/M000086.html +18 -0
  76. data/data/rushcheck/rdoc/classes/Testable.src/M000089.html +4 -4
  77. data/data/rushcheck/rdoc/classes/Testable.src/M000090.html +4 -4
  78. data/data/rushcheck/rdoc/classes/Testable.src/M000091.html +18 -0
  79. data/data/rushcheck/rdoc/classes/Testable.src/M000093.html +18 -0
  80. data/data/rushcheck/rdoc/classes/Testable.src/M000095.html +18 -0
  81. data/data/rushcheck/rdoc/classes/TheStdGen.html +20 -20
  82. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000063.html +4 -6
  83. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000064.html +6 -7
  84. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000065.html +7 -4
  85. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000066.html +18 -0
  86. data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
  87. data/data/rushcheck/rdoc/classes/TrueClass.src/M000073.html +4 -4
  88. data/data/rushcheck/rdoc/classes/TrueClass.src/M000074.html +4 -4
  89. data/data/rushcheck/rdoc/classes/TrueClass.src/M000075.html +18 -0
  90. data/data/rushcheck/rdoc/created.rid +1 -1
  91. data/data/rushcheck/rdoc/files/rushcheck/array_rb.html +1 -1
  92. data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html +1 -1
  93. data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +1 -1
  94. data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +8 -1
  95. data/data/rushcheck/rdoc/files/rushcheck/rushcheck_rb.html +6 -2
  96. data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +1 -1
  97. data/data/rushcheck/rdoc/fr_method_index.html +75 -74
  98. data/lib/rushcheck/gen.rb +40 -3
  99. metadata +22 -2
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="#M000056">arbitrary</a>&nbsp;&nbsp;
90
- <a href="#M000057">coarbitrary</a>&nbsp;&nbsp;
91
- <a href="#M000058">property</a>&nbsp;&nbsp;
92
- <a href="#M000055">set_pattern</a>&nbsp;&nbsp;
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;
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-M000056" class="method-detail">
123
- <a name="M000056"></a>
122
+ <div id="method-M000057" class="method-detail">
123
+ <a name="M000057"></a>
124
124
 
125
125
  <div class="method-heading">
126
- <a href="RandomProc.src/M000056.html" target="Code" class="method-signature"
127
- onclick="popupCode('RandomProc.src/M000056.html');return false;">
126
+ <a href="RandomProc.src/M000057.html" target="Code" class="method-signature"
127
+ onclick="popupCode('RandomProc.src/M000057.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-M000055" class="method-detail">
137
- <a name="M000055"></a>
136
+ <div id="method-M000056" class="method-detail">
137
+ <a name="M000056"></a>
138
138
 
139
139
  <div class="method-heading">
140
- <a href="RandomProc.src/M000055.html" target="Code" class="method-signature"
141
- onclick="popupCode('RandomProc.src/M000055.html');return false;">
140
+ <a href="RandomProc.src/M000056.html" target="Code" class="method-signature"
141
+ onclick="popupCode('RandomProc.src/M000056.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-M000057" class="method-detail">
153
- <a name="M000057"></a>
152
+ <div id="method-M000058" class="method-detail">
153
+ <a name="M000058"></a>
154
154
 
155
155
  <div class="method-heading">
156
- <a href="RandomProc.src/M000057.html" target="Code" class="method-signature"
157
- onclick="popupCode('RandomProc.src/M000057.html');return false;">
156
+ <a href="RandomProc.src/M000058.html" target="Code" class="method-signature"
157
+ onclick="popupCode('RandomProc.src/M000058.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-M000058" class="method-detail">
167
- <a name="M000058"></a>
166
+ <div id="method-M000059" class="method-detail">
167
+ <a name="M000059"></a>
168
168
 
169
169
  <div class="method-heading">
170
- <a href="RandomProc.src/M000058.html" target="Code" class="method-signature"
171
- onclick="popupCode('RandomProc.src/M000058.html');return false;">
170
+ <a href="RandomProc.src/M000059.html" target="Code" class="method-signature"
171
+ onclick="popupCode('RandomProc.src/M000059.html');return false;">
172
172
  <span class="method-name">property</span><span class="method-args">()</span>
173
173
  </a>
174
174
  </div>
data/data/rushcheck/rdoc/classes/RandomProc.src/M000056.html CHANGED
@@ -5,26 +5,14 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>arbitrary (RandomProc)</title>
8
+ <title>set_pattern (RandomProc)</title>
9
9
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
10
  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
11
  </head>
12
12
  <body class="standalone-code">
13
- <pre><span class="ruby-comment cmt"># File rushcheck/proc.rb, line 19</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-constant">Proc</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-operator">*</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
17
- <span class="ruby-identifier">gens</span> = <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">empty?</span>
18
- <span class="ruby-keyword kw">then</span> <span class="ruby-ivar">@@outputs</span>.<span class="ruby-identifier">map</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span> <span class="ruby-identifier">c</span>.<span class="ruby-identifier">arbitrary</span> }
19
- <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">v</span><span class="ruby-operator">|</span>
20
- <span class="ruby-ivar">@@outputs</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
21
- <span class="ruby-identifier">v</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">c</span>.<span class="ruby-identifier">arbitrary</span>)
22
- <span class="ruby-keyword kw">end</span>
23
- <span class="ruby-keyword kw">end</span>.<span class="ruby-identifier">flatten</span>
24
- <span class="ruby-keyword kw">end</span>
25
- <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">oneof</span>(<span class="ruby-identifier">gens</span>).<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>)
26
- <span class="ruby-keyword kw">end</span>
27
- <span class="ruby-keyword kw">end</span>
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/proc.rb, line 15</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">inputs</span>, <span class="ruby-identifier">outputs</span>)
15
+ <span class="ruby-ivar">@@inputs</span>, <span class="ruby-ivar">@@outputs</span> = <span class="ruby-identifier">inputs</span>, <span class="ruby-identifier">outputs</span>
28
16
  <span class="ruby-keyword kw">end</span></pre>
29
17
  </body>
30
18
  </html>
data/data/rushcheck/rdoc/classes/RandomProc.src/M000057.html CHANGED
@@ -5,21 +5,25 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>coarbitrary (RandomProc)</title>
8
+ <title>arbitrary (RandomProc)</title>
9
9
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
10
  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
11
  </head>
12
12
  <body class="standalone-code">
13
- <pre><span class="ruby-comment cmt"># File rushcheck/proc.rb, line 35</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/proc.rb, line 19</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">arbitrary</span>
15
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">r2</span> = <span class="ruby-identifier">r</span>
17
- <span class="ruby-identifier">args</span> = <span class="ruby-ivar">@@inputs</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
18
- <span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
19
- <span class="ruby-identifier">c</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>)
16
+ <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-operator">*</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
17
+ <span class="ruby-identifier">gens</span> = <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">empty?</span>
18
+ <span class="ruby-keyword kw">then</span> <span class="ruby-ivar">@@outputs</span>.<span class="ruby-identifier">map</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span> <span class="ruby-identifier">c</span>.<span class="ruby-identifier">arbitrary</span> }
19
+ <span class="ruby-keyword kw">else</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">v</span><span class="ruby-operator">|</span>
20
+ <span class="ruby-ivar">@@outputs</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
21
+ <span class="ruby-identifier">v</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">c</span>.<span class="ruby-identifier">arbitrary</span>)
22
+ <span class="ruby-keyword kw">end</span>
23
+ <span class="ruby-keyword kw">end</span>.<span class="ruby-identifier">flatten</span>
24
+ <span class="ruby-keyword kw">end</span>
25
+ <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">oneof</span>(<span class="ruby-identifier">gens</span>).<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>)
20
26
  <span class="ruby-keyword kw">end</span>
21
-
22
- <span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>).<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
23
27
  <span class="ruby-keyword kw">end</span>
24
28
  <span class="ruby-keyword kw">end</span></pre>
25
29
  </body>
data/data/rushcheck/rdoc/classes/RandomProc.src/M000058.html CHANGED
@@ -5,15 +5,21 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>property (RandomProc)</title>
8
+ <title>coarbitrary (RandomProc)</title>
9
9
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
10
  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
11
  </head>
12
12
  <body class="standalone-code">
13
- <pre><span class="ruby-comment cmt"># File rushcheck/proc.rb, line 47</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
15
- <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">lift_array</span>(<span class="ruby-ivar">@@inputs</span>) {<span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span> <span class="ruby-identifier">c</span>.<span class="ruby-identifier">arbitrary</span> }.<span class="ruby-identifier">forall</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-operator">*</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
16
- <span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/proc.rb, line 35</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-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">r2</span> = <span class="ruby-identifier">r</span>
17
+ <span class="ruby-identifier">args</span> = <span class="ruby-ivar">@@inputs</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
18
+ <span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
19
+ <span class="ruby-identifier">c</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>)
20
+ <span class="ruby-keyword kw">end</span>
21
+
22
+ <span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>).<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
17
23
  <span class="ruby-keyword kw">end</span>
18
24
  <span class="ruby-keyword kw">end</span></pre>
19
25
  </body>
data/data/rushcheck/rdoc/classes/RandomProc.src/M000059.html ADDED
@@ -0,0 +1,20 @@
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>property (RandomProc)</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/proc.rb, line 47</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
15
+ <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">lift_array</span>(<span class="ruby-ivar">@@inputs</span>) {<span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span> <span class="ruby-identifier">c</span>.<span class="ruby-identifier">arbitrary</span> }.<span class="ruby-identifier">forall</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-operator">*</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
16
+ <span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
17
+ <span class="ruby-keyword kw">end</span>
18
+ <span class="ruby-keyword kw">end</span></pre>
19
+ </body>
20
+ </html>
data/data/rushcheck/rdoc/classes/Result.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="#M000052">new</a>&nbsp;&nbsp;
90
- <a href="#M000051">nothing</a>&nbsp;&nbsp;
91
- <a href="#M000054">property</a>&nbsp;&nbsp;
92
- <a href="#M000053">result</a>&nbsp;&nbsp;
89
+ <a href="#M000053">new</a>&nbsp;&nbsp;
90
+ <a href="#M000052">nothing</a>&nbsp;&nbsp;
91
+ <a href="#M000055">property</a>&nbsp;&nbsp;
92
+ <a href="#M000054">result</a>&nbsp;&nbsp;
93
93
  </div>
94
94
  </div>
95
95
 
@@ -141,12 +141,12 @@
141
141
  <div id="methods">
142
142
  <h3 class="section-bar">Public Class methods</h3>
143
143
 
144
- <div id="method-M000052" class="method-detail">
145
- <a name="M000052"></a>
144
+ <div id="method-M000053" class="method-detail">
145
+ <a name="M000053"></a>
146
146
 
147
147
  <div class="method-heading">
148
- <a href="Result.src/M000052.html" target="Code" class="method-signature"
149
- onclick="popupCode('Result.src/M000052.html');return false;">
148
+ <a href="Result.src/M000053.html" target="Code" class="method-signature"
149
+ onclick="popupCode('Result.src/M000053.html');return false;">
150
150
  <span class="method-name">new</span><span class="method-args">(ok=nil, stamp=[], arguments=[])</span>
151
151
  </a>
152
152
  </div>
@@ -155,12 +155,12 @@
155
155
  </div>
156
156
  </div>
157
157
 
158
- <div id="method-M000051" class="method-detail">
159
- <a name="M000051"></a>
158
+ <div id="method-M000052" class="method-detail">
159
+ <a name="M000052"></a>
160
160
 
161
161
  <div class="method-heading">
162
- <a href="Result.src/M000051.html" target="Code" class="method-signature"
163
- onclick="popupCode('Result.src/M000051.html');return false;">
162
+ <a href="Result.src/M000052.html" target="Code" class="method-signature"
163
+ onclick="popupCode('Result.src/M000052.html');return false;">
164
164
  <span class="method-name">nothing</span><span class="method-args">()</span>
165
165
  </a>
166
166
  </div>
@@ -171,8 +171,8 @@
171
171
 
172
172
  <h3 class="section-bar">Public Instance methods</h3>
173
173
 
174
- <div id="method-M000054" class="method-detail">
175
- <a name="M000054"></a>
174
+ <div id="method-M000055" class="method-detail">
175
+ <a name="M000055"></a>
176
176
 
177
177
  <div class="method-heading">
178
178
  <span class="method-name">property</span><span class="method-args">()</span>
@@ -180,17 +180,17 @@
180
180
 
181
181
  <div class="method-description">
182
182
  <p>
183
- Alias for <a href="Result.html#M000053">result</a>
183
+ Alias for <a href="Result.html#M000054">result</a>
184
184
  </p>
185
185
  </div>
186
186
  </div>
187
187
 
188
- <div id="method-M000053" class="method-detail">
189
- <a name="M000053"></a>
188
+ <div id="method-M000054" class="method-detail">
189
+ <a name="M000054"></a>
190
190
 
191
191
  <div class="method-heading">
192
- <a href="Result.src/M000053.html" target="Code" class="method-signature"
193
- onclick="popupCode('Result.src/M000053.html');return false;">
192
+ <a href="Result.src/M000054.html" target="Code" class="method-signature"
193
+ onclick="popupCode('Result.src/M000054.html');return false;">
194
194
  <span class="method-name">result</span><span class="method-args">()</span>
195
195
  </a>
196
196
  </div>
data/data/rushcheck/rdoc/classes/Result.src/M000052.html CHANGED
@@ -5,14 +5,14 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>new (Result)</title>
8
+ <title>nothing (Result)</title>
9
9
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
10
  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
11
  </head>
12
12
  <body class="standalone-code">
13
- <pre><span class="ruby-comment cmt"># File rushcheck/result.rb, line 17</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">ok</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">stamp</span>=[], <span class="ruby-identifier">arguments</span>=[])
15
- <span class="ruby-ivar">@ok</span>, <span class="ruby-ivar">@stamp</span>, <span class="ruby-ivar">@arguments</span> = <span class="ruby-identifier">ok</span>, <span class="ruby-identifier">stamp</span>, <span class="ruby-identifier">arguments</span>
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/result.rb, line 12</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">nothing</span>
15
+ <span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">false</span>)
16
16
  <span class="ruby-keyword kw">end</span></pre>
17
17
  </body>
18
18
  </html>
data/data/rushcheck/rdoc/classes/Result.src/M000053.html CHANGED
@@ -5,14 +5,14 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>result (Result)</title>
8
+ <title>new (Result)</title>
9
9
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
10
  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
11
  </head>
12
12
  <body class="standalone-code">
13
- <pre><span class="ruby-comment cmt"># File rushcheck/result.rb, line 21</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">result</span>
15
- <span class="ruby-constant">Property</span>.<span class="ruby-identifier">new</span>(<span class="ruby-ivar">@ok</span>, <span class="ruby-ivar">@stamp</span>, <span class="ruby-ivar">@arguments</span>)
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/result.rb, line 17</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">ok</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">stamp</span>=[], <span class="ruby-identifier">arguments</span>=[])
15
+ <span class="ruby-ivar">@ok</span>, <span class="ruby-ivar">@stamp</span>, <span class="ruby-ivar">@arguments</span> = <span class="ruby-identifier">ok</span>, <span class="ruby-identifier">stamp</span>, <span class="ruby-identifier">arguments</span>
16
16
  <span class="ruby-keyword kw">end</span></pre>
17
17
  </body>
18
18
  </html>
data/data/rushcheck/rdoc/classes/Result.src/M000054.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>result (Result)</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/result.rb, line 21</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">result</span>
15
+ <span class="ruby-constant">Property</span>.<span class="ruby-identifier">new</span>(<span class="ruby-ivar">@ok</span>, <span class="ruby-ivar">@stamp</span>, <span class="ruby-ivar">@arguments</span>)
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html CHANGED
@@ -29,7 +29,7 @@
29
29
  <span class="ruby-keyword kw">when</span> <span class="ruby-value">1</span>
30
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
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>)
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
33
  <span class="ruby-keyword kw">end</span>
34
34
 
35
35
  <span class="ruby-identifier">print</span> <span class="ruby-identifier">mes</span>
data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html CHANGED
@@ -39,7 +39,7 @@
39
39
  <span class="ruby-identifier">ntest</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
40
40
  <span class="ruby-keyword kw">redo</span>
41
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;\nFalsifiable, 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>
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
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
44
  <span class="ruby-identifier">puts</span> <span class="ruby-identifier">error</span>
45
45
  <span class="ruby-identifier">tests_result</span> = <span class="ruby-keyword kw">false</span>
data/data/rushcheck/rdoc/classes/String.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="#M000066">arbitrary</a>&nbsp;&nbsp;
90
- <a href="#M000067">bound</a>&nbsp;&nbsp;
91
- <a href="#M000069">coarbitrary</a>&nbsp;&nbsp;
92
- <a href="#M000068">random_range</a>&nbsp;&nbsp;
89
+ <a href="#M000067">arbitrary</a>&nbsp;&nbsp;
90
+ <a href="#M000068">bound</a>&nbsp;&nbsp;
91
+ <a href="#M000070">coarbitrary</a>&nbsp;&nbsp;
92
+ <a href="#M000069">random_range</a>&nbsp;&nbsp;
93
93
  </div>
94
94
  </div>
95
95
 
@@ -118,12 +118,12 @@
118
118
  <div id="methods">
119
119
  <h3 class="section-bar">Public Class methods</h3>
120
120
 
121
- <div id="method-M000066" class="method-detail">
122
- <a name="M000066"></a>
121
+ <div id="method-M000067" class="method-detail">
122
+ <a name="M000067"></a>
123
123
 
124
124
  <div class="method-heading">
125
- <a href="String.src/M000066.html" target="Code" class="method-signature"
126
- onclick="popupCode('String.src/M000066.html');return false;">
125
+ <a href="String.src/M000067.html" target="Code" class="method-signature"
126
+ onclick="popupCode('String.src/M000067.html');return false;">
127
127
  <span class="method-name">arbitrary</span><span class="method-args">()</span>
128
128
  </a>
129
129
  </div>
@@ -132,12 +132,12 @@
132
132
  </div>
133
133
  </div>
134
134
 
135
- <div id="method-M000067" class="method-detail">
136
- <a name="M000067"></a>
135
+ <div id="method-M000068" class="method-detail">
136
+ <a name="M000068"></a>
137
137
 
138
138
  <div class="method-heading">
139
- <a href="String.src/M000067.html" target="Code" class="method-signature"
140
- onclick="popupCode('String.src/M000067.html');return false;">
139
+ <a href="String.src/M000068.html" target="Code" class="method-signature"
140
+ onclick="popupCode('String.src/M000068.html');return false;">
141
141
  <span class="method-name">bound</span><span class="method-args">()</span>
142
142
  </a>
143
143
  </div>
@@ -146,12 +146,12 @@
146
146
  </div>
147
147
  </div>
148
148
 
149
- <div id="method-M000068" class="method-detail">
150
- <a name="M000068"></a>
149
+ <div id="method-M000069" class="method-detail">
150
+ <a name="M000069"></a>
151
151
 
152
152
  <div class="method-heading">
153
- <a href="String.src/M000068.html" target="Code" class="method-signature"
154
- onclick="popupCode('String.src/M000068.html');return false;">
153
+ <a href="String.src/M000069.html" target="Code" class="method-signature"
154
+ onclick="popupCode('String.src/M000069.html');return false;">
155
155
  <span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_range, hi=@@max_range)</span>
156
156
  </a>
157
157
  </div>
@@ -162,12 +162,12 @@
162
162
 
163
163
  <h3 class="section-bar">Public Instance methods</h3>
164
164
 
165
- <div id="method-M000069" class="method-detail">
166
- <a name="M000069"></a>
165
+ <div id="method-M000070" class="method-detail">
166
+ <a name="M000070"></a>
167
167
 
168
168
  <div class="method-heading">
169
- <a href="String.src/M000069.html" target="Code" class="method-signature"
170
- onclick="popupCode('String.src/M000069.html');return false;">
169
+ <a href="String.src/M000070.html" target="Code" class="method-signature"
170
+ onclick="popupCode('String.src/M000070.html');return false;">
171
171
  <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
172
172
  </a>
173
173
  </div>
data/data/rushcheck/rdoc/classes/String.src/M000067.html CHANGED
@@ -5,14 +5,20 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>bound (String)</title>
8
+ <title>arbitrary (String)</title>
9
9
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
10
  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
11
  </head>
12
12
  <body class="standalone-code">
13
- <pre><span class="ruby-comment cmt"># File rushcheck/string.rb, line 30</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">bound</span>
15
- [<span class="ruby-ivar">@@min_range</span>, <span class="ruby-ivar">@@max_range</span>]
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/string.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">n</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-identifier">n</span>).<span class="ruby-identifier">bind</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-constant">Gen</span>.<span class="ruby-identifier">vector</span>(<span class="ruby-constant">Integer</span>, <span class="ruby-identifier">len</span>).<span class="ruby-identifier">bind</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">xs</span><span class="ruby-operator">|</span>
18
+ <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">unit</span>(<span class="ruby-identifier">xs</span>.<span class="ruby-identifier">map</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">128</span>).<span class="ruby-identifier">chr</span>}.<span class="ruby-identifier">join</span>)
19
+ <span class="ruby-keyword kw">end</span>
20
+ <span class="ruby-keyword kw">end</span>
21
+ <span class="ruby-keyword kw">end</span>
16
22
  <span class="ruby-keyword kw">end</span></pre>
17
23
  </body>
18
24
  </html>
data/data/rushcheck/rdoc/classes/String.src/M000068.html CHANGED
@@ -5,21 +5,14 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>random_range (String)</title>
8
+ <title>bound (String)</title>
9
9
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
10
  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
11
  </head>
12
12
  <body class="standalone-code">
13
- <pre><span class="ruby-comment cmt"># File rushcheck/string.rb, line 34</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</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_range</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-ivar">@@max_range</span>)
15
- <span class="ruby-identifier">len</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span>)
16
- <span class="ruby-identifier">result</span> = <span class="ruby-value str">''</span>
17
- <span class="ruby-identifier">len</span>.<span class="ruby-identifier">times</span> <span class="ruby-keyword kw">do</span>
18
- <span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">g</span>, <span class="ruby-value">0</span>, <span class="ruby-value">127</span>)
19
- <span class="ruby-identifier">result</span> <span class="ruby-operator">+=</span> <span class="ruby-identifier">v</span>.<span class="ruby-identifier">chr</span>
20
- <span class="ruby-keyword kw">end</span>
21
-
22
- [<span class="ruby-identifier">result</span>. <span class="ruby-identifier">g</span>]
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/string.rb, line 30</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">bound</span>
15
+ [<span class="ruby-ivar">@@min_range</span>, <span class="ruby-ivar">@@max_range</span>]
23
16
  <span class="ruby-keyword kw">end</span></pre>
24
17
  </body>
25
18
  </html>
data/data/rushcheck/rdoc/classes/String.src/M000069.html CHANGED
@@ -5,18 +5,21 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>coarbitrary (String)</title>
8
+ <title>random_range (String)</title>
9
9
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
10
  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
11
  </head>
12
12
  <body class="standalone-code">
13
- <pre><span class="ruby-comment cmt"># File rushcheck/string.rb, line 45</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_byte</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>))
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/string.rb, line 34</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</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_range</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-ivar">@@max_range</span>)
15
+ <span class="ruby-identifier">len</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span>)
16
+ <span class="ruby-identifier">result</span> = <span class="ruby-value str">''</span>
17
+ <span class="ruby-identifier">len</span>.<span class="ruby-identifier">times</span> <span class="ruby-keyword kw">do</span>
18
+ <span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">g</span>, <span class="ruby-value">0</span>, <span class="ruby-value">127</span>)
19
+ <span class="ruby-identifier">result</span> <span class="ruby-operator">+=</span> <span class="ruby-identifier">v</span>.<span class="ruby-identifier">chr</span>
18
20
  <span class="ruby-keyword kw">end</span>
19
- <span class="ruby-identifier">r</span>
21
+
22
+ [<span class="ruby-identifier">result</span>. <span class="ruby-identifier">g</span>]
20
23
  <span class="ruby-keyword kw">end</span></pre>
21
24
  </body>
22
25
  </html>
data/data/rushcheck/rdoc/classes/String.src/M000070.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 (String)</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/string.rb, line 45</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_byte</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>