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.
- 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
|
@@ -5,14 +5,14 @@
|
|
|
5
5
|
|
|
6
6
|
<html>
|
|
7
7
|
<head>
|
|
8
|
-
<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
|
|
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/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="#
|
|
90
|
-
<a href="#
|
|
89
|
+
<a href="#M000071">new</a>
|
|
90
|
+
<a href="#M000072">property</a>
|
|
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-
|
|
133
|
-
<a name="
|
|
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/
|
|
137
|
-
onclick="popupCode('Property.src/
|
|
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-
|
|
149
|
-
<a name="
|
|
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/
|
|
153
|
-
onclick="popupCode('Property.src/
|
|
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>
|
|
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
|
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
|
15
|
-
<span class="ruby-keyword kw">
|
|
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">"illegal arguments"</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"><<</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"><<</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="#
|
|
84
|
-
<a href="#
|
|
83
|
+
<a href="#M000080">arbitrary</a>
|
|
84
|
+
<a href="#M000081">random_range</a>
|
|
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-
|
|
107
|
-
<a name="
|
|
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/
|
|
111
|
-
onclick="popupCode('RandomBool.src/
|
|
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-
|
|
121
|
-
<a name="
|
|
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/
|
|
125
|
-
onclick="popupCode('RandomBool.src/
|
|
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>
|
|
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
|
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
|
15
|
-
<span class="ruby-
|
|
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="#
|
|
94
|
-
<a href="#
|
|
95
|
-
<a href="#
|
|
93
|
+
<a href="#M000077">gen_next</a>
|
|
94
|
+
<a href="#M000079">gen_range</a>
|
|
95
|
+
<a href="#M000078">split</a>
|
|
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-
|
|
118
|
-
<a name="
|
|
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/
|
|
122
|
-
onclick="popupCode('RandomGen.src/
|
|
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#
|
|
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#
|
|
131
|
+
href="RandomGen.html#M000077">gen_next</a> returns an array with length 2.
|
|
132
132
|
Here, call ‘Foo’ 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-
|
|
141
|
-
<a name="
|
|
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/
|
|
145
|
-
onclick="popupCode('RandomGen.src/
|
|
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#
|
|
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 ‘Foo’ 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#
|
|
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#
|
|
159
|
+
href="RandomGen.html#M000077">gen_next</a>.
|
|
160
160
|
</p>
|
|
161
161
|
</div>
|
|
162
162
|
</div>
|
|
163
163
|
|
|
164
|
-
<div id="method-
|
|
165
|
-
<a name="
|
|
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/
|
|
169
|
-
onclick="popupCode('RandomGen.src/
|
|
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>
|
|
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
|
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
|
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>
|
|
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
|
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
|
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="#
|
|
99
|
-
<a href="#
|
|
100
|
-
<a href="#
|
|
98
|
+
<a href="#M000046">arbitrary</a>
|
|
99
|
+
<a href="#M000047">coarbitrary</a>
|
|
100
|
+
<a href="#M000045">set_pattern</a>
|
|
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-
|
|
130
|
-
<a name="
|
|
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/
|
|
134
|
-
onclick="popupCode('RandomHash.src/
|
|
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-
|
|
144
|
-
<a name="
|
|
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/
|
|
148
|
-
onclick="popupCode('RandomHash.src/
|
|
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#
|
|
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-
|
|
172
|
-
<a name="
|
|
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/
|
|
176
|
-
onclick="popupCode('RandomHash.src/
|
|
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>
|
|
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
|
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">
|
|
15
|
-
<span class="ruby-
|
|
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>
|
|
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
|
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-
|
|
15
|
-
<span class="ruby-identifier">
|
|
16
|
-
|
|
17
|
-
<span class="ruby-identifier">
|
|
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>
|