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
@@ -80,17 +80,17 @@
80
80
  <h3 class="section-bar">Methods</h3>
81
81
 
82
82
  <div class="name-list">
83
- <a href="#M000085">check</a>&nbsp;&nbsp;
84
- <a href="#M000088">classify</a>&nbsp;&nbsp;
85
- <a href="#M000091">collect</a>&nbsp;&nbsp;
86
- <a href="#M000089">imply</a>&nbsp;&nbsp;
87
- <a href="#M000090">label</a>&nbsp;&nbsp;
88
- <a href="#M000084">property</a>&nbsp;&nbsp;
89
- <a href="#M000086">quick_check</a>&nbsp;&nbsp;
90
- <a href="#M000087">quickcheck</a>&nbsp;&nbsp;
91
- <a href="#M000092">test</a>&nbsp;&nbsp;
92
- <a href="#M000094">trivial</a>&nbsp;&nbsp;
93
- <a href="#M000093">verbose_check</a>&nbsp;&nbsp;
83
+ <a href="#M000086">check</a>&nbsp;&nbsp;
84
+ <a href="#M000089">classify</a>&nbsp;&nbsp;
85
+ <a href="#M000092">collect</a>&nbsp;&nbsp;
86
+ <a href="#M000090">imply</a>&nbsp;&nbsp;
87
+ <a href="#M000091">label</a>&nbsp;&nbsp;
88
+ <a href="#M000085">property</a>&nbsp;&nbsp;
89
+ <a href="#M000087">quick_check</a>&nbsp;&nbsp;
90
+ <a href="#M000088">quickcheck</a>&nbsp;&nbsp;
91
+ <a href="#M000093">test</a>&nbsp;&nbsp;
92
+ <a href="#M000095">trivial</a>&nbsp;&nbsp;
93
+ <a href="#M000094">verbose_check</a>&nbsp;&nbsp;
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-M000085" class="method-detail">
116
- <a name="M000085"></a>
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/M000085.html" target="Code" class="method-signature"
120
- onclick="popupCode('Testable.src/M000085.html');return false;">
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-M000088" class="method-detail">
130
- <a name="M000088"></a>
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/M000088.html" target="Code" class="method-signature"
134
- onclick="popupCode('Testable.src/M000088.html');return false;">
135
- <span class="method-name">classify</span><span class="method-args">(p, name)</span>
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-M000091" class="method-detail">
144
- <a name="M000091"></a>
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#M000090">label</a>
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-M000089" class="method-detail">
158
- <a name="M000089"></a>
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/M000089.html" target="Code" class="method-signature"
162
- onclick="popupCode('Testable.src/M000089.html');return false;">
163
- <span class="method-name">imply</span><span class="method-args">(p)</span>
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-M000090" class="method-detail">
172
- <a name="M000090"></a>
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/M000090.html" target="Code" class="method-signature"
176
- onclick="popupCode('Testable.src/M000090.html');return false;">
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-M000084" class="method-detail">
186
- <a name="M000084"></a>
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/M000084.html" target="Code" class="method-signature"
190
- onclick="popupCode('Testable.src/M000084.html');return false;">
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-M000086" class="method-detail">
200
- <a name="M000086"></a>
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#M000085">check</a>
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-M000087" class="method-detail">
214
- <a name="M000087"></a>
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#M000085">check</a>
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-M000092" class="method-detail">
228
- <a name="M000092"></a>
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/M000092.html" target="Code" class="method-signature"
232
- onclick="popupCode('Testable.src/M000092.html');return false;">
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-M000094" class="method-detail">
242
- <a name="M000094"></a>
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/M000094.html" target="Code" class="method-signature"
246
- onclick="popupCode('Testable.src/M000094.html');return false;">
247
- <span class="method-name">trivial</span><span class="method-args">(p)</span>
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-M000093" class="method-detail">
256
- <a name="M000093"></a>
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#M000092">test</a>
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>check (Testable)</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 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>)
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">&quot;This method should be overrided.&quot;</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>imply (Testable)</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 23</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">imply</span>(<span class="ruby-identifier">p</span>)
15
- <span class="ruby-identifier">p</span> <span class="ruby-value">? </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>
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>label (Testable)</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 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">&lt;&lt;</span> <span class="ruby-identifier">s</span>.<span class="ruby-identifier">to_s</span>; <span class="ruby-identifier">res</span> })
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">&lt;&lt;</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&#8217;s Singleton module.
94
94
  <h3 class="section-bar">Methods</h3>
