rushcheck 0.3 → 0.4
Sign up to get free protection for your applications and to get access to all the features.
- data/Rakefile +1 -1
- data/data/rushcheck/doc/policy.txt +107 -0
- data/data/rushcheck/doc/rushcheck.thtml +832 -0
- data/data/rushcheck/examples/candy.rb +6 -8
- data/data/rushcheck/examples/printf.rb +3 -3
- data/data/rushcheck/examples/proc.rb +4 -4
- data/data/rushcheck/examples/roguetile.rb +16 -16
- data/data/rushcheck/examples/sample.rb +10 -10
- data/data/rushcheck/rdoc/classes/Arbitrary.html +5 -5
- data/data/rushcheck/rdoc/classes/Arbitrary.src/M000082.html +18 -0
- data/data/rushcheck/rdoc/classes/Assertion.html +11 -11
- data/data/rushcheck/rdoc/classes/Assertion.src/M000019.html +20 -0
- data/data/rushcheck/rdoc/classes/Assertion.src/M000020.html +50 -0
- data/data/rushcheck/rdoc/classes/Coarbitrary.html +5 -5
- data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000105.html +18 -0
- data/data/rushcheck/rdoc/classes/FalseClass.html +15 -15
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000022.html +18 -0
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000023.html +18 -0
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000024.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.html +20 -20
- data/data/rushcheck/rdoc/classes/Float.src/M000052.html +21 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000053.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000054.html +22 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000055.html +20 -0
- data/data/rushcheck/rdoc/classes/Gen.html +102 -102
- data/data/rushcheck/rdoc/classes/Gen.src/M000030.html +4 -10
- data/data/rushcheck/rdoc/classes/Gen.src/M000031.html +29 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000032.html +6 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000033.html +14 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000034.html +10 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000035.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000036.html +4 -10
- data/data/rushcheck/rdoc/classes/Gen.src/M000037.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000038.html +4 -7
- data/data/rushcheck/rdoc/classes/Gen.src/M000039.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000040.html +10 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000041.html +4 -9
- data/data/rushcheck/rdoc/classes/Gen.src/M000042.html +7 -5
- data/data/rushcheck/rdoc/classes/Gen.src/M000043.html +4 -4
- data/data/rushcheck/rdoc/classes/Gen.src/M000044.html +4 -10
- data/data/rushcheck/rdoc/classes/Gen.src/M000045.html +23 -0
- data/data/rushcheck/rdoc/classes/Gen.src/M000046.html +19 -0
- data/data/rushcheck/rdoc/classes/Gen.src/M000047.html +18 -0
- data/data/rushcheck/rdoc/classes/Gen.src/M000048.html +24 -0
- data/data/rushcheck/rdoc/classes/Guard.html +10 -10
- data/data/rushcheck/rdoc/classes/Guard.src/M000028.html +27 -0
- data/data/rushcheck/rdoc/classes/Guard.src/M000029.html +18 -0
- data/data/rushcheck/rdoc/classes/HsRandom.html +20 -20
- data/data/rushcheck/rdoc/classes/HsRandom.src/M000088.html +22 -0
- data/data/rushcheck/rdoc/classes/HsRandom.src/M000089.html +32 -0
- data/data/rushcheck/rdoc/classes/HsRandom.src/M000090.html +18 -0
- data/data/rushcheck/rdoc/classes/Integer.html +20 -20
- data/data/rushcheck/rdoc/classes/Integer.src/M000010.html +18 -0
- data/data/rushcheck/rdoc/classes/Integer.src/M000011.html +18 -0
- data/data/rushcheck/rdoc/classes/Integer.src/M000012.html +21 -0
- data/data/rushcheck/rdoc/classes/Integer.src/M000013.html +19 -0
- data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
- data/data/rushcheck/rdoc/classes/NilClass.src/M000064.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.src/M000065.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.src/M000066.html +18 -0
- data/data/rushcheck/rdoc/classes/Property.html +10 -10
- data/data/rushcheck/rdoc/classes/Property.src/M000077.html +26 -0
- data/data/rushcheck/rdoc/classes/Property.src/M000078.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomArray.html +15 -15
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000025.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000026.html +35 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000027.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomBool.html +10 -10
- data/data/rushcheck/rdoc/classes/RandomBool.src/M000086.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomBool.src/M000087.html +19 -0
- data/data/rushcheck/rdoc/classes/RandomGen.html +20 -20
- data/data/rushcheck/rdoc/classes/RandomGen.src/M000083.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomGen.src/M000084.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomGen.src/M000085.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000049.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000050.html +26 -0
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000051.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000060.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000061.html +30 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000062.html +26 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000063.html +20 -0
- data/data/rushcheck/rdoc/classes/Result.html +19 -19
- data/data/rushcheck/rdoc/classes/Result.src/M000056.html +18 -0
- data/data/rushcheck/rdoc/classes/Result.src/M000057.html +18 -0
- data/data/rushcheck/rdoc/classes/Result.src/M000058.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheckConfig.html +41 -11
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000001.html +1 -1
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000002.html +1 -1
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000003.html +8 -4
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html +4 -24
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html +22 -39
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000006.html +55 -0
- data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000007.html +50 -0
- data/data/rushcheck/rdoc/classes/SpecialString.html +5 -5
- data/data/rushcheck/rdoc/classes/SpecialString.src/M000021.html +37 -0
- data/data/rushcheck/rdoc/classes/StdGen.html +27 -27
- data/data/rushcheck/rdoc/classes/StdGen.src/M000014.html +9 -4
- data/data/rushcheck/rdoc/classes/StdGen.src/M000015.html +21 -0
- data/data/rushcheck/rdoc/classes/StdGen.src/M000016.html +21 -0
- data/data/rushcheck/rdoc/classes/StdGen.src/M000017.html +18 -0
- data/data/rushcheck/rdoc/classes/StdGen.src/M000018.html +18 -0
- data/data/rushcheck/rdoc/classes/String.html +20 -20
- data/data/rushcheck/rdoc/classes/String.src/M000073.html +24 -0
- data/data/rushcheck/rdoc/classes/String.src/M000074.html +18 -0
- data/data/rushcheck/rdoc/classes/String.src/M000075.html +25 -0
- data/data/rushcheck/rdoc/classes/String.src/M000076.html +22 -0
- data/data/rushcheck/rdoc/classes/TestExausted.html +113 -0
- data/data/rushcheck/rdoc/classes/TestFailed.html +155 -0
- data/data/rushcheck/rdoc/classes/TestFailed.src/M000067.html +18 -0
- data/data/rushcheck/rdoc/classes/TestOk.html +113 -0
- data/data/rushcheck/rdoc/classes/TestOptions.html +180 -0
- data/data/rushcheck/rdoc/classes/TestOptions.src/M000008.html +18 -0
- data/data/rushcheck/rdoc/classes/TestOptions.src/M000009.html +18 -0
- data/data/rushcheck/rdoc/classes/TestResult.html +164 -0
- data/data/rushcheck/rdoc/classes/TestResult.src/M000068.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.html +96 -51
- data/data/rushcheck/rdoc/classes/Testable.src/M000091.html +4 -4
- data/data/rushcheck/rdoc/classes/Testable.src/M000092.html +4 -4
- data/data/rushcheck/rdoc/classes/Testable.src/M000095.html +4 -4
- data/data/rushcheck/rdoc/classes/Testable.src/M000096.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000097.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000099.html +19 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000100.html +21 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000101.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000103.html +18 -0
- data/data/rushcheck/rdoc/classes/Testable.src/M000104.html +18 -0
- data/data/rushcheck/rdoc/classes/TheStdGen.html +20 -20
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000069.html +18 -0
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000070.html +20 -0
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000071.html +21 -0
- data/data/rushcheck/rdoc/classes/TheStdGen.src/M000072.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000079.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000080.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000081.html +18 -0
- data/data/rushcheck/rdoc/created.rid +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +8 -1
- data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +3 -1
- data/data/rushcheck/rdoc/files/rushcheck/testoptions_rb.html +109 -0
- data/data/rushcheck/rdoc/files/rushcheck/testresult_rb.html +105 -0
- data/data/rushcheck/rdoc/files/rushcheck_rb.html +127 -0
- data/data/rushcheck/rdoc/fr_class_index.html +5 -0
- data/data/rushcheck/rdoc/fr_file_index.html +3 -1
- data/data/rushcheck/rdoc/fr_method_index.html +103 -94
- data/lib/rushcheck/arbitrary.rb +16 -12
- data/lib/rushcheck/array.rb +7 -6
- data/lib/rushcheck/assertion.rb +53 -50
- data/lib/rushcheck/bool.rb +26 -24
- data/lib/rushcheck/config.rb +131 -81
- data/lib/rushcheck/float.rb +4 -4
- data/lib/rushcheck/gen.rb +194 -182
- data/lib/rushcheck/guard.rb +9 -10
- data/lib/rushcheck/hash.rb +4 -3
- data/lib/rushcheck/integer.rb +11 -6
- data/lib/rushcheck/proc.rb +7 -7
- data/lib/rushcheck/property.rb +19 -15
- data/lib/rushcheck/random.rb +162 -159
- data/lib/rushcheck/result.rb +16 -12
- data/lib/rushcheck/string.rb +12 -12
- data/lib/rushcheck/testable.rb +99 -25
- data/lib/rushcheck/testoptions.rb +20 -0
- data/lib/rushcheck/testresult.rb +25 -0
- data/lib/{rushcheck/rushcheck.rb → rushcheck.rb} +2 -1
- metadata +93 -4
- data/data/rushcheck/doc/rushcheck.txt +0 -670
@@ -86,10 +86,10 @@
|
|
86
86
|
<h3 class="section-bar">Methods</h3>
|
87
87
|
|
88
88
|
<div class="name-list">
|
89
|
-
<a href="#
|
90
|
-
<a href="#
|
91
|
-
<a href="#
|
92
|
-
<a href="#
|
89
|
+
<a href="#M000052">arbitrary</a>
|
90
|
+
<a href="#M000053">bound</a>
|
91
|
+
<a href="#M000055">coarbitrary</a>
|
92
|
+
<a href="#M000054">random_range</a>
|
93
93
|
</div>
|
94
94
|
</div>
|
95
95
|
|
@@ -118,12 +118,12 @@
|
|
118
118
|
<div id="methods">
|
119
119
|
<h3 class="section-bar">Public Class methods</h3>
|
120
120
|
|
121
|
-
<div id="method-
|
122
|
-
<a name="
|
121
|
+
<div id="method-M000052" class="method-detail">
|
122
|
+
<a name="M000052"></a>
|
123
123
|
|
124
124
|
<div class="method-heading">
|
125
|
-
<a href="Float.src/
|
126
|
-
onclick="popupCode('Float.src/
|
125
|
+
<a href="Float.src/M000052.html" target="Code" class="method-signature"
|
126
|
+
onclick="popupCode('Float.src/M000052.html');return false;">
|
127
127
|
<span class="method-name">arbitrary</span><span class="method-args">()</span>
|
128
128
|
</a>
|
129
129
|
</div>
|
@@ -132,12 +132,12 @@
|
|
132
132
|
</div>
|
133
133
|
</div>
|
134
134
|
|
135
|
-
<div id="method-
|
136
|
-
<a name="
|
135
|
+
<div id="method-M000053" class="method-detail">
|
136
|
+
<a name="M000053"></a>
|
137
137
|
|
138
138
|
<div class="method-heading">
|
139
|
-
<a href="Float.src/
|
140
|
-
onclick="popupCode('Float.src/
|
139
|
+
<a href="Float.src/M000053.html" target="Code" class="method-signature"
|
140
|
+
onclick="popupCode('Float.src/M000053.html');return false;">
|
141
141
|
<span class="method-name">bound</span><span class="method-args">()</span>
|
142
142
|
</a>
|
143
143
|
</div>
|
@@ -146,12 +146,12 @@
|
|
146
146
|
</div>
|
147
147
|
</div>
|
148
148
|
|
149
|
-
<div id="method-
|
150
|
-
<a name="
|
149
|
+
<div id="method-M000054" class="method-detail">
|
150
|
+
<a name="M000054"></a>
|
151
151
|
|
152
152
|
<div class="method-heading">
|
153
|
-
<a href="Float.src/
|
154
|
-
onclick="popupCode('Float.src/
|
153
|
+
<a href="Float.src/M000054.html" target="Code" class="method-signature"
|
154
|
+
onclick="popupCode('Float.src/M000054.html');return false;">
|
155
155
|
<span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_bound, hi=@@max_bound)</span>
|
156
156
|
</a>
|
157
157
|
</div>
|
@@ -162,12 +162,12 @@
|
|
162
162
|
|
163
163
|
<h3 class="section-bar">Public Instance methods</h3>
|
164
164
|
|
165
|
-
<div id="method-
|
166
|
-
<a name="
|
165
|
+
<div id="method-M000055" class="method-detail">
|
166
|
+
<a name="M000055"></a>
|
167
167
|
|
168
168
|
<div class="method-heading">
|
169
|
-
<a href="Float.src/
|
170
|
-
onclick="popupCode('Float.src/
|
169
|
+
<a href="Float.src/M000055.html" target="Code" class="method-signature"
|
170
|
+
onclick="popupCode('Float.src/M000055.html');return false;">
|
171
171
|
<span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
|
172
172
|
</a>
|
173
173
|
</div>
|
@@ -0,0 +1,21 @@
|
|
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>arbitrary (Float)</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/float.rb, line 18</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">a</span>, <span class="ruby-identifier">b</span>, <span class="ruby-identifier">c</span> = (<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-value">3</span>).<span class="ruby-identifier">map</span> { <span class="ruby-constant">Integer</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>) }
|
17
|
+
<span class="ruby-identifier">a</span> <span class="ruby-operator">+</span> (<span class="ruby-identifier">b</span> <span class="ruby-operator">/</span> (<span class="ruby-identifier">c</span>.<span class="ruby-identifier">abs</span> <span class="ruby-operator">+</span> <span class="ruby-value">1</span>))
|
18
|
+
<span class="ruby-keyword kw">end</span>
|
19
|
+
<span class="ruby-keyword kw">end</span></pre>
|
20
|
+
</body>
|
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>bound (Float)</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/float.rb, line 25</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">bound</span>
|
15
|
+
[<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-ivar">@@max_bound</span>]
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
17
|
+
</body>
|
18
|
+
</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>random_range (Float)</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/float.rb, line 29</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">random_range</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">lo</span>=<span class="ruby-ivar">@@min_bound</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-ivar">@@max_bound</span>)
|
15
|
+
<span class="ruby-identifier">x</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">gen</span>)
|
16
|
+
<span class="ruby-identifier">a</span>, <span class="ruby-identifier">b</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">bound</span>
|
17
|
+
<span class="ruby-identifier">r</span> = (<span class="ruby-identifier">lo</span><span class="ruby-operator">+</span><span class="ruby-identifier">hi</span><span class="ruby-operator">/</span><span class="ruby-value">2</span>).<span class="ruby-identifier">to_f</span> <span class="ruby-operator">+</span> ((<span class="ruby-identifier">hi</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">lo</span>).<span class="ruby-identifier">to_f</span> <span class="ruby-operator">/</span> (<span class="ruby-identifier">b</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">a</span>) <span class="ruby-operator">*</span> <span class="ruby-identifier">x</span>)
|
18
|
+
|
19
|
+
[<span class="ruby-identifier">r</span>, <span class="ruby-identifier">g</span>]
|
20
|
+
<span class="ruby-keyword kw">end</span></pre>
|
21
|
+
</body>
|
22
|
+
</html>
|
@@ -0,0 +1,20 @@
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
2
|
+
<!DOCTYPE html
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
5
|
+
|
6
|
+
<html>
|
7
|
+
<head>
|
8
|
+
<title>coarbitrary (Float)</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/float.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">h</span> = <span class="ruby-identifier">truncate</span>
|
16
|
+
<span class="ruby-identifier">t</span> = (<span class="ruby-keyword kw">self</span> <span class="ruby-operator">*</span> (<span class="ruby-value">10</span> <span class="ruby-operator">**</span> ((<span class="ruby-keyword kw">self</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">h</span>).<span class="ruby-identifier">to_s</span>.<span class="ruby-identifier">length</span> <span class="ruby-operator">-</span> <span class="ruby-value">2</span>))).<span class="ruby-identifier">truncate</span>
|
17
|
+
<span class="ruby-identifier">h</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">t</span>.<span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>))
|
18
|
+
<span class="ruby-keyword kw">end</span></pre>
|
19
|
+
</body>
|
20
|
+
</html>
|
@@ -93,25 +93,25 @@ instances.
|
|
93
93
|
<h3 class="section-bar">Methods</h3>
|
94
94
|
|
95
95
|
<div class="name-list">
|
96
|
-
<a href="#
|
97
|
-
<a href="#
|
98
|
-
<a href="#
|
99
|
-
<a href="#
|
100
|
-
<a href="#
|
101
|
-
<a href="#
|
102
|
-
<a href="#
|
103
|
-
<a href="#
|
104
|
-
<a href="#
|
105
|
-
<a href="#
|
106
|
-
<a href="#
|
107
|
-
<a href="#
|
108
|
-
<a href="#
|
109
|
-
<a href="#
|
110
|
-
<a href="#
|
111
|
-
<a href="#
|
112
|
-
<a href="#
|
113
|
-
<a href="#
|
114
|
-
<a href="#
|
96
|
+
<a href="#M000042">bind</a>
|
97
|
+
<a href="#M000030">choose</a>
|
98
|
+
<a href="#M000031">create</a>
|
99
|
+
<a href="#M000032">elements</a>
|
100
|
+
<a href="#M000044">fmap</a>
|
101
|
+
<a href="#M000045">forall</a>
|
102
|
+
<a href="#M000033">frequency</a>
|
103
|
+
<a href="#M000046">generate</a>
|
104
|
+
<a href="#M000034">lift_array</a>
|
105
|
+
<a href="#M000041">new</a>
|
106
|
+
<a href="#M000035">oneof</a>
|
107
|
+
<a href="#M000036">promote</a>
|
108
|
+
<a href="#M000037">rand</a>
|
109
|
+
<a href="#M000047">resize</a>
|
110
|
+
<a href="#M000038">sized</a>
|
111
|
+
<a href="#M000039">unit</a>
|
112
|
+
<a href="#M000043">value</a>
|
113
|
+
<a href="#M000048">variant</a>
|
114
|
+
<a href="#M000040">vector</a>
|
115
115
|
</div>
|
116
116
|
</div>
|
117
117
|
|
@@ -133,12 +133,12 @@ instances.
|
|
133
133
|
<div id="methods">
|
134
134
|
<h3 class="section-bar">Public Class methods</h3>
|
135
135
|
|
136
|
-
<div id="method-
|
137
|
-
<a name="
|
136
|
+
<div id="method-M000030" class="method-detail">
|
137
|
+
<a name="M000030"></a>
|
138
138
|
|
139
139
|
<div class="method-heading">
|
140
|
-
<a href="Gen.src/
|
141
|
-
onclick="popupCode('Gen.src/
|
140
|
+
<a href="Gen.src/M000030.html" target="Code" class="method-signature"
|
141
|
+
onclick="popupCode('Gen.src/M000030.html');return false;">
|
142
142
|
<span class="method-name">choose</span><span class="method-args">(lo=nil, hi=nil)</span>
|
143
143
|
</a>
|
144
144
|
</div>
|
@@ -153,12 +153,12 @@ implement arbitrary method into your class.
|
|
153
153
|
</div>
|
154
154
|
</div>
|
155
155
|
|
156
|
-
<div id="method-
|
157
|
-
<a name="
|
156
|
+
<div id="method-M000031" class="method-detail">
|
157
|
+
<a name="M000031"></a>
|
158
158
|
|
159
159
|
<div class="method-heading">
|
160
|
-
<a href="Gen.src/
|
161
|
-
onclick="popupCode('Gen.src/
|
160
|
+
<a href="Gen.src/M000031.html" target="Code" class="method-signature"
|
161
|
+
onclick="popupCode('Gen.src/M000031.html');return false;">
|
162
162
|
<span class="method-name">create</span><span class="method-args">(xs, &f)</span>
|
163
163
|
</a>
|
164
164
|
</div>
|
@@ -174,12 +174,12 @@ implement arbitrary method into your class.
|
|
174
174
|
</div>
|
175
175
|
</div>
|
176
176
|
|
177
|
-
<div id="method-
|
178
|
-
<a name="
|
177
|
+
<div id="method-M000032" class="method-detail">
|
178
|
+
<a name="M000032"></a>
|
179
179
|
|
180
180
|
<div class="method-heading">
|
181
|
-
<a href="Gen.src/
|
182
|
-
onclick="popupCode('Gen.src/
|
181
|
+
<a href="Gen.src/M000032.html" target="Code" class="method-signature"
|
182
|
+
onclick="popupCode('Gen.src/M000032.html');return false;">
|
183
183
|
<span class="method-name">elements</span><span class="method-args">(xs)</span>
|
184
184
|
</a>
|
185
185
|
</div>
|
@@ -194,12 +194,12 @@ randomly. It may useful to implement arbitrary method into your class.
|
|
194
194
|
</div>
|
195
195
|
</div>
|
196
196
|
|
197
|
-
<div id="method-
|
198
|
-
<a name="
|
197
|
+
<div id="method-M000033" class="method-detail">
|
198
|
+
<a name="M000033"></a>
|
199
199
|
|
200
200
|
<div class="method-heading">
|
201
|
-
<a href="Gen.src/
|
202
|
-
onclick="popupCode('Gen.src/
|
201
|
+
<a href="Gen.src/M000033.html" target="Code" class="method-signature"
|
202
|
+
onclick="popupCode('Gen.src/M000033.html');return false;">
|
203
203
|
<span class="method-name">frequency</span><span class="method-args">(xs)</span>
|
204
204
|
</a>
|
205
205
|
</div>
|
@@ -212,44 +212,44 @@ returns a <a href="Gen.html">Gen</a> object. The first component of pair
|
|
212
212
|
should be a positive <a href="Integer.html">Integer</a> and the second one
|
213
213
|
should be a <a href="Gen.html">Gen</a> object. The integer acts as a weight
|
214
214
|
for choosing random <a href="Gen.html">Gen</a> object in the array. For
|
215
|
-
example, frequency([[1, <a href="Gen.html#
|
216
|
-
href="Integer.html#
|
217
|
-
generator <a href="Gen.html#
|
215
|
+
example, frequency([[1, <a href="Gen.html#M000037">Gen.rand</a>], [2, <a
|
216
|
+
href="Integer.html#M000011">Integer.arbitrary</a>]]) returns the random
|
217
|
+
generator <a href="Gen.html#M000037">Gen.rand</a> in 33%, while another
|
218
218
|
random generator of <a href="Integer.html">Integer</a> (<a
|
219
|
-
href="Integer.html#
|
219
|
+
href="Integer.html#M000011">Integer.arbitrary</a>) in 67%.
|
220
220
|
</p>
|
221
221
|
</div>
|
222
222
|
</div>
|
223
223
|
|
224
|
-
<div id="method-
|
225
|
-
<a name="
|
224
|
+
<div id="method-M000034" class="method-detail">
|
225
|
+
<a name="M000034"></a>
|
226
226
|
|
227
227
|
<div class="method-heading">
|
228
|
-
<a href="Gen.src/
|
229
|
-
onclick="popupCode('Gen.src/
|
228
|
+
<a href="Gen.src/M000034.html" target="Code" class="method-signature"
|
229
|
+
onclick="popupCode('Gen.src/M000034.html');return false;">
|
230
230
|
<span class="method-name">lift_array</span><span class="method-args">(xs) {|.value(n, r1)| ...}</span>
|
231
231
|
</a>
|
232
232
|
</div>
|
233
233
|
|
234
234
|
<div class="method-description">
|
235
235
|
<p>
|
236
|
-
<a href="Gen.html#
|
236
|
+
<a href="Gen.html#M000034">lift_array</a> is one of primitive generators to
|
237
237
|
create a randam <a href="Gen.html">Gen</a> object. <a
|
238
|
-
href="Gen.html#
|
238
|
+
href="Gen.html#M000034">lift_array</a> takes an array and a block which has
|
239
239
|
a variable. The block should return a <a href="Gen.html">Gen</a> object. <a
|
240
|
-
href="Gen.html#
|
240
|
+
href="Gen.html#M000034">lift_array</a> returns a <a href="Gen.html">Gen</a>
|
241
241
|
object which generates an array of the result of given block for applying
|
242
242
|
each member of given array.
|
243
243
|
</p>
|
244
244
|
</div>
|
245
245
|
</div>
|
246
246
|
|
247
|
-
<div id="method-
|
248
|
-
<a name="
|
247
|
+
<div id="method-M000041" class="method-detail">
|
248
|
+
<a name="M000041"></a>
|
249
249
|
|
250
250
|
<div class="method-heading">
|
251
|
-
<a href="Gen.src/
|
252
|
-
onclick="popupCode('Gen.src/
|
251
|
+
<a href="Gen.src/M000041.html" target="Code" class="method-signature"
|
252
|
+
onclick="popupCode('Gen.src/M000041.html');return false;">
|
253
253
|
<span class="method-name">new</span><span class="method-args">(&f)</span>
|
254
254
|
</a>
|
255
255
|
</div>
|
@@ -264,12 +264,12 @@ href="RandomGen.html">RandomGen</a>.
|
|
264
264
|
</div>
|
265
265
|
</div>
|
266
266
|
|
267
|
-
<div id="method-
|
268
|
-
<a name="
|
267
|
+
<div id="method-M000035" class="method-detail">
|
268
|
+
<a name="M000035"></a>
|
269
269
|
|
270
270
|
<div class="method-heading">
|
271
|
-
<a href="Gen.src/
|
272
|
-
onclick="popupCode('Gen.src/
|
271
|
+
<a href="Gen.src/M000035.html" target="Code" class="method-signature"
|
272
|
+
onclick="popupCode('Gen.src/M000035.html');return false;">
|
273
273
|
<span class="method-name">oneof</span><span class="method-args">(gens)</span>
|
274
274
|
</a>
|
275
275
|
</div>
|
@@ -285,12 +285,12 @@ randomly. It may useful to implement arbitrary method into your class.
|
|
285
285
|
</div>
|
286
286
|
</div>
|
287
287
|
|
288
|
-
<div id="method-
|
289
|
-
<a name="
|
288
|
+
<div id="method-M000036" class="method-detail">
|
289
|
+
<a name="M000036"></a>
|
290
290
|
|
291
291
|
<div class="method-heading">
|
292
|
-
<a href="Gen.src/
|
293
|
-
onclick="popupCode('Gen.src/
|
292
|
+
<a href="Gen.src/M000036.html" target="Code" class="method-signature"
|
293
|
+
onclick="popupCode('Gen.src/M000036.html');return false;">
|
294
294
|
<span class="method-name">promote</span><span class="method-args">() {|a| ...}</span>
|
295
295
|
</a>
|
296
296
|
</div>
|
@@ -307,12 +307,12 @@ coarbitrary method into your class.
|
|
307
307
|
</div>
|
308
308
|
</div>
|
309
309
|
|
310
|
-
<div id="method-
|
311
|
-
<a name="
|
310
|
+
<div id="method-M000037" class="method-detail">
|
311
|
+
<a name="M000037"></a>
|
312
312
|
|
313
313
|
<div class="method-heading">
|
314
|
-
<a href="Gen.src/
|
315
|
-
onclick="popupCode('Gen.src/
|
314
|
+
<a href="Gen.src/M000037.html" target="Code" class="method-signature"
|
315
|
+
onclick="popupCode('Gen.src/M000037.html');return false;">
|
316
316
|
<span class="method-name">rand</span><span class="method-args">()</span>
|
317
317
|
</a>
|
318
318
|
</div>
|
@@ -325,12 +325,12 @@ number generator.
|
|
325
325
|
</div>
|
326
326
|
</div>
|
327
327
|
|
328
|
-
<div id="method-
|
329
|
-
<a name="
|
328
|
+
<div id="method-M000038" class="method-detail">
|
329
|
+
<a name="M000038"></a>
|
330
330
|
|
331
331
|
<div class="method-heading">
|
332
|
-
<a href="Gen.src/
|
333
|
-
onclick="popupCode('Gen.src/
|
332
|
+
<a href="Gen.src/M000038.html" target="Code" class="method-signature"
|
333
|
+
onclick="popupCode('Gen.src/M000038.html');return false;">
|
334
334
|
<span class="method-name">sized</span><span class="method-args">() {|n| ...}</span>
|
335
335
|
</a>
|
336
336
|
</div>
|
@@ -344,12 +344,12 @@ The block should be a function which changes the size of random instances.
|
|
344
344
|
</div>
|
345
345
|
</div>
|
346
346
|
|
347
|
-
<div id="method-
|
348
|
-
<a name="
|
347
|
+
<div id="method-M000039" class="method-detail">
|
348
|
+
<a name="M000039"></a>
|
349
349
|
|
350
350
|
<div class="method-heading">
|
351
|
-
<a href="Gen.src/
|
352
|
-
onclick="popupCode('Gen.src/
|
351
|
+
<a href="Gen.src/M000039.html" target="Code" class="method-signature"
|
352
|
+
onclick="popupCode('Gen.src/M000039.html');return false;">
|
353
353
|
<span class="method-name">unit</span><span class="method-args">(x)</span>
|
354
354
|
</a>
|
355
355
|
</div>
|
@@ -363,12 +363,12 @@ href="Gen.html">Gen</a> object which generates the given object.
|
|
363
363
|
</div>
|
364
364
|
</div>
|
365
365
|
|
366
|
-
<div id="method-
|
367
|
-
<a name="
|
366
|
+
<div id="method-M000040" class="method-detail">
|
367
|
+
<a name="M000040"></a>
|
368
368
|
|
369
369
|
<div class="method-heading">
|
370
|
-
<a href="Gen.src/
|
371
|
-
onclick="popupCode('Gen.src/
|
370
|
+
<a href="Gen.src/M000040.html" target="Code" class="method-signature"
|
371
|
+
onclick="popupCode('Gen.src/M000040.html');return false;">
|
372
372
|
<span class="method-name">vector</span><span class="method-args">(c, len)</span>
|
373
373
|
</a>
|
374
374
|
</div>
|
@@ -386,12 +386,12 @@ belongs the given class and given length.
|
|
386
386
|
|
387
387
|
<h3 class="section-bar">Public Instance methods</h3>
|
388
388
|
|
389
|
-
<div id="method-
|
390
|
-
<a name="
|
389
|
+
<div id="method-M000042" class="method-detail">
|
390
|
+
<a name="M000042"></a>
|
391
391
|
|
392
392
|
<div class="method-heading">
|
393
|
-
<a href="Gen.src/
|
394
|
-
onclick="popupCode('Gen.src/
|
393
|
+
<a href="Gen.src/M000042.html" target="Code" class="method-signature"
|
394
|
+
onclick="popupCode('Gen.src/M000042.html');return false;">
|
395
395
|
<span class="method-name">bind</span><span class="method-args">() {|value(n, r1)| ...}</span>
|
396
396
|
</a>
|
397
397
|
</div>
|
@@ -406,12 +406,12 @@ href="RandomGen.html">RandomGen</a>.
|
|
406
406
|
</div>
|
407
407
|
</div>
|
408
408
|
|
409
|
-
<div id="method-
|
410
|
-
<a name="
|
409
|
+
<div id="method-M000044" class="method-detail">
|
410
|
+
<a name="M000044"></a>
|
411
411
|
|
412
412
|
<div class="method-heading">
|
413
|
-
<a href="Gen.src/
|
414
|
-
onclick="popupCode('Gen.src/
|
413
|
+
<a href="Gen.src/M000044.html" target="Code" class="method-signature"
|
414
|
+
onclick="popupCode('Gen.src/M000044.html');return false;">
|
415
415
|
<span class="method-name">fmap</span><span class="method-args">() {|x| ...}</span>
|
416
416
|
</a>
|
417
417
|
</div>
|
@@ -424,12 +424,12 @@ which takes one variable.
|
|
424
424
|
</div>
|
425
425
|
</div>
|
426
426
|
|
427
|
-
<div id="method-
|
428
|
-
<a name="
|
427
|
+
<div id="method-M000045" class="method-detail">
|
428
|
+
<a name="M000045"></a>
|
429
429
|
|
430
430
|
<div class="method-heading">
|
431
|
-
<a href="Gen.src/
|
432
|
-
onclick="popupCode('Gen.src/
|
431
|
+
<a href="Gen.src/M000045.html" target="Code" class="method-signature"
|
432
|
+
onclick="popupCode('Gen.src/M000045.html');return false;">
|
433
433
|
<span class="method-name">forall</span><span class="method-args">() {|*a| ...}</span>
|
434
434
|
</a>
|
435
435
|
</div>
|
@@ -444,12 +444,12 @@ of the property.
|
|
444
444
|
</div>
|
445
445
|
</div>
|
446
446
|
|
447
|
-
<div id="method-
|
448
|
-
<a name="
|
447
|
+
<div id="method-M000046" class="method-detail">
|
448
|
+
<a name="M000046"></a>
|
449
449
|
|
450
450
|
<div class="method-heading">
|
451
|
-
<a href="Gen.src/
|
452
|
-
onclick="popupCode('Gen.src/
|
451
|
+
<a href="Gen.src/M000046.html" target="Code" class="method-signature"
|
452
|
+
onclick="popupCode('Gen.src/M000046.html');return false;">
|
453
453
|
<span class="method-name">generate</span><span class="method-args">(n, rnd)</span>
|
454
454
|
</a>
|
455
455
|
</div>
|
@@ -463,12 +463,12 @@ number generator such as <a href="StdGen.html">StdGen</a>.
|
|
463
463
|
</div>
|
464
464
|
</div>
|
465
465
|
|
466
|
-
<div id="method-
|
467
|
-
<a name="
|
466
|
+
<div id="method-M000047" class="method-detail">
|
467
|
+
<a name="M000047"></a>
|
468
468
|
|
469
469
|
<div class="method-heading">
|
470
|
-
<a href="Gen.src/
|
471
|
-
onclick="popupCode('Gen.src/
|
470
|
+
<a href="Gen.src/M000047.html" target="Code" class="method-signature"
|
471
|
+
onclick="popupCode('Gen.src/M000047.html');return false;">
|
472
472
|
<span class="method-name">resize</span><span class="method-args">(n)</span>
|
473
473
|
</a>
|
474
474
|
</div>
|
@@ -482,12 +482,12 @@ href="Integer.html">Integer</a>.
|
|
482
482
|
</div>
|
483
483
|
</div>
|
484
484
|
|
485
|
-
<div id="method-
|
486
|
-
<a name="
|
485
|
+
<div id="method-M000043" class="method-detail">
|
486
|
+
<a name="M000043"></a>
|
487
487
|
|
488
488
|
<div class="method-heading">
|
489
|
-
<a href="Gen.src/
|
490
|
-
onclick="popupCode('Gen.src/
|
489
|
+
<a href="Gen.src/M000043.html" target="Code" class="method-signature"
|
490
|
+
onclick="popupCode('Gen.src/M000043.html');return false;">
|
491
491
|
<span class="method-name">value</span><span class="method-args">(n, g)</span>
|
492
492
|
</a>
|
493
493
|
</div>
|
@@ -502,12 +502,12 @@ href="RandomGen.html">RandomGen</a>.
|
|
502
502
|
</div>
|
503
503
|
</div>
|
504
504
|
|
505
|
-
<div id="method-
|
506
|
-
<a name="
|
505
|
+
<div id="method-M000048" class="method-detail">
|
506
|
+
<a name="M000048"></a>
|
507
507
|
|
508
508
|
<div class="method-heading">
|
509
|
-
<a href="Gen.src/
|
510
|
-
onclick="popupCode('Gen.src/
|
509
|
+
<a href="Gen.src/M000048.html" target="Code" class="method-signature"
|
510
|
+
onclick="popupCode('Gen.src/M000048.html');return false;">
|
511
511
|
<span class="method-name">variant</span><span class="method-args">(v)</span>
|
512
512
|
</a>
|
513
513
|
</div>
|
@@ -5,20 +5,14 @@
|
|
5
5
|
|
6
6
|
<html>
|
7
7
|
<head>
|
8
|
-
<title>
|
8
|
+
<title>choose (Gen)</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/gen.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">r2</span> = <span class="ruby-identifier">r</span>
|
17
|
-
<span class="ruby-identifier">xs</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">c</span><span class="ruby-operator">|</span>
|
18
|
-
<span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
|
19
|
-
<span class="ruby-keyword kw">yield</span>.<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
|
20
|
-
<span class="ruby-keyword kw">end</span>
|
21
|
-
<span class="ruby-keyword kw">end</span>
|
13
|
+
<pre><span class="ruby-comment cmt"># File rushcheck/gen.rb, line 16</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">choose</span>(<span class="ruby-identifier">lo</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-keyword kw">nil</span>)
|
15
|
+
<span class="ruby-identifier">rand</span>.<span class="ruby-identifier">fmap</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> <span class="ruby-identifier">lo</span>.<span class="ruby-identifier">class</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">x</span>, <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span>)[<span class="ruby-value">0</span>] }
|
22
16
|
<span class="ruby-keyword kw">end</span></pre>
|
23
17
|
</body>
|
24
18
|
</html>
|