rushcheck 0.4 → 0.5
Sign up to get free protection for your applications and to get access to all the features.
- 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>gen_range (RushCheck::TheStdGen)</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 146</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_range</span>
|
15
|
+
<span class="ruby-ivar">@gen</span>.<span class="ruby-identifier">gen_range</span>
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
17
|
+
</body>
|
18
|
+
</html>
|
@@ -100,7 +100,7 @@ href="String.html">String</a>.
|
|
100
100
|
<h3 class="section-bar">Methods</h3>
|
101
101
|
|
102
102
|
<div class="name-list">
|
103
|
-
<a href="#
|
103
|
+
<a href="#M000005">arbitrary</a>
|
104
104
|
</div>
|
105
105
|
</div>
|
106
106
|
|
@@ -122,12 +122,12 @@ href="String.html">String</a>.
|
|
122
122
|
<div id="methods">
|
123
123
|
<h3 class="section-bar">Public Class methods</h3>
|
124
124
|
|
125
|
-
<div id="method-
|
126
|
-
<a name="
|
125
|
+
<div id="method-M000005" class="method-detail">
|
126
|
+
<a name="M000005"></a>
|
127
127
|
|
128
128
|
<div class="method-heading">
|
129
|
-
<a href="SpecialString.src/
|
130
|
-
onclick="popupCode('SpecialString.src/
|
129
|
+
<a href="SpecialString.src/M000005.html" target="Code" class="method-signature"
|
130
|
+
onclick="popupCode('SpecialString.src/M000005.html');return false;">
|
131
131
|
<span class="method-name">arbitrary</span><span class="method-args">()</span>
|
132
132
|
</a>
|
133
133
|
</div>
|
@@ -0,0 +1,37 @@
|
|
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 (SpecialString)</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/string.rb, line 77</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-identifier">f</span> = <span class="ruby-ivar">@@frequency</span>
|
16
|
+
<span class="ruby-identifier">frq</span> = []
|
17
|
+
[<span class="ruby-identifier">f</span>[<span class="ruby-value str">'alphabet'</span>],<span class="ruby-identifier">f</span>[<span class="ruby-value str">'control'</span>],<span class="ruby-identifier">f</span>[<span class="ruby-value str">'number'</span>],<span class="ruby-identifier">f</span>[<span class="ruby-value str">'special'</span>]].<span class="ruby-identifier">zip</span>(
|
18
|
+
[ <span class="ruby-ivar">@@alphabet</span>, <span class="ruby-ivar">@@control</span>, <span class="ruby-ivar">@@number</span>, <span class="ruby-ivar">@@special</span>]) <span class="ruby-keyword kw">do</span>
|
19
|
+
<span class="ruby-operator">|</span><span class="ruby-identifier">weight</span>, <span class="ruby-identifier">table</span><span class="ruby-operator">|</span>
|
20
|
+
<span class="ruby-identifier">gen</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">oneof</span>(<span class="ruby-identifier">table</span>.<span class="ruby-identifier">map</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">unit</span>(<span class="ruby-identifier">n</span>.<span class="ruby-identifier">chr</span>)})
|
21
|
+
<span class="ruby-identifier">frq</span> <span class="ruby-operator"><<</span> [<span class="ruby-identifier">weight</span>, <span class="ruby-identifier">gen</span>]
|
22
|
+
<span class="ruby-keyword kw">end</span>
|
23
|
+
|
24
|
+
<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>
|
25
|
+
<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>
|
26
|
+
<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>
|
27
|
+
<span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r</span>
|
28
|
+
(<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-identifier">len</span>).<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span>
|
29
|
+
<span class="ruby-identifier">r1</span>, <span class="ruby-identifier">r2</span> = <span class="ruby-identifier">r2</span>.<span class="ruby-identifier">split</span>
|
30
|
+
<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">frequency</span>(<span class="ruby-identifier">frq</span>).<span class="ruby-identifier">value</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">r1</span>)
|
31
|
+
<span class="ruby-keyword kw">end</span>.<span class="ruby-identifier">join</span>
|
32
|
+
<span class="ruby-keyword kw">end</span>
|
33
|
+
<span class="ruby-keyword kw">end</span>
|
34
|
+
<span class="ruby-keyword kw">end</span>
|
35
|
+
<span class="ruby-keyword kw">end</span></pre>
|
36
|
+
</body>
|
37
|
+
</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="#M000026">arbitrary</a>
|
90
|
+
<a href="#M000027">bound</a>
|
91
|
+
<a href="#M000029">coarbitrary</a>
|
92
|
+
<a href="#M000028">random_range</a>
|
93
93
|
</div>
|
94
94
|
</div>
|
95
95
|
|
@@ -101,7 +101,7 @@
|
|
101
101
|
<h3 class="section-bar">Included Modules</h3>
|
102
102
|
|
103
103
|
<div id="includes-list">
|
104
|
-
<span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
|
104
|
+
<span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</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-M000026" class="method-detail">
|
122
|
+
<a name="M000026"></a>
|
123
123
|
|
124
124
|
<div class="method-heading">
|
125
|
-
<a href="String.src/
|
126
|
-
onclick="popupCode('String.src/
|
125
|
+
<a href="String.src/M000026.html" target="Code" class="method-signature"
|
126
|
+
onclick="popupCode('String.src/M000026.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-M000027" class="method-detail">
|
136
|
+
<a name="M000027"></a>
|
137
137
|
|
138
138
|
<div class="method-heading">
|
139
|
-
<a href="String.src/
|
140
|
-
onclick="popupCode('String.src/
|
139
|
+
<a href="String.src/M000027.html" target="Code" class="method-signature"
|
140
|
+
onclick="popupCode('String.src/M000027.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-M000028" class="method-detail">
|
150
|
+
<a name="M000028"></a>
|
151
151
|
|
152
152
|
<div class="method-heading">
|
153
|
-
<a href="String.src/
|
154
|
-
onclick="popupCode('String.src/
|
153
|
+
<a href="String.src/M000028.html" target="Code" class="method-signature"
|
154
|
+
onclick="popupCode('String.src/M000028.html');return false;">
|
155
155
|
<span class="method-name">random_range</span><span class="method-args">(gen, lo=@@min_range, hi=@@max_range)</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-M000029" class="method-detail">
|
166
|
+
<a name="M000029"></a>
|
167
167
|
|
168
168
|
<div class="method-heading">
|
169
|
-
<a href="String.src/
|
170
|
-
onclick="popupCode('String.src/
|
169
|
+
<a href="String.src/M000029.html" target="Code" class="method-signature"
|
170
|
+
onclick="popupCode('String.src/M000029.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,24 @@
|
|
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 (String)</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/string.rb, line 20</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">n</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">n</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-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Gen</span>.<span class="ruby-identifier">vector</span>(<span class="ruby-constant">Integer</span>, <span class="ruby-identifier">len</span>).<span class="ruby-identifier">fmap</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">xs</span><span class="ruby-operator">|</span>
|
18
|
+
<span class="ruby-identifier">xs</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">x</span> <span class="ruby-operator">%</span> <span class="ruby-value">128</span>).<span class="ruby-identifier">chr</span>}.<span class="ruby-identifier">join</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>
|
22
|
+
<span class="ruby-keyword kw">end</span></pre>
|
23
|
+
</body>
|
24
|
+
</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 (String)</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/string.rb, line 30</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_range</span>, <span class="ruby-ivar">@@max_range</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 (String)</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/string.rb, line 34</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_range</span>, <span class="ruby-identifier">hi</span>=<span class="ruby-ivar">@@max_range</span>)
|
15
|
+
<span class="ruby-identifier">len</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>, <span class="ruby-identifier">lo</span>, <span class="ruby-identifier">hi</span>)
|
16
|
+
<span class="ruby-identifier">result</span> = <span class="ruby-value str">''</span>
|
17
|
+
<span class="ruby-identifier">len</span>.<span class="ruby-identifier">times</span> <span class="ruby-keyword kw">do</span>
|
18
|
+
<span class="ruby-identifier">v</span>, <span class="ruby-identifier">g</span> = <span class="ruby-constant">Integer</span>.<span class="ruby-identifier">random</span>(<span class="ruby-identifier">g</span>, <span class="ruby-value">0</span>, <span class="ruby-value">127</span>)
|
19
|
+
<span class="ruby-identifier">result</span> <span class="ruby-operator">+=</span> <span class="ruby-identifier">v</span>.<span class="ruby-identifier">chr</span>
|
20
|
+
<span class="ruby-keyword kw">end</span>
|
21
|
+
|
22
|
+
[<span class="ruby-identifier">result</span>. <span class="ruby-identifier">g</span>]
|
23
|
+
<span class="ruby-keyword kw">end</span></pre>
|
24
|
+
</body>
|
25
|
+
</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 (String)</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/string.rb, line 45</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_byte</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>
|
@@ -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="#M000030">bound</a>
|
90
|
+
<a href="#M000031">coarbitrary</a>
|
91
|
+
<a href="#M000032">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="Testable.html">Testable</a></span>
|
104
|
-
<span class="include-name"><a href="Coarbitrary.html">Coarbitrary</a></span>
|
103
|
+
<span class="include-name"><a href="RushCheck/Testable.html">RushCheck::Testable</a></span>
|
104
|
+
<span class="include-name"><a href="RushCheck/Coarbitrary.html">RushCheck::Coarbitrary</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-M000030" class="method-detail">
|
122
|
+
<a name="M000030"></a>
|
123
123
|
|
124
124
|
<div class="method-heading">
|
125
|
-
<a href="TrueClass.src/
|
126
|
-
onclick="popupCode('TrueClass.src/
|
125
|
+
<a href="TrueClass.src/M000030.html" target="Code" class="method-signature"
|
126
|
+
onclick="popupCode('TrueClass.src/M000030.html');return false;">
|
127
127
|
<span class="method-name">bound</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-M000031" class="method-detail">
|
138
|
+
<a name="M000031"></a>
|
139
139
|
|
140
140
|
<div class="method-heading">
|
141
|
-
<a href="TrueClass.src/
|
142
|
-
onclick="popupCode('TrueClass.src/
|
141
|
+
<a href="TrueClass.src/M000031.html" target="Code" class="method-signature"
|
142
|
+
onclick="popupCode('TrueClass.src/M000031.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-M000032" class="method-detail">
|
152
|
+
<a name="M000032"></a>
|
153
153
|
|
154
154
|
<div class="method-heading">
|
155
|
-
<a href="TrueClass.src/
|
156
|
-
onclick="popupCode('TrueClass.src/
|
155
|
+
<a href="TrueClass.src/M000032.html" target="Code" class="method-signature"
|
156
|
+
onclick="popupCode('TrueClass.src/M000032.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>bound (TrueClass)</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 35</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>coarbitrary (TrueClass)</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 39</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 (TrueClass)</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 43</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">new</span>(<span class="ruby-keyword kw">self</span>).<span class="ruby-identifier">result</span>
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
17
|
+
</body>
|
18
|
+
</html>
|
@@ -1 +1 @@
|
|
1
|
-
Sat
|
1
|
+
Sat Oct 07 04:24:00 JST 2006
|
@@ -56,7 +56,7 @@
|
|
56
56
|
</tr>
|
57
57
|
<tr class="top-aligned-row">
|
58
58
|
<td><strong>Last Update:</strong></td>
|
59
|
-
<td>
|
59
|
+
<td>Sat Sep 16 04:09:26 JST 2006</td>
|
60
60
|
</tr>
|
61
61
|
</table>
|
62
62
|
</div>
|
@@ -71,13 +71,10 @@
|
|
71
71
|
<div id="description">
|
72
72
|
<h1>arbitrary.rb</h1>
|
73
73
|
<p>
|
74
|
-
This file includes two modules
|
75
|
-
|
76
|
-
|
77
|
-
|
78
|
-
method arbitrary. <a href="../../classes/Coarbitrary.html">Coarbitrary</a>
|
79
|
-
provides a class method coarbitrary. However they are abstract methods and
|
80
|
-
should be overrided in each class after include/extend them.
|
74
|
+
This file includes two modules Arbitrary and Coarbitrary. Arbitrary
|
75
|
+
provides an instance method arbitrary. Coarbitrary provides a class method
|
76
|
+
coarbitrary. However they are abstract methods and should be overrided in
|
77
|
+
each class after include/extend them.
|
81
78
|
</p>
|
82
79
|
|
83
80
|
</div>
|