rushcheck 0.2 → 0.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (99) hide show
  1. data/Rakefile +1 -1
  2. data/data/rushcheck/doc/rushcheck.txt +68 -10
  3. data/data/rushcheck/examples/candy.rb +43 -0
  4. data/data/rushcheck/rdoc/classes/Arbitrary.html +5 -5
  5. data/data/rushcheck/rdoc/classes/Arbitrary.src/M000076.html +18 -0
  6. data/data/rushcheck/rdoc/classes/Assertion.src/M000016.html +9 -4
  7. data/data/rushcheck/rdoc/classes/Coarbitrary.html +5 -5
  8. data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000096.html +18 -0
  9. data/data/rushcheck/rdoc/classes/Float.html +20 -20
  10. data/data/rushcheck/rdoc/classes/Float.src/M000048.html +7 -4
  11. data/data/rushcheck/rdoc/classes/Float.src/M000049.html +4 -8
  12. data/data/rushcheck/rdoc/classes/Float.src/M000050.html +8 -6
  13. data/data/rushcheck/rdoc/classes/Float.src/M000051.html +20 -0
  14. data/data/rushcheck/rdoc/classes/Gen.html +109 -87
  15. data/data/rushcheck/rdoc/classes/Gen.src/M000026.html +1 -1
  16. data/data/rushcheck/rdoc/classes/Gen.src/M000027.html +28 -5
  17. data/data/rushcheck/rdoc/classes/Gen.src/M000028.html +6 -14
  18. data/data/rushcheck/rdoc/classes/Gen.src/M000029.html +13 -9
  19. data/data/rushcheck/rdoc/classes/Gen.src/M000030.html +10 -4
  20. data/data/rushcheck/rdoc/classes/Gen.src/M000031.html +4 -4
  21. data/data/rushcheck/rdoc/classes/Gen.src/M000032.html +4 -4
  22. data/data/rushcheck/rdoc/classes/Gen.src/M000033.html +4 -4
  23. data/data/rushcheck/rdoc/classes/Gen.src/M000034.html +4 -4
  24. data/data/rushcheck/rdoc/classes/Gen.src/M000035.html +4 -10
  25. data/data/rushcheck/rdoc/classes/Gen.src/M000036.html +10 -4
  26. data/data/rushcheck/rdoc/classes/Gen.src/M000037.html +4 -7
  27. data/data/rushcheck/rdoc/classes/Gen.src/M000038.html +7 -4
  28. data/data/rushcheck/rdoc/classes/Gen.src/M000039.html +4 -4
  29. data/data/rushcheck/rdoc/classes/Gen.src/M000040.html +4 -9
  30. data/data/rushcheck/rdoc/classes/Gen.src/M000041.html +9 -5
  31. data/data/rushcheck/rdoc/classes/Gen.src/M000042.html +5 -4
  32. data/data/rushcheck/rdoc/classes/Gen.src/M000043.html +4 -10
  33. data/data/rushcheck/rdoc/classes/Gen.src/M000044.html +24 -0
  34. data/data/rushcheck/rdoc/classes/HsRandom.html +20 -20
  35. data/data/rushcheck/rdoc/classes/HsRandom.src/M000082.html +8 -18
  36. data/data/rushcheck/rdoc/classes/HsRandom.src/M000083.html +18 -4
  37. data/data/rushcheck/rdoc/classes/HsRandom.src/M000084.html +18 -0
  38. data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
  39. data/data/rushcheck/rdoc/classes/NilClass.src/M000060.html +4 -4
  40. data/data/rushcheck/rdoc/classes/NilClass.src/M000061.html +4 -4
  41. data/data/rushcheck/rdoc/classes/NilClass.src/M000062.html +18 -0
  42. data/data/rushcheck/rdoc/classes/Property.html +10 -10
  43. data/data/rushcheck/rdoc/classes/Property.src/M000071.html +12 -4
  44. data/data/rushcheck/rdoc/classes/Property.src/M000072.html +18 -0
  45. data/data/rushcheck/rdoc/classes/RandomArray.src/M000022.html +2 -2
  46. data/data/rushcheck/rdoc/classes/RandomBool.html +10 -10
  47. data/data/rushcheck/rdoc/classes/RandomBool.src/M000080.html +4 -5
  48. data/data/rushcheck/rdoc/classes/RandomBool.src/M000081.html +19 -0
  49. data/data/rushcheck/rdoc/classes/RandomGen.html +20 -20
  50. data/data/rushcheck/rdoc/classes/RandomGen.src/M000077.html +3 -3
  51. data/data/rushcheck/rdoc/classes/RandomGen.src/M000078.html +3 -3
  52. data/data/rushcheck/rdoc/classes/RandomGen.src/M000079.html +18 -0
  53. data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
  54. data/data/rushcheck/rdoc/classes/RandomHash.src/M000045.html +4 -12
  55. data/data/rushcheck/rdoc/classes/RandomHash.src/M000046.html +11 -7
  56. data/data/rushcheck/rdoc/classes/RandomHash.src/M000047.html +22 -0
  57. data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
  58. data/data/rushcheck/rdoc/classes/RandomProc.src/M000056.html +4 -16
  59. data/data/rushcheck/rdoc/classes/RandomProc.src/M000057.html +13 -9
  60. data/data/rushcheck/rdoc/classes/RandomProc.src/M000058.html +11 -5
  61. data/data/rushcheck/rdoc/classes/RandomProc.src/M000059.html +20 -0
  62. data/data/rushcheck/rdoc/classes/Result.html +19 -19
  63. data/data/rushcheck/rdoc/classes/Result.src/M000052.html +4 -4
  64. data/data/rushcheck/rdoc/classes/Result.src/M000053.html +4 -4
  65. data/data/rushcheck/rdoc/classes/Result.src/M000054.html +18 -0
  66. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html +1 -1
  67. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html +1 -1
  68. data/data/rushcheck/rdoc/classes/String.html +20 -20
  69. data/data/rushcheck/rdoc/classes/String.src/M000067.html +10 -4
  70. data/data/rushcheck/rdoc/classes/String.src/M000068.html +4 -11
  71. data/data/rushcheck/rdoc/classes/String.src/M000069.html +10 -7
  72. data/data/rushcheck/rdoc/classes/String.src/M000070.html +22 -0
  73. data/data/rushcheck/rdoc/classes/Testable.html +54 -54
  74. data/data/rushcheck/rdoc/classes/Testable.src/M000085.html +4 -4
  75. data/data/rushcheck/rdoc/classes/Testable.src/M000086.html +18 -0
  76. data/data/rushcheck/rdoc/classes/Testable.src/M000089.html +4 -4
  77. data/data/rushcheck/rdoc/classes/Testable.src/M000090.html +4 -4
  78. data/data/rushcheck/rdoc/classes/Testable.src/M000091.html +18 -0
  79. data/data/rushcheck/rdoc/classes/Testable.src/M000093.html +18 -0
  80. data/data/rushcheck/rdoc/classes/Testable.src/M000095.html +18 -0
  81. data/data/rushcheck/rdoc/classes/TheStdGen.html +20 -20
  82. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000063.html +4 -6
  83. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000064.html +6 -7
  84. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000065.html +7 -4
  85. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000066.html +18 -0
  86. data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
  87. data/data/rushcheck/rdoc/classes/TrueClass.src/M000073.html +4 -4
  88. data/data/rushcheck/rdoc/classes/TrueClass.src/M000074.html +4 -4
  89. data/data/rushcheck/rdoc/classes/TrueClass.src/M000075.html +18 -0
  90. data/data/rushcheck/rdoc/created.rid +1 -1
  91. data/data/rushcheck/rdoc/files/rushcheck/array_rb.html +1 -1
  92. data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html +1 -1
  93. data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +1 -1
  94. data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +8 -1
  95. data/data/rushcheck/rdoc/files/rushcheck/rushcheck_rb.html +6 -2
  96. data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +1 -1
  97. data/data/rushcheck/rdoc/fr_method_index.html +75 -74
  98. data/lib/rushcheck/gen.rb +40 -3
  99. metadata +22 -2