95
95
 
96
96
  <div class="name-list">
97
- <a href="#M000063">gen_next</a>&nbsp;&nbsp;
98
- <a href="#M000065">gen_range</a>&nbsp;&nbsp;
99
- <a href="#M000062">new</a>&nbsp;&nbsp;
100
- <a href="#M000064">split</a>&nbsp;&nbsp;
97
+ <a href="#M000064">gen_next</a>&nbsp;&nbsp;
98
+ <a href="#M000066">gen_range</a>&nbsp;&nbsp;
99
+ <a href="#M000063">new</a>&nbsp;&nbsp;
100
+ <a href="#M000065">split</a>&nbsp;&nbsp;
101
101
  </div>
102
102
  </div>
103
103
 
@@ -127,12 +127,12 @@ href="TheStdGen.html">TheStdGen</a> includes ruby&#8217;s Singleton module.
127
127
  <div id="methods">
128
128
  <h3 class="section-bar">Public Class methods</h3>
129
129
 
130
- <div id="method-M000062" class="method-detail">
131
- <a name="M000062"></a>
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/M000062.html" target="Code" class="method-signature"
135
- onclick="popupCode('TheStdGen.src/M000062.html');return false;">
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&#8217;s Singleton module.
143
143
 
144
144
  <h3 class="section-bar">Public Instance methods</h3>
145
145
 
146
- <div id="method-M000063" class="method-detail">
147
- <a name="M000063"></a>
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/M000063.html" target="Code" class="method-signature"
151
- onclick="popupCode('TheStdGen.src/M000063.html');return false;">
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&#8217;s Singleton module.
157
157
  </div>
158
158
  </div>
159
159
 
160
- <div id="method-M000065" class="method-detail">
161
- <a name="M000065"></a>
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/M000065.html" target="Code" class="method-signature"
165
- onclick="popupCode('TheStdGen.src/M000065.html');return false;">
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&#8217;s Singleton module.
171
171
  </div>
172
172
  </div>
173
173
 
174
- <div id="method-M000064" class="method-detail">
175
- <a name="M000064"></a>
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/M000064.html" target="Code" class="method-signature"
179
- onclick="popupCode('TheStdGen.src/M000064.html');return false;">
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>gen_next (TheStdGen)</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 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>
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>split (TheStdGen)</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 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>
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>gen_range (TheStdGen)</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 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>
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="#M000072">bound</a>&nbsp;&nbsp;
90
- <a href="#M000073">coarbitrary</a>&nbsp;&nbsp;
91
- <a href="#M000074">property</a>&nbsp;&nbsp;
89
+ <a href="#M000073">bound</a>&nbsp;&nbsp;
90
+ <a href="#M000074">coarbitrary</a>&nbsp;&nbsp;
91
+ <a href="#M000075">property</a>&nbsp;&nbsp;
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-M000072" class="method-detail">
122
- <a name="M000072"></a>
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/M000072.html" target="Code" class="method-signature"
126
- onclick="popupCode('TrueClass.src/M000072.html');return false;">
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-M000073" class="method-detail">
138
- <a name="M000073"></a>
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/M000073.html" target="Code" class="method-signature"
142
- onclick="popupCode('TrueClass.src/M000073.html');return false;">
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-M000074" class="method-detail">
152
- <a name="M000074"></a>
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/M000074.html" target="Code" class="method-signature"
156
- onclick="popupCode('TrueClass.src/M000074.html');return false;">
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>