rushcheck 0.2 → 0.3
Sign up to get free protection for your applications and to get access to all the features.
- data/Rakefile +1 -1
- data/data/rushcheck/doc/rushcheck.txt +68 -10
- data/data/rushcheck/examples/candy.rb +43 -0
- data/data/rushcheck/rdoc/classes/Arbitrary.html +5 -5
- data/data/rushcheck/rdoc/classes/Arbitrary.src/M000076.html +18 -0
- data/data/rushcheck/rdoc/classes/Assertion.src/M000016.html +9 -4
- data/data/rushcheck/rdoc/classes/Coarbitrary.html +5 -5
- data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000096.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.html +20 -20
- data/data/rushcheck/rdoc/classes/Float.src/M000048.html +7 -4
- data/data/rushcheck/rdoc/classes/Float.src/M000049.html +4 -8
- data/data/rushcheck/rdoc/classes/Float.src/M000050.html +8 -6
- data/data/rushcheck/rdoc/classes/Float.src/M000051.html +20 -0
- data/data/rushcheck/rdoc/classes/Gen.html +109 -87
- data/data/rushcheck/rdoc/classes/Gen.src/M000026.html +1 -1
- data/data/rushcheck/rdoc/classes/Gen.src/M000027.html +28 -5
- data/data/rushcheck/rdoc/classes/Gen.src/M000028.html +6 -14
- data/data/rushcheck/rdoc/classes/Gen.src/M000029.html +13 -9
- data/data/rushcheck/rdoc/classes/Gen.src/M000030.html +10 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000031.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000032.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000033.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000034.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000035.html +4 -10
- data/data/rushcheck/rdoc/classes/Gen.src/M000036.html +10 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000037.html +4 -7
- data/data/rushcheck/rdoc/classes/Gen.src/M000038.html +7 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000039.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000040.html +4 -9
- data/data/rushcheck/rdoc/classes/Gen.src/M000041.html +9 -5
- data/data/rushcheck/rdoc/classes/Gen.src/M000042.html +5 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000043.html +4 -10
- data/data/rushcheck/rdoc/classes/Gen.src/M000044.html +24 -0
- data/data/rushcheck/rdoc/classes/HsRandom.html +20 -20
- data/data/rushcheck/rdoc/classes/HsRandom.src/M000082.html +8 -18
- data/data/rushcheck/rdoc/classes/HsRandom.src/M000083.html +18 -4
- data/data/rushcheck/rdoc/classes/HsRandom.src/M000084.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
- data/data/rushcheck/rdoc/classes/NilClass.src/M000060.html +4 -4
- data/data/rushcheck/rdoc/classes/NilClass.src/M000061.html +4 -4
- data/data/rushcheck/rdoc/classes/NilClass.src/M000062.html +18 -0
- data/data/rushcheck/rdoc/classes/Property.html +10 -10
- data/data/rushcheck/rdoc/classes/Property.src/M000071.html +12 -4
- data/data/rushcheck/rdoc/classes/Property.src/M000072.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000022.html +2 -2
- data/data/rushcheck/rdoc/classes/RandomBool.html +10 -10
- data/data/rushcheck/rdoc/classes/RandomBool.src/M000080.html +4 -5
- data/data/rushcheck/rdoc/classes/RandomBool.src/M000081.html +19 -0
- data/data/rushcheck/rdoc/classes/RandomGen.html +20 -20
- data/data/rushcheck/rdoc/classes/RandomGen.src/M000077.html +3 -3
- data/data/rushcheck/rdoc/classes/RandomGen.src/M000078.html +3 -3
- data/data/rushcheck/rdoc/classes/RandomGen.src/M000079.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000045.html +4 -12
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000046.html +11 -7
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000047.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000056.html +4 -16
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000057.html +13 -9
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000058.html +11 -5
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000059.html +20 -0
- data/data/rushcheck/rdoc/classes/Result.html +19 -19
- data/data/rushcheck/rdoc/classes/Result.src/M000052.html +4 -4
- data/data/rushcheck/rdoc/classes/Result.src/M000053.html +4 -4
- data/data/rushcheck/rdoc/classes/Result.src/M000054.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html +1 -1
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html +1 -1
- data/data/rushcheck/rdoc/classes/String.html +20 -20
- data/data/rushcheck/rdoc/classes/String.src/M000067.html +10 -4
- data/data/rushcheck/rdoc/classes/String.src/M000068.html +4 -11
- data/data/rushcheck/rdoc/classes/String.src/M000069.html +10 -7
- data/data/rushcheck/rdoc/classes/String.src/M000070.html +22 -0
- data/data/rushcheck/rdoc/classes/Testable.html +54 -54
- data/data/rushcheck/rdoc/classes/Testable.src/M000085.html +4 -4
- data/data/rushcheck/rdoc/classes/Testable.src/M000086.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000089.html +4 -4
- data/data/rushcheck/rdoc/classes/Testable.src/M000090.html +4 -4
- data/data/rushcheck/rdoc/classes/Testable.src/M000091.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000093.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000095.html +18 -0
- data/data/rushcheck/rdoc/classes/TheStdGen.html +20 -20
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000063.html +4 -6
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000064.html +6 -7
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000065.html +7 -4
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000066.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000073.html +4 -4
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000074.html +4 -4
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000075.html +18 -0
- data/data/rushcheck/rdoc/created.rid +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/array_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +8 -1
- data/data/rushcheck/rdoc/files/rushcheck/rushcheck_rb.html +6 -2
- data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +1 -1
- data/data/rushcheck/rdoc/fr_method_index.html +75 -74
- data/lib/rushcheck/gen.rb +40 -3
- metadata +22 -2
@@ -80,17 +80,17 @@
|
|
80
80
|
<h3 class="section-bar">Methods</h3>
|
81
81
|
|
82
82
|
<div class="name-list">
|
83
|
-
<a href="#
|
84
|
-
<a href="#
|
85
|
-
<a href="#
|
86
|
-
<a href="#
|
87
|
-
<a href="#
|
88
|
-
<a href="#
|
89
|
-
<a href="#
|
90
|
-
<a href="#
|
91
|
-
<a href="#
|
92
|
-
<a href="#
|
93
|
-
<a href="#
|
83
|
+
<a href="#M000086">check</a>
|
84
|
+
<a href="#M000089">classify</a>
|
85
|
+
<a href="#M000092">collect</a>
|
86
|
+
<a href="#M000090">imply</a>
|
87
|
+
<a href="#M000091">label</a>
|
88
|
+
<a href="#M000085">property</a>
|
89
|
+
<a href="#M000087">quick_check</a>
|
90
|
+
<a href="#M000088">quickcheck</a>
|
91
|
+
<a href="#M000093">test</a>
|
92
|
+
<a href="#M000095">trivial</a>
|
93
|
+
<a href="#M000094">verbose_check</a>
|
94
94
|
</div>
|
95
95
|
</div>
|
96
96
|
|
@@ -112,12 +112,12 @@
|
|
112
112
|
<div id="methods">
|
113
113
|
<h3 class="section-bar">Public Instance methods</h3>
|
114
114
|
|
115
|
-
<div id="method-
|
116
|
-
<a name="
|
115
|
+
<div id="method-M000086" class="method-detail">
|
116
|
+
<a name="M000086"></a>
|
117
117
|
|
118
118
|
<div class="method-heading">
|
119
|
-
<a href="Testable.src/
|
120
|
-
onclick="popupCode('Testable.src/
|
119
|
+
<a href="Testable.src/M000086.html" target="Code" class="method-signature"
|
120
|
+
onclick="popupCode('Testable.src/M000086.html');return false;">
|
121
121
|
<span class="method-name">check</span><span class="method-args">(config=RushCheckConfig.quick)</span>
|
122
122
|
</a>
|
123
123
|
</div>
|
@@ -126,13 +126,13 @@
|
|
126
126
|
</div>
|
127
127
|
</div>
|
128
128
|
|
129
|
-
<div id="method-
|
130
|
-
<a name="
|
129
|
+
<div id="method-M000089" class="method-detail">
|
130
|
+
<a name="M000089"></a>
|
131
131
|
|
132
132
|
<div class="method-heading">
|
133
|
-
<a href="Testable.src/
|
134
|
-
onclick="popupCode('Testable.src/
|
135
|
-
<span class="method-name">classify</span><span class="method-args">(
|
133
|
+
<a href="Testable.src/M000089.html" target="Code" class="method-signature"
|
134
|
+
onclick="popupCode('Testable.src/M000089.html');return false;">
|
135
|
+
<span class="method-name">classify</span><span class="method-args">(name) {|? label(name) : property| ...}</span>
|
136
136
|
</a>
|
137
137
|
</div>
|
138
138
|
|
@@ -140,8 +140,8 @@
|
|
140
140
|
</div>
|
141
141
|
</div>
|
142
142
|
|
143
|
-
<div id="method-
|
144
|
-
<a name="
|
143
|
+
<div id="method-M000092" class="method-detail">
|
144
|
+
<a name="M000092"></a>
|
145
145
|
|
146
146
|
<div class="method-heading">
|
147
147
|
<span class="method-name">collect</span><span class="method-args">(s)</span>
|
@@ -149,18 +149,18 @@
|
|
149
149
|
|
150
150
|
<div class="method-description">
|
151
151
|
<p>
|
152
|
-
Alias for <a href="Testable.html#
|
152
|
+
Alias for <a href="Testable.html#M000091">label</a>
|
153
153
|
</p>
|
154
154
|
</div>
|
155
155
|
</div>
|
156
156
|
|
157
|
-
<div id="method-
|
158
|
-
<a name="
|
157
|
+
<div id="method-M000090" class="method-detail">
|
158
|
+
<a name="M000090"></a>
|
159
159
|
|
160
160
|
<div class="method-heading">
|
161
|
-
<a href="Testable.src/
|
162
|
-
onclick="popupCode('Testable.src/
|
163
|
-
<span class="method-name">imply</span><span class="method-args">(
|
161
|
+
<a href="Testable.src/M000090.html" target="Code" class="method-signature"
|
162
|
+
onclick="popupCode('Testable.src/M000090.html');return false;">
|
163
|
+
<span class="method-name">imply</span><span class="method-args">() {|? property : Result.nothing.result| ...}</span>
|
164
164
|
</a>
|
165
165
|
</div>
|
166
166
|
|
@@ -168,12 +168,12 @@ Alias for <a href="Testable.html#M000090">label</a>
|
|
168
168
|
</div>
|
169
169
|
</div>
|
170
170
|
|
171
|
-
<div id="method-
|
172
|
-
<a name="
|
171
|
+
<div id="method-M000091" class="method-detail">
|
172
|
+
<a name="M000091"></a>
|
173
173
|
|
174
174
|
<div class="method-heading">
|
175
|
-
<a href="Testable.src/
|
176
|
-
onclick="popupCode('Testable.src/
|
175
|
+
<a href="Testable.src/M000091.html" target="Code" class="method-signature"
|
176
|
+
onclick="popupCode('Testable.src/M000091.html');return false;">
|
177
177
|
<span class="method-name">label</span><span class="method-args">(s)</span>
|
178
178
|
</a>
|
179
179
|
</div>
|
@@ -182,12 +182,12 @@ Alias for <a href="Testable.html#M000090">label</a>
|
|
182
182
|
</div>
|
183
183
|
</div>
|
184
184
|
|
185
|
-
<div id="method-
|
186
|
-
<a name="
|
185
|
+
<div id="method-M000085" class="method-detail">
|
186
|
+
<a name="M000085"></a>
|
187
187
|
|
188
188
|
<div class="method-heading">
|
189
|
-
<a href="Testable.src/
|
190
|
-
onclick="popupCode('Testable.src/
|
189
|
+
<a href="Testable.src/M000085.html" target="Code" class="method-signature"
|
190
|
+
onclick="popupCode('Testable.src/M000085.html');return false;">
|
191
191
|
<span class="method-name">property</span><span class="method-args">()</span>
|
192
192
|
</a>
|
193
193
|
</div>
|
@@ -196,8 +196,8 @@ Alias for <a href="Testable.html#M000090">label</a>
|
|
196
196
|
</div>
|
197
197
|
</div>
|
198
198
|
|
199
|
-
<div id="method-
|
200
|
-
<a name="
|
199
|
+
<div id="method-M000087" class="method-detail">
|
200
|
+
<a name="M000087"></a>
|
201
201
|
|
202
202
|
<div class="method-heading">
|
203
203
|
<span class="method-name">quick_check</span><span class="method-args">(config=RushCheckConfig.quick)</span>
|
@@ -205,13 +205,13 @@ Alias for <a href="Testable.html#M000090">label</a>
|
|
205
205
|
|
206
206
|
<div class="method-description">
|
207
207
|
<p>
|
208
|
-
Alias for <a href="Testable.html#
|
208
|
+
Alias for <a href="Testable.html#M000086">check</a>
|
209
209
|
</p>
|
210
210
|
</div>
|
211
211
|
</div>
|
212
212
|
|
213
|
-
<div id="method-
|
214
|
-
<a name="
|
213
|
+
<div id="method-M000088" class="method-detail">
|
214
|
+
<a name="M000088"></a>
|
215
215
|
|
216
216
|
<div class="method-heading">
|
217
217
|
<span class="method-name">quickcheck</span><span class="method-args">(config=RushCheckConfig.quick)</span>
|
@@ -219,17 +219,17 @@ Alias for <a href="Testable.html#M000085">check</a>
|
|
219
219
|
|
220
220
|
<div class="method-description">
|
221
221
|
<p>
|
222
|
-
Alias for <a href="Testable.html#
|
222
|
+
Alias for <a href="Testable.html#M000086">check</a>
|
223
223
|
</p>
|
224
224
|
</div>
|
225
225
|
</div>
|
226
226
|
|
227
|
-
<div id="method-
|
228
|
-
<a name="
|
227
|
+
<div id="method-M000093" class="method-detail">
|
228
|
+
<a name="M000093"></a>
|
229
229
|
|
230
230
|
<div class="method-heading">
|
231
|
-
<a href="Testable.src/
|
232
|
-
onclick="popupCode('Testable.src/
|
231
|
+
<a href="Testable.src/M000093.html" target="Code" class="method-signature"
|
232
|
+
onclick="popupCode('Testable.src/M000093.html');return false;">
|
233
233
|
<span class="method-name">test</span><span class="method-args">()</span>
|
234
234
|
</a>
|
235
235
|
</div>
|
@@ -238,13 +238,13 @@ Alias for <a href="Testable.html#M000085">check</a>
|
|
238
238
|
</div>
|
239
239
|
</div>
|
240
240
|
|
241
|
-
<div id="method-
|
242
|
-
<a name="
|
241
|
+
<div id="method-M000095" class="method-detail">
|
242
|
+
<a name="M000095"></a>
|
243
243
|
|
244
244
|
<div class="method-heading">
|
245
|
-
<a href="Testable.src/
|
246
|
-
onclick="popupCode('Testable.src/
|
247
|
-
<span class="method-name">trivial</span><span class="method-args">(
|
245
|
+
<a href="Testable.src/M000095.html" target="Code" class="method-signature"
|
246
|
+
onclick="popupCode('Testable.src/M000095.html');return false;">
|
247
|
+
<span class="method-name">trivial</span><span class="method-args">() {|| ...}</span>
|
248
248
|
</a>
|
249
249
|
</div>
|
250
250
|
|
@@ -252,8 +252,8 @@ Alias for <a href="Testable.html#M000085">check</a>
|
|
252
252
|
</div>
|
253
253
|
</div>
|
254
254
|
|
255
|
-
<div id="method-
|
256
|
-
<a name="
|
255
|
+
<div id="method-M000094" class="method-detail">
|
256
|
+
<a name="M000094"></a>
|
257
257
|
|
258
258
|
<div class="method-heading">
|
259
259
|
<span class="method-name">verbose_check</span><span class="method-args">()</span>
|
@@ -261,7 +261,7 @@ Alias for <a href="Testable.html#M000085">check</a>
|
|
261
261
|
|
262
262
|
<div class="method-description">
|
263
263
|
<p>
|
264
|
-
Alias for <a href="Testable.html#
|
264
|
+
Alias for <a href="Testable.html#M000093">test</a>
|
265
265
|
</p>
|
266
266
|
</div>
|
267
267
|
</div>
|
@@ -5,14 +5,14 @@
|
|
5
5
|
|
6
6
|
<html>
|
7
7
|
<head>
|
8
|
-
<title>
|
8
|
+
<title>property (Testable)</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/testable.rb, line
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
15
|
-
<span class="ruby-identifier">
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/testable.rb, line 9</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
|
15
|
+
<span class="ruby-identifier">raise</span>(<span class="ruby-constant">NotImplementedError</span>, <span class="ruby-value str">"This method should be overrided."</span>)
|
16
16
|
<span class="ruby-keyword kw">end</span></pre>
|
17
17
|
</body>
|
18
18
|
</html>
|
@@ -0,0 +1,18 @@
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
2
|
+
<!DOCTYPE html
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
5
|
+
|
6
|
+
<html>
|
7
|
+
<head>
|
8
|
+
<title>check (Testable)</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/testable.rb, line 13</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">check</span>(<span class="ruby-identifier">config</span>=<span class="ruby-constant">RushCheckConfig</span>.<span class="ruby-identifier">quick</span>)
|
15
|
+
<span class="ruby-identifier">config</span>.<span class="ruby-identifier">tests</span>(<span class="ruby-identifier">property</span>.<span class="ruby-identifier">gen</span>, <span class="ruby-constant">TheStdGen</span>.<span class="ruby-identifier">instance</span>)
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
17
|
+
</body>
|
18
|
+
</html>
|
@@ -5,14 +5,14 @@
|
|
5
5
|
|
6
6
|
<html>
|
7
7
|
<head>
|
8
|
-
<title>
|
8
|
+
<title>classify (Testable)</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/testable.rb, line
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
15
|
-
<span class="ruby-
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/testable.rb, line 19</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">classify</span>(<span class="ruby-identifier">name</span>)
|
15
|
+
<span class="ruby-keyword kw">yield</span> <span class="ruby-operator">?</span> <span class="ruby-identifier">label</span>(<span class="ruby-identifier">name</span>) <span class="ruby-operator">:</span> <span class="ruby-identifier">property</span>
|
16
16
|
<span class="ruby-keyword kw">end</span></pre>
|
17
17
|
</body>
|
18
18
|
</html>
|
@@ -5,14 +5,14 @@
|
|
5
5
|
|
6
6
|
<html>
|
7
7
|
<head>
|
8
|
-
<title>
|
8
|
+
<title>imply (Testable)</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/testable.rb, line
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
15
|
-
<span class="ruby-
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/testable.rb, line 23</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">imply</span>
|
15
|
+
<span class="ruby-keyword kw">yield</span> <span class="ruby-operator">?</span> <span class="ruby-identifier">property</span> <span class="ruby-operator">:</span> <span class="ruby-constant">Result</span>.<span class="ruby-identifier">nothing</span>.<span class="ruby-identifier">result</span>
|
16
16
|
<span class="ruby-keyword kw">end</span></pre>
|
17
17
|
</body>
|
18
18
|
</html>
|
@@ -0,0 +1,18 @@
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
2
|
+
<!DOCTYPE html
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
5
|
+
|
6
|
+
<html>
|
7
|
+
<head>
|
8
|
+
<title>label (Testable)</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/testable.rb, line 27</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">label</span>(<span class="ruby-identifier">s</span>)
|
15
|
+
<span class="ruby-constant">Property</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">property</span>.<span class="ruby-identifier">gen</span>.<span class="ruby-identifier">fmap</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">res</span><span class="ruby-operator">|</span> <span class="ruby-identifier">res</span>.<span class="ruby-identifier">stamp</span> <span class="ruby-operator"><<</span> <span class="ruby-identifier">s</span>.<span class="ruby-identifier">to_s</span>; <span class="ruby-identifier">res</span> })
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
17
|
+
</body>
|
18
|
+
</html>
|
@@ -0,0 +1,18 @@
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
2
|
+
<!DOCTYPE html
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
5
|
+
|
6
|
+
<html>
|
7
|
+
<head>
|
8
|
+
<title>test (Testable)</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/testable.rb, line 32</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">test</span>
|
15
|
+
<span class="ruby-identifier">check</span>(<span class="ruby-constant">RushCheckConfig</span>.<span class="ruby-identifier">verbose</span>)
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
17
|
+
</body>
|
18
|
+
</html>
|
@@ -0,0 +1,18 @@
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
2
|
+
<!DOCTYPE html
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
5
|
+
|
6
|
+
<html>
|
7
|
+
<head>
|
8
|
+
<title>trivial (Testable)</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/testable.rb, line 37</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">trivial</span>
|
15
|
+
<span class="ruby-identifier">classify</span>(<span class="ruby-value str">'trivial'</span>) { <span class="ruby-keyword kw">yield</span> }
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
17
|
+
</body>
|
18
|
+
</html>
|
@@ -94,10 +94,10 @@ href="TheStdGen.html">TheStdGen</a> includes ruby’s Singleton module.
|
|
94
94
|
<h3 class="section-bar">Methods</h3>
|
95
95
|
|
96
96
|
<div class="name-list">
|
97
|
-
<a href="#
|
98
|
-
<a href="#
|
99
|
-
<a href="#
|
100
|
-
<a href="#
|
97
|
+
<a href="#M000064">gen_next</a>
|
98
|
+
<a href="#M000066">gen_range</a>
|
99
|
+
<a href="#M000063">new</a>
|
100
|
+
<a href="#M000065">split</a>
|
101
101
|
</div>
|
102
102
|
</div>
|
103
103
|
|
@@ -127,12 +127,12 @@ href="TheStdGen.html">TheStdGen</a> includes ruby’s Singleton module.
|
|
127
127
|
<div id="methods">
|
128
128
|
<h3 class="section-bar">Public Class methods</h3>
|
129
129
|
|
130
|
-
<div id="method-
|
131
|
-
<a name="
|
130
|
+
<div id="method-M000063" class="method-detail">
|
131
|
+
<a name="M000063"></a>
|
132
132
|
|
133
133
|
<div class="method-heading">
|
134
|
-
<a href="TheStdGen.src/
|
135
|
-
onclick="popupCode('TheStdGen.src/
|
134
|
+
<a href="TheStdGen.src/M000063.html" target="Code" class="method-signature"
|
135
|
+
onclick="popupCode('TheStdGen.src/M000063.html');return false;">
|
136
136
|
<span class="method-name">new</span><span class="method-args">()</span>
|
137
137
|
</a>
|
138
138
|
</div>
|
@@ -143,12 +143,12 @@ href="TheStdGen.html">TheStdGen</a> includes ruby’s Singleton module.
|
|
143
143
|
|
144
144
|
<h3 class="section-bar">Public Instance methods</h3>
|
145
145
|
|
146
|
-
<div id="method-
|
147
|
-
<a name="
|
146
|
+
<div id="method-M000064" class="method-detail">
|
147
|
+
<a name="M000064"></a>
|
148
148
|
|
149
149
|
<div class="method-heading">
|
150
|
-
<a href="TheStdGen.src/
|
151
|
-
onclick="popupCode('TheStdGen.src/
|
150
|
+
<a href="TheStdGen.src/M000064.html" target="Code" class="method-signature"
|
151
|
+
onclick="popupCode('TheStdGen.src/M000064.html');return false;">
|
152
152
|
<span class="method-name">gen_next</span><span class="method-args">()</span>
|
153
153
|
</a>
|
154
154
|
</div>
|
@@ -157,12 +157,12 @@ href="TheStdGen.html">TheStdGen</a> includes ruby’s Singleton module.
|
|
157
157
|
</div>
|
158
158
|
</div>
|
159
159
|
|
160
|
-
<div id="method-
|
161
|
-
<a name="
|
160
|
+
<div id="method-M000066" class="method-detail">
|
161
|
+
<a name="M000066"></a>
|
162
162
|
|
163
163
|
<div class="method-heading">
|
164
|
-
<a href="TheStdGen.src/
|
165
|
-
onclick="popupCode('TheStdGen.src/
|
164
|
+
<a href="TheStdGen.src/M000066.html" target="Code" class="method-signature"
|
165
|
+
onclick="popupCode('TheStdGen.src/M000066.html');return false;">
|
166
166
|
<span class="method-name">gen_range</span><span class="method-args">()</span>
|
167
167
|
</a>
|
168
168
|
</div>
|
@@ -171,12 +171,12 @@ href="TheStdGen.html">TheStdGen</a> includes ruby’s Singleton module.
|
|
171
171
|
</div>
|
172
172
|
</div>
|
173
173
|
|
174
|
-
<div id="method-
|
175
|
-
<a name="
|
174
|
+
<div id="method-M000065" class="method-detail">
|
175
|
+
<a name="M000065"></a>
|
176
176
|
|
177
177
|
<div class="method-heading">
|
178
|
-
<a href="TheStdGen.src/
|
179
|
-
onclick="popupCode('TheStdGen.src/
|
178
|
+
<a href="TheStdGen.src/M000065.html" target="Code" class="method-signature"
|
179
|
+
onclick="popupCode('TheStdGen.src/M000065.html');return false;">
|
180
180
|
<span class="method-name">split</span><span class="method-args">()</span>
|
181
181
|
</a>
|
182
182
|
</div>
|
@@ -5,16 +5,14 @@
|
|
5
5
|
|
6
6
|
<html>
|
7
7
|
<head>
|
8
|
-
<title>
|
8
|
+
<title>new (TheStdGen)</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/random.rb, line
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
15
|
-
<span class="ruby-ivar">@gen</span
|
16
|
-
|
17
|
-
<span class="ruby-identifier">result</span>.<span class="ruby-identifier">gen_next</span>
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/random.rb, line 128</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>
|
15
|
+
<span class="ruby-ivar">@gen</span> = <span class="ruby-constant">StdGen</span>.<span class="ruby-identifier">new</span>
|
18
16
|
<span class="ruby-keyword kw">end</span></pre>
|
19
17
|
</body>
|
20
18
|
</html>
|
@@ -5,17 +5,16 @@
|
|
5
5
|
|
6
6
|
<html>
|
7
7
|
<head>
|
8
|
-
<title>
|
8
|
+
<title>gen_next (TheStdGen)</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/random.rb, line
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
15
|
-
<span class="ruby-identifier">result</span> = <span class="ruby-ivar">@gen</span>.<span class="ruby-identifier">split</span>
|
16
|
-
|
17
|
-
|
18
|
-
<span class="ruby-identifier">result</span>
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/random.rb, line 132</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_next</span>
|
15
|
+
<span class="ruby-ivar">@gen</span>, <span class="ruby-identifier">result</span> = <span class="ruby-ivar">@gen</span>.<span class="ruby-identifier">split</span>
|
16
|
+
|
17
|
+
<span class="ruby-identifier">result</span>.<span class="ruby-identifier">gen_next</span>
|
19
18
|
<span class="ruby-keyword kw">end</span></pre>
|
20
19
|
</body>
|
21
20
|
</html>
|
@@ -5,14 +5,17 @@
|
|
5
5
|
|
6
6
|
<html>
|
7
7
|
<head>
|
8
|
-
<title>
|
8
|
+
<title>split (TheStdGen)</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/random.rb, line
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
15
|
-
<span class="ruby-ivar">@gen</span>.<span class="ruby-identifier">
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/random.rb, line 138</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">split</span>
|
15
|
+
<span class="ruby-identifier">result</span> = <span class="ruby-ivar">@gen</span>.<span class="ruby-identifier">split</span>
|
16
|
+
<span class="ruby-ivar">@gen</span> = <span class="ruby-ivar">@gen</span>.<span class="ruby-identifier">gen_next</span>[<span class="ruby-value">1</span>]
|
17
|
+
|
18
|
+
<span class="ruby-identifier">result</span>
|
16
19
|
<span class="ruby-keyword kw">end</span></pre>
|
17
20
|
</body>
|
18
21
|
</html>
|
@@ -0,0 +1,18 @@
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
2
|
+
<!DOCTYPE html
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
5
|
+
|
6
|
+
<html>
|
7
|
+
<head>
|
8
|
+
<title>gen_range (TheStdGen)</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 145</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_range</span>
|
15
|
+
<span class="ruby-ivar">@gen</span>.<span class="ruby-identifier">gen_range</span>
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
17
|
+
</body>
|
18
|
+
</html>
|
@@ -86,9 +86,9 @@
|
|
86
86
|
<h3 class="section-bar">Methods</h3>
|
87
87
|
|
88
88
|
<div class="name-list">
|
89
|
-
<a href="#
|
90
|
-
<a href="#
|
91
|
-
<a href="#
|
89
|
+
<a href="#M000073">bound</a>
|
90
|
+
<a href="#M000074">coarbitrary</a>
|
91
|
+
<a href="#M000075">property</a>
|
92
92
|
</div>
|
93
93
|
</div>
|
94
94
|
|
@@ -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-
|
122
|
-
<a name="
|
121
|
+
<div id="method-M000073" class="method-detail">
|
122
|
+
<a name="M000073"></a>
|
123
123
|
|
124
124
|
<div class="method-heading">
|
125
|
-
<a href="TrueClass.src/
|
126
|
-
onclick="popupCode('TrueClass.src/
|
125
|
+
<a href="TrueClass.src/M000073.html" target="Code" class="method-signature"
|
126
|
+
onclick="popupCode('TrueClass.src/M000073.html');return false;">
|
127
127
|
<span class="method-name">bound</span><span class="method-args">()</span>
|
128
128
|
</a>
|
129
129
|
</div>
|
@@ -134,12 +134,12 @@
|
|
134
134
|
|
135
135
|
<h3 class="section-bar">Public Instance methods</h3>
|
136
136
|
|
137
|
-
<div id="method-
|
138
|
-
<a name="
|
137
|
+
<div id="method-M000074" class="method-detail">
|
138
|
+
<a name="M000074"></a>
|
139
139
|
|
140
140
|
<div class="method-heading">
|
141
|
-
<a href="TrueClass.src/
|
142
|
-
onclick="popupCode('TrueClass.src/
|
141
|
+
<a href="TrueClass.src/M000074.html" target="Code" class="method-signature"
|
142
|
+
onclick="popupCode('TrueClass.src/M000074.html');return false;">
|
143
143
|
<span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
|
144
144
|
</a>
|
145
145
|
</div>
|
@@ -148,12 +148,12 @@
|
|
148
148
|
</div>
|
149
149
|
</div>
|
150
150
|
|
151
|
-
<div id="method-
|
152
|
-
<a name="
|
151
|
+
<div id="method-M000075" class="method-detail">
|
152
|
+
<a name="M000075"></a>
|
153
153
|
|
154
154
|
<div class="method-heading">
|
155
|
-
<a href="TrueClass.src/
|
156
|
-
onclick="popupCode('TrueClass.src/
|
155
|
+
<a href="TrueClass.src/M000075.html" target="Code" class="method-signature"
|
156
|
+
onclick="popupCode('TrueClass.src/M000075.html');return false;">
|
157
157
|
<span class="method-name">property</span><span class="method-args">()</span>
|
158
158
|
</a>
|
159
159
|
</div>
|