@@ -5,14 +5,14 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>property (NilClass)</title>
8
+ <title>coarbitrary (NilClass)</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/bool.rb, line 86</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
15
- <span class="ruby-constant">Result</span>.<span class="ruby-identifier">nothing</span>
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 82</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">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</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>property (NilClass)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 86</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
15
+ <span class="ruby-constant">Result</span>.<span class="ruby-identifier">nothing</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
@@ -86,8 +86,8 @@
86
86
  <h3 class="section-bar">Methods</h3>
87
87
 
88
88
  <div class="name-list">
89
- <a href="#M000070">new</a>&nbsp;&nbsp;
90
- <a href="#M000071">property</a>&nbsp;&nbsp;
89
+ <a href="#M000071">new</a>&nbsp;&nbsp;
90
+ <a href="#M000072">property</a>&nbsp;&nbsp;
91
91
  </div>
92
92
  </div>
93
93
 
@@ -129,12 +129,12 @@
129
129
  <div id="methods">
130
130
  <h3 class="section-bar">Public Class methods</h3>
131
131
 
132
- <div id="method-M000070" class="method-detail">
133
- <a name="M000070"></a>
132
+ <div id="method-M000071" class="method-detail">
133
+ <a name="M000071"></a>
134
134
 
135
135
  <div class="method-heading">
