rushcheck 0.6 → 0.7
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/README +0 -18
- data/Rakefile +18 -2
- data/Rakefile.in +17 -1
- data/data/rushcheck/doc/rushcheck.thtml +4 -3
- data/data/rushcheck/examples/roguetile.rb +2 -2
- data/data/rushcheck/examples/rspec/stack_spec.rb +22 -22
- data/data/rushcheck/rdoc/classes/FalseClass.html +15 -15
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000008.html +4 -4
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000009.html +18 -0
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000010.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.html +20 -20
- data/data/rushcheck/rdoc/classes/Float.src/M000021.html +21 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000022.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000023.html +22 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000024.html +20 -0
- data/data/rushcheck/rdoc/classes/NegativeInteger.html +160 -0
- data/data/rushcheck/rdoc/classes/NegativeInteger.src/M000005.html +26 -0
- data/data/rushcheck/rdoc/classes/NegativeInteger.src/M000006.html +21 -0
- data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
- data/data/rushcheck/rdoc/classes/NilClass.src/M000029.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.src/M000030.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.src/M000031.html +18 -0
- data/data/rushcheck/rdoc/classes/NonEmptyRandomArray.html +139 -0
- data/data/rushcheck/rdoc/classes/NonEmptyRandomArray.src/M000011.html +20 -0
- data/data/rushcheck/rdoc/classes/PositiveInteger.html +160 -0
- data/data/rushcheck/rdoc/classes/PositiveInteger.src/M000032.html +26 -0
- data/data/rushcheck/rdoc/classes/PositiveInteger.src/M000033.html +21 -0
- data/data/rushcheck/rdoc/classes/RandomArray.html +75 -15
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000012.html +19 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000013.html +25 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000014.html +27 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000015.html +23 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000016.html +23 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000017.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000018.html +19 -0
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000019.html +26 -0
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000020.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000025.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000026.html +30 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000027.html +26 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000028.html +20 -0
- data/data/rushcheck/rdoc/classes/RushCheck.html +10 -10
- data/data/rushcheck/rdoc/classes/RushCheck.src/M000041.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck.src/M000042.html +27 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.html +5 -5
- data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.src/M000043.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Assertion.html +12 -12
- data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000081.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000082.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Claim.html +9 -9
- data/data/rushcheck/rdoc/classes/RushCheck/Claim.src/M000116.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.html +5 -5
- data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000066.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.html +35 -35
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000074.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000075.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000076.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000077.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000078.html +38 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000079.html +55 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000080.html +50 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.html +107 -107
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000083.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000084.html +26 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000085.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000086.html +6 -10
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000087.html +14 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000088.html +9 -6
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000089.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000090.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000091.html +4 -9
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000092.html +4 -5
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000093.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000094.html +8 -8
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000095.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000096.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000097.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000098.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000099.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000100.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000101.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000102.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.html +20 -20
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000049.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000050.html +32 -0
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000051.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Property.html +10 -10
- data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000114.html +26 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000115.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.html +10 -10
- data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000047.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000048.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.html +20 -20
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000044.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000045.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000046.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Result.html +19 -19
- data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000103.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000104.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000105.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.html +27 -27
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000069.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000070.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000071.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000072.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000073.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.html +5 -5
- data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.src/M000107.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.html +10 -10
- data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000067.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000068.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestResult.html +5 -5
- data/data/rushcheck/rdoc/classes/RushCheck/TestResult.src/M000108.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.html +66 -66
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000052.html +4 -5
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000053.html +4 -7
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000056.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000057.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000058.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000060.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000061.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000062.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000064.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000065.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.html +38 -21
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000109.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000110.html +20 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000111.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000112.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000113.html +18 -0
- data/data/rushcheck/rdoc/classes/SpecialString.html +5 -5
- data/data/rushcheck/rdoc/classes/SpecialString.src/M000007.html +37 -0
- data/data/rushcheck/rdoc/classes/String.html +20 -20
- data/data/rushcheck/rdoc/classes/String.src/M000034.html +24 -0
- data/data/rushcheck/rdoc/classes/String.src/M000035.html +18 -0
- data/data/rushcheck/rdoc/classes/String.src/M000036.html +25 -0
- data/data/rushcheck/rdoc/classes/String.src/M000037.html +22 -0
- data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000038.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000039.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000040.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/bool_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/integer_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/random_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/version_rb.html +1 -1
- data/data/rushcheck/rdoc/fr_class_index.html +3 -0
- data/data/rushcheck/rdoc/fr_method_index.html +112 -103
- data/lib/rushcheck/array.rb +58 -17
- data/lib/rushcheck/assertion.rb +1 -1
- data/lib/rushcheck/gen.rb +7 -9
- data/lib/rushcheck/integer.rb +56 -0
- data/lib/rushcheck/property.rb +1 -1
- data/lib/rushcheck/random.rb +5 -1
- data/lib/rushcheck/version.rb +1 -1
- metadata +98 -2
|
@@ -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_next (RushCheck::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 27</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_next</span>
|
|
15
|
+
<span class="ruby-identifier">raise_not_implemented_error</span>
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>split (RushCheck::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 36</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">split</span>
|
|
15
|
+
<span class="ruby-identifier">raise_not_implemented_error</span>
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>gen_range (RushCheck::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 47</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>
|
|
@@ -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="#M000104">new</a>
|
|
90
|
+
<a href="#M000103">nothing</a>
|
|
91
|
+
<a href="#M000106">property</a>
|
|
92
|
+
<a href="#M000105">result</a>
|
|
93
93
|
</div>
|
|
94
94
|
</div>
|
|
95
95
|
|
|
@@ -141,12 +141,12 @@
|
|
|
141
141
|
<div id="methods">
|
|
142
142
|
<h3 class="section-bar">Public Class methods</h3>
|
|
143
143
|
|
|
144
|
-
<div id="method-
|
|
145
|
-
<a name="
|
|
144
|
+
<div id="method-M000104" class="method-detail">
|
|
145
|
+
<a name="M000104"></a>
|
|
146
146
|
|
|
147
147
|
<div class="method-heading">
|
|
148
|
-
<a href="Result.src/
|
|
149
|
-
onclick="popupCode('Result.src/
|
|
148
|
+
<a href="Result.src/M000104.html" target="Code" class="method-signature"
|
|
149
|
+
onclick="popupCode('Result.src/M000104.html');return false;">
|
|
150
150
|
<span class="method-name">new</span><span class="method-args">(ok=nil, stamp=[], arguments=[])</span>
|
|
151
151
|
</a>
|
|
152
152
|
</div>
|
|
@@ -155,12 +155,12 @@
|
|
|
155
155
|
</div>
|
|
156
156
|
</div>
|
|
157
157
|
|
|
158
|
-
<div id="method-
|
|
159
|
-
<a name="
|
|
158
|
+
<div id="method-M000103" class="method-detail">
|
|
159
|
+
<a name="M000103"></a>
|
|
160
160
|
|
|
161
161
|
<div class="method-heading">
|
|
162
|
-
<a href="Result.src/
|
|
163
|
-
onclick="popupCode('Result.src/
|
|
162
|
+
<a href="Result.src/M000103.html" target="Code" class="method-signature"
|
|
163
|
+
onclick="popupCode('Result.src/M000103.html');return false;">
|
|
164
164
|
<span class="method-name">nothing</span><span class="method-args">()</span>
|
|
165
165
|
</a>
|
|
166
166
|
</div>
|
|
@@ -171,8 +171,8 @@
|
|
|
171
171
|
|
|
172
172
|
<h3 class="section-bar">Public Instance methods</h3>
|
|
173
173
|
|
|
174
|
-
<div id="method-
|
|
175
|
-
<a name="
|
|
174
|
+
<div id="method-M000106" class="method-detail">
|
|
175
|
+
<a name="M000106"></a>
|
|
176
176
|
|
|
177
177
|
<div class="method-heading">
|
|
178
178
|
<span class="method-name">property</span><span class="method-args">()</span>
|
|
@@ -180,17 +180,17 @@
|
|
|
180
180
|
|
|
181
181
|
<div class="method-description">
|
|
182
182
|
<p>
|
|
183
|
-
Alias for <a href="Result.html#
|
|
183
|
+
Alias for <a href="Result.html#M000105">result</a>
|
|
184
184
|
</p>
|
|
185
185
|
</div>
|
|
186
186
|
</div>
|
|
187
187
|
|
|
188
|
-
<div id="method-
|
|
189
|
-
<a name="
|
|
188
|
+
<div id="method-M000105" class="method-detail">
|
|
189
|
+
<a name="M000105"></a>
|
|
190
190
|
|
|
191
191
|
<div class="method-heading">
|
|
192
|
-
<a href="Result.src/
|
|
193
|
-
onclick="popupCode('Result.src/
|
|
192
|
+
<a href="Result.src/M000105.html" target="Code" class="method-signature"
|
|
193
|
+
onclick="popupCode('Result.src/M000105.html');return false;">
|
|
194
194
|
<span class="method-name">result</span><span class="method-args">()</span>
|
|
195
195
|
</a>
|
|
196
196
|
</div>
|
|
@@ -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>nothing (RushCheck::Result)</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/result.rb, line 14</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">nothing</span>
|
|
15
|
+
<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">false</span>)
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>new (RushCheck::Result)</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/result.rb, line 19</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">ok</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">stamp</span>=[], <span class="ruby-identifier">arguments</span>=[])
|
|
15
|
+
<span class="ruby-ivar">@ok</span>, <span class="ruby-ivar">@stamp</span>, <span class="ruby-ivar">@arguments</span> = <span class="ruby-identifier">ok</span>, <span class="ruby-identifier">stamp</span>, <span class="ruby-identifier">arguments</span>
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>result (RushCheck::Result)</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/result.rb, line 23</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">result</span>
|
|
15
|
+
<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Property</span>.<span class="ruby-identifier">new</span>(<span class="ruby-ivar">@ok</span>, <span class="ruby-ivar">@stamp</span>, <span class="ruby-ivar">@arguments</span>)
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -94,11 +94,11 @@ functional random number generator.
|
|
|
94
94
|
<h3 class="section-bar">Methods</h3>
|
|
95
95
|
|
|
96
96
|
<div class="name-list">
|
|
97
|
-
<a href="#
|
|
98
|
-
<a href="#
|
|
99
|
-
<a href="#
|
|
100
|
-
<a href="#
|
|
101
|
-
<a href="#
|
|
97
|
+
<a href="#M000070">gen_next</a>
|
|
98
|
+
<a href="#M000072">gen_range</a>
|
|
99
|
+
<a href="#M000069">new</a>
|
|
100
|
+
<a href="#M000071">split</a>
|
|
101
|
+
<a href="#M000073">to_s</a>
|
|
102
102
|
</div>
|
|
103
103
|
</div>
|
|
104
104
|
|
|
@@ -151,12 +151,12 @@ left and right are two seeds of random number generator.
|
|
|
151
151
|
<div id="methods">
|
|
152
152
|
<h3 class="section-bar">Public Class methods</h3>
|
|
153
153
|
|
|
154
|
-
<div id="method-
|
|
155
|
-
<a name="
|
|
154
|
+
<div id="method-M000069" class="method-detail">
|
|
155
|
+
<a name="M000069"></a>
|
|
156
156
|
|
|
157
157
|
<div class="method-heading">
|
|
158
|
-
<a href="StdGen.src/
|
|
159
|
-
onclick="popupCode('StdGen.src/
|
|
158
|
+
<a href="StdGen.src/M000069.html" target="Code" class="method-signature"
|
|
159
|
+
onclick="popupCode('StdGen.src/M000069.html');return false;">
|
|
160
160
|
<span class="method-name">new</span><span class="method-args">(left=nil, right=nil)</span>
|
|
161
161
|
</a>
|
|
162
162
|
</div>
|
|
@@ -167,19 +167,19 @@ left and right are two seeds of random number generator.
|
|
|
167
167
|
|
|
168
168
|
<h3 class="section-bar">Public Instance methods</h3>
|
|
169
169
|
|
|
170
|
-
<div id="method-
|
|
171
|
-
<a name="
|
|
170
|
+
<div id="method-M000070" class="method-detail">
|
|
171
|
+
<a name="M000070"></a>
|
|
172
172
|
|
|
173
173
|
<div class="method-heading">
|
|
174
|
-
<a href="StdGen.src/
|
|
175
|
-
onclick="popupCode('StdGen.src/
|
|
174
|
+
<a href="StdGen.src/M000070.html" target="Code" class="method-signature"
|
|
175
|
+
onclick="popupCode('StdGen.src/M000070.html');return false;">
|
|
176
176
|
<span class="method-name">gen_next</span><span class="method-args">()</span>
|
|
177
177
|
</a>
|
|
178
178
|
</div>
|
|
179
179
|
|
|
180
180
|
<div class="method-description">
|
|
181
181
|
<p>
|
|
182
|
-
<a href="StdGen.html#
|
|
182
|
+
<a href="StdGen.html#M000070">gen_next</a> returns an array with length 2.
|
|
183
183
|
The first component of result is a random integer. The last component is a
|
|
184
184
|
new <a href="StdGen.html">StdGen</a> object as a new random number
|
|
185
185
|
generator. See also <a href="RandomGen.html">RandomGen</a>.
|
|
@@ -187,30 +187,30 @@ generator. See also <a href="RandomGen.html">RandomGen</a>.
|
|
|
187
187
|
</div>
|
|
188
188
|
</div>
|
|
189
189
|
|
|
190
|
-
<div id="method-
|
|
191
|
-
<a name="
|
|
190
|
+
<div id="method-M000072" class="method-detail">
|
|
191
|
+
<a name="M000072"></a>
|
|
192
192
|
|
|
193
193
|
<div class="method-heading">
|
|
194
|
-
<a href="StdGen.src/
|
|
195
|
-
onclick="popupCode('StdGen.src/
|
|
194
|
+
<a href="StdGen.src/M000072.html" target="Code" class="method-signature"
|
|
195
|
+
onclick="popupCode('StdGen.src/M000072.html');return false;">
|
|
196
196
|
<span class="method-name">gen_range</span><span class="method-args">()</span>
|
|
197
197
|
</a>
|
|
198
198
|
</div>
|
|
199
199
|
|
|
200
200
|
<div class="method-description">
|
|
201
201
|
<p>
|
|
202
|
-
<a href="StdGen.html#
|
|
202
|
+
<a href="StdGen.html#M000072">gen_range</a> returns an array with length 2
|
|
203
203
|
which represents a bound of generated random numbers.
|
|
204
204
|
</p>
|
|
205
205
|
</div>
|
|
206
206
|
</div>
|
|
207
207
|
|
|
208
|
-
<div id="method-
|
|
209
|
-
<a name="
|
|
208
|
+
<div id="method-M000071" class="method-detail">
|
|
209
|
+
<a name="M000071"></a>
|
|
210
210
|
|
|
211
211
|
<div class="method-heading">
|
|
212
|
-
<a href="StdGen.src/
|
|
213
|
-
onclick="popupCode('StdGen.src/
|
|
212
|
+
<a href="StdGen.src/M000071.html" target="Code" class="method-signature"
|
|
213
|
+
onclick="popupCode('StdGen.src/M000071.html');return false;">
|
|
214
214
|
<span class="method-name">split</span><span class="method-args">()</span>
|
|
215
215
|
</a>
|
|
216
216
|
</div>
|
|
@@ -223,12 +223,12 @@ href="StdGen.html">StdGen</a> objects as two new random number generators.
|
|
|
223
223
|
</div>
|
|
224
224
|
</div>
|
|
225
225
|
|
|
226
|
-
<div id="method-
|
|
227
|
-
<a name="
|
|
226
|
+
<div id="method-M000073" class="method-detail">
|
|
227
|
+
<a name="M000073"></a>
|
|
228
228
|
|
|
229
229
|
<div class="method-heading">
|
|
230
|
-
<a href="StdGen.src/
|
|
231
|
-
onclick="popupCode('StdGen.src/
|
|
230
|
+
<a href="StdGen.src/M000073.html" target="Code" class="method-signature"
|
|
231
|
+
onclick="popupCode('StdGen.src/M000073.html');return false;">
|
|
232
232
|
<span class="method-name">to_s</span><span class="method-args">()</span>
|
|
233
233
|
</a>
|
|
234
234
|
</div>
|
|
@@ -0,0 +1,23 @@
|
|
|
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>new (RushCheck::StdGen)</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 69</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">left</span>=<span class="ruby-keyword kw">nil</span>, <span class="ruby-identifier">right</span>=<span class="ruby-keyword kw">nil</span>)
|
|
15
|
+
<span class="ruby-ivar">@left</span>, <span class="ruby-ivar">@right</span> = [<span class="ruby-identifier">left</span>, <span class="ruby-identifier">right</span>].<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span>
|
|
16
|
+
<span class="ruby-keyword kw">if</span> <span class="ruby-identifier">x</span>.<span class="ruby-identifier">nil?</span>
|
|
17
|
+
<span class="ruby-keyword kw">then</span> <span class="ruby-identifier">random</span>
|
|
18
|
+
<span class="ruby-keyword kw">else</span> <span class="ruby-identifier">in_range</span>(<span class="ruby-identifier">x</span>)
|
|
19
|
+
<span class="ruby-keyword kw">end</span>
|
|
20
|
+
<span class="ruby-keyword kw">end</span>
|
|
21
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
22
|
+
</body>
|
|
23
|
+
</html>
|
|
@@ -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>gen_next (RushCheck::StdGen)</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 81</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_next</span>
|
|
15
|
+
<span class="ruby-identifier">s</span>, <span class="ruby-identifier">t</span> = [<span class="ruby-ivar">@left</span>, <span class="ruby-ivar">@right</span>].<span class="ruby-identifier">map</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> <span class="ruby-identifier">random</span>(<span class="ruby-identifier">x</span>) }
|
|
16
|
+
<span class="ruby-identifier">z</span> = ((<span class="ruby-identifier">s</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">t</span>) <span class="ruby-operator">%</span> (<span class="ruby-ivar">@@max_bound</span> <span class="ruby-operator">-</span> <span class="ruby-ivar">@@min_bound</span>)) <span class="ruby-operator">+</span> <span class="ruby-ivar">@@min_bound</span>
|
|
17
|
+
|
|
18
|
+
[<span class="ruby-identifier">z</span>, <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">StdGen</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">s</span>, <span class="ruby-identifier">t</span>)]
|
|
19
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
20
|
+
</body>
|
|
21
|
+
</html>
|
|
@@ -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>split (RushCheck::StdGen)</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 90</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">split</span>
|
|
15
|
+
<span class="ruby-identifier">g</span> = <span class="ruby-identifier">gen_next</span>[<span class="ruby-value">1</span>]
|
|
16
|
+
<span class="ruby-identifier">s</span>, <span class="ruby-identifier">t</span> = <span class="ruby-identifier">g</span>.<span class="ruby-identifier">left</span>, <span class="ruby-identifier">g</span>.<span class="ruby-identifier">right</span>
|
|
17
|
+
|
|
18
|
+
[<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">StdGen</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">s</span> <span class="ruby-operator">+</span> <span class="ruby-value">1</span>, <span class="ruby-identifier">t</span>), <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">StdGen</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">s</span>, <span class="ruby-identifier">t</span> <span class="ruby-operator">+</span> <span class="ruby-value">1</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>gen_range (RushCheck::StdGen)</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 99</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_range</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,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>to_s (RushCheck::StdGen)</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 103</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">to_s</span>
|
|
15
|
+
<span class="ruby-ivar">@left</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">' '</span> <span class="ruby-operator">+</span> <span class="ruby-ivar">@right</span>.<span class="ruby-identifier">to_s</span>
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -86,7 +86,7 @@
|
|
|
86
86
|
<h3 class="section-bar">Methods</h3>
|
|
87
87
|
|
|
88
88
|
<div class="name-list">
|
|
89
|
-
<a href="#
|
|
89
|
+
<a href="#M000107">new</a>
|
|
90
90
|
</div>
|
|
91
91
|
</div>
|
|
92
92
|
|
|
@@ -126,12 +126,12 @@
|
|
|
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-M000107" class="method-detail">
|
|
130
|
+
<a name="M000107"></a>
|
|
131
131
|
|
|
132
132
|
<div class="method-heading">
|
|
133
|
-
<a href="TestFailed.src/
|
|
134
|
-
onclick="popupCode('TestFailed.src/
|
|
133
|
+
<a href="TestFailed.src/M000107.html" target="Code" class="method-signature"
|
|
134
|
+
onclick="popupCode('TestFailed.src/M000107.html');return false;">
|
|
135
135
|
<span class="method-name">new</span><span class="method-args">(results, ntests)</span>
|
|
136
136
|
</a>
|
|
137
137
|
</div>
|