rushcheck 0.2 → 0.3

Sign up to get free protection for your applications and to get access to all the features.
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>