136
- <a href="Property.src/M000070.html" target="Code" class="method-signature"
137
- onclick="popupCode('Property.src/M000070.html');return false;">
136
+ <a href="Property.src/M000071.html" target="Code" class="method-signature"
137
+ onclick="popupCode('Property.src/M000071.html');return false;">
138
138
  <span class="method-name">new</span><span class="method-args">(obj=nil, stamp=[], arguments=[])</span>
139
139
  </a>
140
140
  </div>
@@ -145,12 +145,12 @@
145
145
 
146
146
  <h3 class="section-bar">Public Instance methods</h3>
147
147
 
148
- <div id="method-M000071" class="method-detail">
149
- <a name="M000071"></a>
148
+ <div id="method-M000072" class="method-detail">
149
+ <a name="M000072"></a>
150
150
 
151
151
  <div class="method-heading">
152
- <a href="Property.src/M000071.html" target="Code" class="method-signature"
153
- onclick="popupCode('Property.src/M000071.html');return false;">
152
+ <a href="Property.src/M000072.html" target="Code" class="method-signature"
153
+ onclick="popupCode('Property.src/M000072.html');return false;">
154
154
  <span class="method-name">property</span><span class="method-args">()</span>
155
155
  </a>
156
156
  </div>
@@ -5,14 +5,22 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>property (Property)</title>
8
+ <title>new (Property)</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/property.rb, line 25</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
15
- <span class="ruby-keyword kw">self</span>
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/property.rb, line 13</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">obj</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">stamp</span>=[], <span class="ruby-identifier">arguments</span>=[])
15
+ <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">obj</span>
16
+ <span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">nil</span>, <span class="ruby-keyword kw">true</span>, <span class="ruby-keyword kw">false</span>
17
+ <span class="ruby-identifier">result</span> = <span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">stamp</span>, <span class="ruby-identifier">arguments</span>)
18
+ <span class="ruby-ivar">@gen</span> = <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">unit</span>(<span class="ruby-identifier">result</span>)
19
+ <span class="ruby-keyword kw">when</span> <span class="ruby-constant">Gen</span>
20
+ <span class="ruby-ivar">@gen</span> = <span class="ruby-identifier">obj</span>
21
+ <span class="ruby-keyword kw">else</span>
22
+ <span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">&quot;illegal arguments&quot;</span>)
23
+ <span class="ruby-keyword kw">end</span>
16
24
  <span class="ruby-keyword kw">end</span></pre>
17
25
  </body>
18
26
  </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>property (Property)</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/property.rb, line 25</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
15
+ <span class="ruby-keyword kw">self</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
@@ -20,9 +20,9 @@
20
20
  <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span>
21
21
  <span class="ruby-identifier">ary</span> = [<span class="ruby-ivar">@@base</span>.<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span>)]
