rushcheck 0.4 → 0.5
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 -3
- data/Rakefile.in +37 -0
- data/data/rushcheck/doc/rushcheck.thtml +20 -0
- data/data/rushcheck/rdoc/classes/FalseClass.html +17 -17
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000006.html +18 -0
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000007.html +18 -0
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000008.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.html +21 -21
- data/data/rushcheck/rdoc/classes/Float.src/M000015.html +21 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000016.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000017.html +22 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000018.html +20 -0
- data/data/rushcheck/rdoc/classes/Integer.html +28 -29
- data/data/rushcheck/rdoc/classes/Integer.src/M000001.html +18 -0
- data/data/rushcheck/rdoc/classes/Integer.src/M000002.html +18 -0
- data/data/rushcheck/rdoc/classes/Integer.src/M000003.html +25 -0
- data/data/rushcheck/rdoc/classes/Integer.src/M000004.html +19 -0
- data/data/rushcheck/rdoc/classes/NilClass.html +17 -17
- data/data/rushcheck/rdoc/classes/NilClass.src/M000023.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.src/M000024.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.src/M000025.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomArray.html +16 -16
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000009.html +19 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000010.html +35 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000011.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomHash.html +17 -17
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000012.html +19 -0
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000013.html +26 -0
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000014.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomProc.html +22 -22
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000019.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000020.html +30 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000021.html +26 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000022.html +20 -0
- data/data/rushcheck/rdoc/classes/RushCheck.html +218 -0
- data/data/rushcheck/rdoc/classes/RushCheck.src/M000033.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck.src/M000034.html +27 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.html +136 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.src/M000035.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Assertion.html +187 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000073.html +20 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000074.html +50 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.html +135 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000058.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.html +270 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000066.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000067.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000068.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000069.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000070.html +38 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000071.html +55 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000072.html +50 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.html +558 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000075.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000076.html +41 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000077.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000078.html +20 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000079.html +28 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000080.html +24 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000081.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000082.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000083.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000084.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000085.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000086.html +24 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000087.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000088.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000089.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000090.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000091.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000092.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000093.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000094.html +24 -0
- data/data/rushcheck/rdoc/classes/RushCheck/GuardException.html +111 -0
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.html +201 -0
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000041.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000042.html +32 -0
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000043.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Property.html +174 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000105.html +26 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000106.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.html +146 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000039.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000040.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.html +196 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000036.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000037.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000038.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Result.html +214 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000095.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000096.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000097.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.html +252 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000061.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000062.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000063.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000064.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000065.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestExausted.html +113 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.html +155 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.src/M000099.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestOk.html +113 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.html +172 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000059.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000060.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestResult.html +160 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestResult.src/M000100.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.html +326 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000044.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000045.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000048.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000049.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000050.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000052.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000053.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000054.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000056.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000057.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.html +200 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000101.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000102.html +20 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000103.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000104.html +18 -0
- data/data/rushcheck/rdoc/classes/SpecialString.html +5 -5
- data/data/rushcheck/rdoc/classes/SpecialString.src/M000005.html +37 -0
- data/data/rushcheck/rdoc/classes/String.html +21 -21
- data/data/rushcheck/rdoc/classes/String.src/M000026.html +24 -0
- data/data/rushcheck/rdoc/classes/String.src/M000027.html +18 -0
- data/data/rushcheck/rdoc/classes/String.src/M000028.html +25 -0
- data/data/rushcheck/rdoc/classes/String.src/M000029.html +22 -0
- data/data/rushcheck/rdoc/classes/TrueClass.html +17 -17
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000030.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000031.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000032.html +18 -0
- data/data/rushcheck/rdoc/created.rid +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/arbitrary_rb.html +5 -8
- data/data/rushcheck/rdoc/files/rushcheck/array_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html +2 -3
- data/data/rushcheck/rdoc/files/rushcheck/bool_rb.html +3 -2
- data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +3 -4
- data/data/rushcheck/rdoc/files/rushcheck/float_rb.html +3 -3
- data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +5 -5
- data/data/rushcheck/rdoc/files/rushcheck/guard_rb.html +2 -2
- data/data/rushcheck/rdoc/files/rushcheck/hash_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/integer_rb.html +2 -2
- data/data/rushcheck/rdoc/files/rushcheck/proc_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/property_rb.html +3 -4
- data/data/rushcheck/rdoc/files/rushcheck/random_rb.html +3 -6
- data/data/rushcheck/rdoc/files/rushcheck/result_rb.html +3 -4
- data/data/rushcheck/rdoc/files/rushcheck/string_rb.html +4 -4
- data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +2 -3
- data/data/rushcheck/rdoc/files/rushcheck/testoptions_rb.html +3 -3
- data/data/rushcheck/rdoc/files/rushcheck/testresult_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck_rb.html +5 -4
- data/data/rushcheck/rdoc/fr_class_index.html +20 -20
- data/data/rushcheck/rdoc/fr_method_index.html +106 -105
- data/lib/rushcheck.rb +1 -0
- data/lib/rushcheck/assertion.rb +9 -4
- data/lib/rushcheck/gen.rb +1 -1
- data/lib/rushcheck/version.rb +8 -0
- data/lib/rushcheck/version.rb.in +8 -0
- metadata +144 -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>bound (Integer)</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/integer.rb, line 21</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,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>arbitrary (Integer)</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/integer.rb, line 26</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">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">sized</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">n</span><span class="ruby-operator">|</span> <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">choose</span>(<span class="ruby-operator">-</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">n</span>) }
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -0,0 +1,25 @@
|
|
|
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 (Integer)</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/integer.rb, line 31</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">hi</span>, <span class="ruby-identifier">lo</span> = <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span> <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">hi</span> <span class="ruby-operator"><</span> <span class="ruby-identifier">lo</span>
|
|
16
|
+
<span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-identifier">gen</span>.<span class="ruby-identifier">gen_next</span>
|
|
17
|
+
<span class="ruby-identifier">d</span> = <span class="ruby-identifier">hi</span> <span class="ruby-operator">-</span> <span class="ruby-identifier">lo</span> <span class="ruby-operator">+</span> <span class="ruby-value">1</span>
|
|
18
|
+
|
|
19
|
+
<span class="ruby-keyword kw">if</span> <span class="ruby-identifier">d</span> <span class="ruby-operator">==</span> <span class="ruby-value">1</span>
|
|
20
|
+
<span class="ruby-keyword kw">then</span> [<span class="ruby-identifier">lo</span>, <span class="ruby-identifier">g</span>]
|
|
21
|
+
<span class="ruby-keyword kw">else</span> [(<span class="ruby-identifier">v</span> <span class="ruby-operator">%</span> <span class="ruby-identifier">d</span>) <span class="ruby-operator">+</span> <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">g</span>]
|
|
22
|
+
<span class="ruby-keyword kw">end</span>
|
|
23
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
24
|
+
</body>
|
|
25
|
+
</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>coarbitrary (Integer)</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/integer.rb, line 43</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">m</span> = (<span class="ruby-keyword kw">self</span> <span class="ruby-operator">>=</span> <span class="ruby-value">0</span>) <span class="ruby-operator">?</span> <span class="ruby-value">2</span> <span class="ruby-operator">*</span> <span class="ruby-keyword kw">self</span> <span class="ruby-operator">:</span> (<span class="ruby-value">-2</span>) <span class="ruby-operator">*</span> <span class="ruby-keyword kw">self</span> <span class="ruby-operator">+</span> <span class="ruby-value">1</span>
|
|
16
|
+
<span class="ruby-identifier">g</span>.<span class="ruby-identifier">variant</span>(<span class="ruby-identifier">m</span>)
|
|
17
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
18
|
+
</body>
|
|
19
|
+
</html>
|
|
@@ -86,9 +86,9 @@
|
|
|
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="#
|
|
89
|
+
<a href="#M000023">arbitrary</a>
|
|
90
|
+
<a href="#M000024">coarbitrary</a>
|
|
91
|
+
<a href="#M000025">property</a>
|
|
92
92
|
</div>
|
|
93
93
|
</div>
|
|
94
94
|
|
|
@@ -100,8 +100,8 @@
|
|
|
100
100
|
<h3 class="section-bar">Included Modules</h3>
|
|
101
101
|
|
|
102
102
|
<div id="includes-list">
|
|
103
|
-
<span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
|
|
104
|
-
<span class="include-name"><a href="Testable.html">Testable</a></span>
|
|
103
|
+
<span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a></span>
|
|
104
|
+
<span class="include-name"><a href="RushCheck/Testable.html">RushCheck::Testable</a></span>
|
|
105
105
|
</div>
|
|
106
106
|
</div>
|
|
107
107
|
|
|
@@ -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-M000023" class="method-detail">
|
|
122
|
+
<a name="M000023"></a>
|
|
123
123
|
|
|
124
124
|
<div class="method-heading">
|
|
125
|
-
<a href="NilClass.src/
|
|
126
|
-
onclick="popupCode('NilClass.src/
|
|
125
|
+
<a href="NilClass.src/M000023.html" target="Code" class="method-signature"
|
|
126
|
+
onclick="popupCode('NilClass.src/M000023.html');return false;">
|
|
127
127
|
<span class="method-name">arbitrary</span><span class="method-args">()</span>
|
|
128
128
|
</a>
|
|
129
129
|
</div>
|
|
@@ -134,12 +134,12 @@
|
|
|
134
134
|
|
|
135
135
|
<h3 class="section-bar">Public Instance methods</h3>
|
|
136
136
|
|
|
137
|
-
<div id="method-
|
|
138
|
-
<a name="
|
|
137
|
+
<div id="method-M000024" class="method-detail">
|
|
138
|
+
<a name="M000024"></a>
|
|
139
139
|
|
|
140
140
|
<div class="method-heading">
|
|
141
|
-
<a href="NilClass.src/
|
|
142
|
-
onclick="popupCode('NilClass.src/
|
|
141
|
+
<a href="NilClass.src/M000024.html" target="Code" class="method-signature"
|
|
142
|
+
onclick="popupCode('NilClass.src/M000024.html');return false;">
|
|
143
143
|
<span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
|
|
144
144
|
</a>
|
|
145
145
|
</div>
|
|
@@ -148,12 +148,12 @@
|
|
|
148
148
|
</div>
|
|
149
149
|
</div>
|
|
150
150
|
|
|
151
|
-
<div id="method-
|
|
152
|
-
<a name="
|
|
151
|
+
<div id="method-M000025" class="method-detail">
|
|
152
|
+
<a name="M000025"></a>
|
|
153
153
|
|
|
154
154
|
<div class="method-heading">
|
|
155
|
-
<a href="NilClass.src/
|
|
156
|
-
onclick="popupCode('NilClass.src/
|
|
155
|
+
<a href="NilClass.src/M000025.html" target="Code" class="method-signature"
|
|
156
|
+
onclick="popupCode('NilClass.src/M000025.html');return false;">
|
|
157
157
|
<span class="method-name">property</span><span class="method-args">()</span>
|
|
158
158
|
</a>
|
|
159
159
|
</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>arbitrary (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 80</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">unit</span>(<span class="ruby-keyword kw">nil</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>coarbitrary (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 84</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
|
+
<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>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 88</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
|
|
15
|
+
<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><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>
|
|
@@ -94,9 +94,9 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
|
|
|
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="#
|
|
97
|
+
<a href="#M000010">arbitrary</a>
|
|
98
|
+
<a href="#M000011">coarbitrary</a>
|
|
99
|
+
<a href="#M000009">set_pattern</a>
|
|
100
100
|
</div>
|
|
101
101
|
</div>
|
|
102
102
|
|
|
@@ -108,7 +108,7 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
|
|
|
108
108
|
<h3 class="section-bar">Included Modules</h3>
|
|
109
109
|
|
|
110
110
|
<div id="includes-list">
|
|
111
|
-
<span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
|
|
111
|
+
<span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a></span>
|
|
112
112
|
</div>
|
|
113
113
|
</div>
|
|
114
114
|
|
|
@@ -125,12 +125,12 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
|
|
|
125
125
|
<div id="methods">
|
|
126
126
|
<h3 class="section-bar">Public Class methods</h3>
|
|
127
127
|
|
|
128
|
-
<div id="method-
|
|
129
|
-
<a name="
|
|
128
|
+
<div id="method-M000010" class="method-detail">
|
|
129
|
+
<a name="M000010"></a>
|
|
130
130
|
|
|
131
131
|
<div class="method-heading">
|
|
132
|
-
<a href="RandomArray.src/
|
|
133
|
-
onclick="popupCode('RandomArray.src/
|
|
132
|
+
<a href="RandomArray.src/M000010.html" target="Code" class="method-signature"
|
|
133
|
+
onclick="popupCode('RandomArray.src/M000010.html');return false;">
|
|
134
134
|
<span class="method-name">arbitrary</span><span class="method-args">()</span>
|
|
135
135
|
</a>
|
|
136
136
|
</div>
|
|
@@ -139,12 +139,12 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
|
|
|
139
139
|
</div>
|
|
140
140
|
</div>
|
|
141
141
|
|
|
142
|
-
<div id="method-
|
|
143
|
-
<a name="
|
|
142
|
+
<div id="method-M000009" class="method-detail">
|
|
143
|
+
<a name="M000009"></a>
|
|
144
144
|
|
|
145
145
|
<div class="method-heading">
|
|
146
|
-
<a href="RandomArray.src/
|
|
147
|
-
onclick="popupCode('RandomArray.src/
|
|
146
|
+
<a href="RandomArray.src/M000009.html" target="Code" class="method-signature"
|
|
147
|
+
onclick="popupCode('RandomArray.src/M000009.html');return false;">
|
|
148
148
|
<span class="method-name">set_pattern</span><span class="method-args">(base, &f)</span>
|
|
149
149
|
</a>
|
|
150
150
|
</div>
|
|
@@ -155,12 +155,12 @@ href="RandomArray.html">RandomArray</a> to get user defined generators.
|
|
|
155
155
|
|
|
156
156
|
<h3 class="section-bar">Public Instance methods</h3>
|
|
157
157
|
|
|
158
|
-
<div id="method-
|
|
159
|
-
<a name="
|
|
158
|
+
<div id="method-M000011" class="method-detail">
|
|
159
|
+
<a name="M000011"></a>
|
|
160
160
|
|
|
161
161
|
<div class="method-heading">
|
|
162
|
-
<a href="RandomArray.src/
|
|
163
|
-
onclick="popupCode('RandomArray.src/
|
|
162
|
+
<a href="RandomArray.src/M000011.html" target="Code" class="method-signature"
|
|
163
|
+
onclick="popupCode('RandomArray.src/M000011.html');return false;">
|
|
164
164
|
<span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
|
|
165
165
|
</a>
|
|
166
166
|
</div>
|
|
@@ -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>set_pattern (RandomArray)</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/array.rb, line 16</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">base</span>, <span class="ruby-operator">&</span><span class="ruby-identifier">f</span>)
|
|
15
|
+
<span class="ruby-ivar">@@base</span>, <span class="ruby-ivar">@@indp</span> = <span class="ruby-identifier">base</span>, <span class="ruby-identifier">f</span>
|
|
16
|
+
<span class="ruby-keyword kw">self</span>
|
|
17
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
18
|
+
</body>
|
|
19
|
+
</html>
|
|
@@ -0,0 +1,35 @@
|
|
|
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 (RandomArray)</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/array.rb, line 21</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">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">sized</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">m</span><span class="ruby-operator">|</span>
|
|
16
|
+
<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">choose</span>(<span class="ruby-value">0</span>, <span class="ruby-identifier">m</span>).<span class="ruby-identifier">bind</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">len</span><span class="ruby-operator">|</span>
|
|
17
|
+
<span class="ruby-keyword kw">if</span> <span class="ruby-identifier">len</span> = <span class="ruby-value">0</span>
|
|
18
|
+
<span class="ruby-keyword kw">then</span> <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">unit</span>([])
|
|
19
|
+
<span class="ruby-keyword kw">else</span>
|
|
20
|
+
<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><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
|
+
<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
|
+
<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> <span class="ruby-operator">|</span><span class="ruby-identifier">i</span><span class="ruby-operator">|</span>
|
|
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">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
|
+
<span class="ruby-keyword kw">end</span>
|
|
27
|
+
|
|
28
|
+
<span class="ruby-identifier">ary</span>
|
|
29
|
+
<span class="ruby-keyword kw">end</span>
|
|
30
|
+
<span class="ruby-keyword kw">end</span>
|
|
31
|
+
<span class="ruby-keyword kw">end</span>
|
|
32
|
+
<span class="ruby-keyword kw">end</span>
|
|
33
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
34
|
+
</body>
|
|
35
|
+
</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 (RandomArray)</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/array.rb, line 42</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">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>
|
|
@@ -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="#M000013">arbitrary</a>
|
|
99
|
+
<a href="#M000014">coarbitrary</a>
|
|
100
|
+
<a href="#M000012">set_pattern</a>
|
|
101
101
|
</div>
|
|
102
102
|
</div>
|
|
103
103
|
|
|
@@ -109,7 +109,7 @@ of Hash.
|
|
|
109
109
|
<h3 class="section-bar">Included Modules</h3>
|
|
110
110
|
|
|
111
111
|
<div id="includes-list">
|
|
112
|
-
<span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
|
|
112
|
+
<span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</a></span>
|
|
113
113
|
</div>
|
|
114
114
|
</div>
|
|
115
115
|
|
|
@@ -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-M000013" class="method-detail">
|
|
130
|
+
<a name="M000013"></a>
|
|
131
131
|
|
|
132
132
|
<div class="method-heading">
|
|
133
|
-
<a href="RandomHash.src/
|
|
134
|
-
onclick="popupCode('RandomHash.src/
|
|
133
|
+
<a href="RandomHash.src/M000013.html" target="Code" class="method-signature"
|
|
134
|
+
onclick="popupCode('RandomHash.src/M000013.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-M000012" class="method-detail">
|
|
144
|
+
<a name="M000012"></a>
|
|
145
145
|
|
|
146
146
|
<div class="method-heading">
|
|
147
|
-
<a href="RandomHash.src/
|
|
148
|
-
onclick="popupCode('RandomHash.src/
|
|
147
|
+
<a href="RandomHash.src/M000012.html" target="Code" class="method-signature"
|
|
148
|
+
onclick="popupCode('RandomHash.src/M000012.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#M000012">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-M000014" class="method-detail">
|
|
172
|
+
<a name="M000014"></a>
|
|
173
173
|
|
|
174
174
|
<div class="method-heading">
|
|
175
|
-
<a href="RandomHash.src/
|
|
176
|
-
onclick="popupCode('RandomHash.src/
|
|
175
|
+
<a href="RandomHash.src/M000014.html" target="Code" class="method-signature"
|
|
176
|
+
onclick="popupCode('RandomHash.src/M000014.html');return false;">
|
|
177
177
|
<span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
|
|
178
178
|
</a>
|
|
179
179
|
</div>
|