22
22
  <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
23
- (<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-identifier">len</span>).<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span>
23
+ (<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-identifier">len</span>).<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">i</span><span class="ruby-operator">|</span>
24
24
  <span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
25
- <span class="ruby-identifier">ary</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-ivar">@@indp</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ary</span>).<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
25
+ <span class="ruby-identifier">ary</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-ivar">@@indp</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ary</span>, <span class="ruby-identifier">i</span>).<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
26
26
  <span class="ruby-keyword kw">end</span>
27
27
 
28
28
  <span class="ruby-identifier">ary</span>
@@ -80,8 +80,8 @@
80
80
  <h3 class="section-bar">Methods</h3>
81
81
 
82
82
  <div class="name-list">
83
- <a href="#M000079">arbitrary</a>&nbsp;&nbsp;
84
- <a href="#M000080">random_range</a>&nbsp;&nbsp;
83
+ <a href="#M000080">arbitrary</a>&nbsp;&nbsp;
84
+ <a href="#M000081">random_range</a>&nbsp;&nbsp;
85
85
  </div>
86
86
  </div>
87
87
 
@@ -103,12 +103,12 @@
103
103
  <div id="methods">
104
104
  <h3 class="section-bar">Public Instance methods</h3>
105
105
 
106
- <div id="method-M000079" class="method-detail">
107
- <a name="M000079"></a>
106
+ <div id="method-M000080" class="method-detail">
107
+ <a name="M000080"></a>
108
108
 
109
109
  <div class="method-heading">
110
- <a href="RandomBool.src/M000079.html" target="Code" class="method-signature"
111
- onclick="popupCode('RandomBool.src/M000079.html');return false;">
110
+ <a href="RandomBool.src/M000080.html" target="Code" class="method-signature"
111
+ onclick="popupCode('RandomBool.src/M000080.html');return false;">
112
112
  <span class="method-name">arbitrary</span><span class="method-args">()</span>
113
113
  </a>
114
114
  </div>
@@ -117,12 +117,12 @@
117
117
  </div>
118
118
  </div>
119
119
 
120
- <div id="method-M000080" class="method-detail">
121
- <a name="M000080"></a>
120
+ <div id="method-M000081" class="method-detail">
121
+ <a name="M000081"></a>
122
122
 
123
123
  <div class="method-heading">
124
- <a href="RandomBool.src/M000080.html" target="Code" class="method-signature"
125
- onclick="popupCode('RandomBool.src/M000080.html');return false;">
124
+ <a href="RandomBool.src/M000081.html" target="Code" class="method-signature"
125
+ onclick="popupCode('RandomBool.src/M000081.html');return false;">
126
126
  <span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_bound, hi=@@max_bound)</span>
127
127
  </a>
128
128
  </div>
@@ -5,15 +5,14 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>random_range (RandomBool)</title>
8
+ <title>arbitrary (RandomBool)</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/bool.rb, line 15</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>=<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-ivar">@@max_bound</span>)
15
- <span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-value">0</span>, <span class="ruby-value">1</span>)
16
- [<span class="ruby-identifier">v</span><span class="ruby-operator">==</span><span class="ruby-value">0</span>, <span class="ruby-identifier">g</span>]
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 11</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">arbitrary</span>
15
+ <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">elements</span>([<span class="ruby-keyword kw">true</span>, <span class="ruby-keyword kw">false</span>])
17
16
  <span class="ruby-keyword kw">end</span></pre>
18
17
  </body>
19
18
  </html>
@@ -0,0 +1,19 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>random_range (RandomBool)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/bool.rb, line 15</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>=<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-ivar">@@max_bound</span>)
15
+ <span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-value">0</span>, <span class="ruby-value">1</span>)
16
+ [<span class="ruby-identifier">v</span><span class="ruby-operator">==</span><span class="ruby-value">0</span>, <span class="ruby-identifier">g</span>]
17
+ <span class="ruby-keyword kw">end</span></pre>
18
+ </body>
19
+ </html>
@@ -90,9 +90,9 @@ System.Random library.
90
90
  <h3 class="section-bar">Methods</h3>
91
91
 
92
92
  <div class="name-list">
93
- <a href="#M000076">gen_next</a>&nbsp;&nbsp;
94
- <a href="#M000078">gen_range</a>&nbsp;&nbsp;
95
- <a href="#M000077">split</a>&nbsp;&nbsp;
93
+ <a href="#M000077">gen_next</a>&nbsp;&nbsp;
94
+ <a href="#M000079">gen_range</a>&nbsp;&nbsp;
95
+ <a href="#M000078">split</a>&nbsp;&nbsp;
96
96
  </div>
97
97
  </div>
98
98
 
@@ -114,21 +114,21 @@ System.Random library.
114
114
  <div id="methods">
115
115
  <h3 class="section-bar">Public Instance methods</h3>
116
116
 
117
- <div id="method-M000076" class="method-detail">
118
- <a name="M000076"></a>
117
+ <div id="method-M000077" class="method-detail">
118
+ <a name="M000077"></a>
119
119
 
120
120
  <div class="method-heading">
121
- <a href="RandomGen.src/M000076.html" target="Code" class="method-signature"
122
- onclick="popupCode('RandomGen.src/M000076.html');return false;">
121
+ <a href="RandomGen.src/M000077.html" target="Code" class="method-signature"
122
+ onclick="popupCode('RandomGen.src/M000077.html');return false;">
123
123
  <span class="method-name">gen_next</span><span class="method-args">()</span>
124
124
  </a>
125
125
  </div>
126
126
 
127
127
  <div class="method-description">
128
128
  <p>
129
- <a href="RandomGen.html#M000076">gen_next</a> should be overrided as an
129
+ <a href="RandomGen.html#M000077">gen_next</a> should be overrided as an
130
130
  instance method. It is assumed that <a
131
- href="RandomGen.html#M000076">gen_next</a> returns an array with length 2.
131
+ href="RandomGen.html#M000077">gen_next</a> returns an array with length 2.
132
132
  Here, call &#8216;Foo&#8217; the class which includes <a
133
133
  href="RandomGen.html">RandomGen</a>. The first components of the result
134
134
  should be an integer, and the last components should be an object which
@@ -137,36 +137,36 @@ belongs to the class Foo.
137
137
  </div>
138
138
  </div>
139
139
 
140
- <div id="method-M000078" class="method-detail">
141
- <a name="M000078"></a>
140
+ <div id="method-M000079" class="method-detail">
141
+ <a name="M000079"></a>
142
142
 
143
143
  <div class="method-heading">
144
- <a href="RandomGen.src/M000078.html" target="Code" class="method-signature"
145
- onclick="popupCode('RandomGen.src/M000078.html');return false;">
144
+ <a href="RandomGen.src/M000079.html" target="Code" class="method-signature"
145
+ onclick="popupCode('RandomGen.src/M000079.html');return false;">
146
146
  <span class="method-name">gen_range</span><span class="method-args">()</span>
147
147
  </a>
148
148
  </div>
149
149
 
150
150
  <div class="method-description">
151
151
  <p>
152
- <a href="RandomGen.html#M000078">gen_range</a> should be overrided as an
152
+ <a href="RandomGen.html#M000079">gen_range</a> should be overrided as an
153
153
  instance method. It is assumed that split returns an array with length 2.
154
154
  Here, call &#8216;Foo&#8217; the class which includes <a
155
155
  href="RandomGen.html">RandomGen</a>. Then the components of the result are
156
156
  integers where the first components should be the lowest bound of the first
157
- components of <a href="RandomGen.html#M000076">gen_next</a>. Another should
157
+ components of <a href="RandomGen.html#M000077">gen_next</a>. Another should
158
158
  be the highest bound of the first components of <a
159
- href="RandomGen.html#M000076">gen_next</a>.
159
+ href="RandomGen.html#M000077">gen_next</a>.
160
160
  </p>
161
161
  </div>
162
162
  </div>
163
163
 
164
- <div id="method-M000077" class="method-detail">
165
- <a name="M000077"></a>
164
+ <div id="method-M000078" class="method-detail">
165
+ <a name="M000078"></a>
166
166
 
167
167
  <div class="method-heading">
168
- <a href="RandomGen.src/M000077.html" target="Code" class="method-signature"
169
- onclick="popupCode('RandomGen.src/M000077.html');return false;">
168
+ <a href="RandomGen.src/M000078.html" target="Code" class="method-signature"
169
+ onclick="popupCode('RandomGen.src/M000078.html');return false;">
170
170
  <span class="method-name">split</span><span class="method-args">()</span>
171
171
  </a>
172
172
  </div>
@@ -5,13 +5,13 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>split (RandomGen)</title>
8
+ <title>gen_next (RandomGen)</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 35</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">split</span>
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/random.rb, line 26</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_next</span>
15
15
  <span class="ruby-identifier">raise_not_implemented_error</span>
16
16
  <span class="ruby-keyword kw">end</span></pre>
17
17
  </body>
@@ -5,13 +5,13 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>gen_range (RandomGen)</title>
8
+ <title>split (RandomGen)</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 46</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_range</span>
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/random.rb, line 35</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">split</span>
15
15
  <span class="ruby-identifier">raise_not_implemented_error</span>
16
16
  <span class="ruby-keyword kw">end</span></pre>
17
17
  </body>
@@ -0,0 +1,18 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>gen_range (RandomGen)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/random.rb, line 46</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_range</span>
15
+ <span class="ruby-identifier">raise_not_implemented_error</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
@@ -95,9 +95,9 @@ of Hash.
95
95
  <h3 class="section-bar">Methods</h3>
96
96
 
97
97
  <div class="name-list">
98
- <a href="#M000045">arbitrary</a>&nbsp;&nbsp;
99
- <a href="#M000046">coarbitrary</a>&nbsp;&nbsp;
100
- <a href="#M000044">set_pattern</a>&nbsp;&nbsp;
98
+ <a href="#M000046">arbitrary</a>&nbsp;&nbsp;
99
+ <a href="#M000047">coarbitrary</a>&nbsp;&nbsp;
100
+ <a href="#M000045">set_pattern</a>&nbsp;&nbsp;
101
101
  </div>
102
102
  </div>
103
103
 
@@ -126,12 +126,12 @@ of Hash.
126
126
  <div id="methods">
127
127
  <h3 class="section-bar">Public Class methods</h3>
128
128
 
129
- <div id="method-M000045" class="method-detail">
130
- <a name="M000045"></a>
129
+ <div id="method-M000046" class="method-detail">
130
+ <a name="M000046"></a>
131
131
 
132
132
  <div class="method-heading">
133
- <a href="RandomHash.src/M000045.html" target="Code" class="method-signature"
134
- onclick="popupCode('RandomHash.src/M000045.html');return false;">
133
+ <a href="RandomHash.src/M000046.html" target="Code" class="method-signature"
134
+ onclick="popupCode('RandomHash.src/M000046.html');return false;">
135
135
  <span class="method-name">arbitrary</span><span class="method-args">()</span>
136
136
  </a>
137
137
  </div>
@@ -140,19 +140,19 @@ of Hash.
140
140
  </div>
141
141
  </div>
142
142
 
143
- <div id="method-M000044" class="method-detail">
144
- <a name="M000044"></a>
143
+ <div id="method-M000045" class="method-detail">
144
+ <a name="M000045"></a>
145
145
 
146
146
  <div class="method-heading">
147
- <a href="RandomHash.src/M000044.html" target="Code" class="method-signature"
148
- onclick="popupCode('RandomHash.src/M000044.html');return false;">
147
+ <a href="RandomHash.src/M000045.html" target="Code" class="method-signature"
148
+ onclick="popupCode('RandomHash.src/M000045.html');return false;">
149
149
  <span class="method-name">set_pattern</span><span class="method-args">(pat)</span>
150
150
  </a>
151
151
  </div>
152
152
 
153
153
  <div class="method-description">
154
154
  <p>
155
- class method <a href="RandomHash.html#M000044">set_pattern</a> takes a hash
155
+ class method <a href="RandomHash.html#M000045">set_pattern</a> takes a hash
156
156
  object of random pattern. For example, the following pattern
157
157
  </p>
158
158
  <pre>
@@ -168,12 +168,12 @@ as its values.
168
168
 
169
169
  <h3 class="section-bar">Public Instance methods</h3>
170
170
 
171
- <div id="method-M000046" class="method-detail">
172
- <a name="M000046"></a>
171
+ <div id="method-M000047" class="method-detail">
172
+ <a name="M000047"></a>
173
173
 
174
174
  <div class="method-heading">
175
- <a href="RandomHash.src/M000046.html" target="Code" class="method-signature"
176
- onclick="popupCode('RandomHash.src/M000046.html');return false;">
175
+ <a href="RandomHash.src/M000047.html" target="Code" class="method-signature"
176
+ onclick="popupCode('RandomHash.src/M000047.html');return false;">
177
177
  <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
178
178
  </a>
179
179
  </div>
@@ -5,22 +5,14 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>arbitrary (RandomHash)</title>
8
+ <title>set_pattern (RandomHash)</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/hash.rb, line 25</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">arbitrary</span>
15
- <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span>
16
- <span class="ruby-identifier">h</span> = {}
17
- <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
18
- <span class="ruby-ivar">@@pat</span>.<span class="ruby-identifier">keys</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">k</span><span class="ruby-operator">|</span>
19
- <span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
20
- <span class="ruby-identifier">h</span>[<span class="ruby-identifier">k</span>] = <span class="ruby-ivar">@@pat</span>[<span class="ruby-identifier">k</span>].<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
21
- <span class="ruby-keyword kw">end</span>
22
- <span class="ruby-identifier">h</span>
23
- <span class="ruby-keyword kw">end</span>
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/hash.rb, line 21</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">set_pattern</span>(<span class="ruby-identifier">pat</span>)
15
+ <span class="ruby-ivar">@@pat</span> = <span class="ruby-identifier">pat</span>
24
16
  <span class="ruby-keyword kw">end</span></pre>
25
17
  </body>
26
18
  </html>
@@ -5,18 +5,22 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>coarbitrary (RandomHash)</title>
8
+ <title>arbitrary (RandomHash)</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/hash.rb, line 37</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
15
- <span class="ruby-identifier">r</span> = <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</span>)
16
- <span class="ruby-identifier">values</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
17
- <span class="ruby-identifier">r</span> = <span class="ruby-identifier">c</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">r</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">1</span>))
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/hash.rb, line 25</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">arbitrary</span>
15
+ <span class="ruby-constant">Gen</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">r</span><span class="ruby-operator">|</span>
16
+ <span class="ruby-identifier">h</span> = {}
17
+ <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
18
+ <span class="ruby-ivar">@@pat</span>.<span class="ruby-identifier">keys</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">k</span><span class="ruby-operator">|</span>
19
+ <span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
20
+ <span class="ruby-identifier">h</span>[<span class="ruby-identifier">k</span>] = <span class="ruby-ivar">@@pat</span>[<span class="ruby-identifier">k</span>].<span class="ruby-identifier">arbitrary</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
21
+ <span class="ruby-keyword kw">end</span>
22
+ <span class="ruby-identifier">h</span>
18
23
  <span class="ruby-keyword kw">end</span>
19
- <span class="ruby-identifier">r</span>
20
24
  <span class="ruby-keyword kw">end</span></pre>
21
25
  </body>
22
26
  </html>
@@ -0,0 +1,22 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>coarbitrary (RandomHash)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/hash.rb, line 37</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
15
+ <span class="ruby-identifier">r</span> = <span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">0</span>)
16
+ <span class="ruby-identifier">values</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
17
+ <span class="ruby-identifier">r</span> = <span class="ruby-identifier">c</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">r</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-value">1</span>))
18
+ <span class="ruby-keyword kw">end</span>
19
+ <span class="ruby-identifier">r</span>
20
+ <span class="ruby-keyword kw">end</span></pre>
21
+ </body>
22
+ </html>