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,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>batch (RushCheck::Config)</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/config.rb, line 31</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">batch</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">v</span>)
|
|
15
|
+
<span class="ruby-identifier">new</span>(<span class="ruby-identifier">n</span>, <span class="ruby-identifier">n</span> <span class="ruby-operator">*</span> <span class="ruby-value">10</span>,
|
|
16
|
+
<span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</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">2</span> <span class="ruby-operator">+</span> <span class="ruby-value">3</span>).<span class="ruby-identifier">to_i</span>},
|
|
17
|
+
<span class="ruby-constant">Proc</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">args</span><span class="ruby-operator">|</span>
|
|
18
|
+
<span class="ruby-identifier">v</span> <span class="ruby-value">? </span><span class="ruby-identifier">n</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">":\n"</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">"\n"</span>) <span class="ruby-operator">+</span> <span class="ruby-value str">"\n"</span> <span class="ruby-operator">:</span> <span class="ruby-value str">""</span>
|
|
19
|
+
<span class="ruby-keyword kw">end</span>)
|
|
20
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
21
|
+
</body>
|
|
22
|
+
</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::Config)</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/config.rb, line 39</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">max_test</span>, <span class="ruby-identifier">max_fail</span>, <span class="ruby-identifier">size</span>, <span class="ruby-identifier">every</span>)
|
|
15
|
+
<span class="ruby-ivar">@max_test</span>, <span class="ruby-ivar">@max_fail</span>, <span class="ruby-ivar">@size</span>, <span class="ruby-ivar">@every</span> = <span class="ruby-identifier">max_test</span>, <span class="ruby-identifier">max_fail</span>, <span class="ruby-identifier">size</span>, <span class="ruby-identifier">every</span>
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -0,0 +1,38 @@
|
|
|
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>done (RushCheck::Config)</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/config.rb, line 44</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">done</span>(<span class="ruby-identifier">mesg</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
|
|
15
|
+
<span class="ruby-identifier">print</span> <span class="ruby-identifier">mesg</span> <span class="ruby-operator">+</span> <span class="ruby-value str">' '</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">ntest</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">' tests'</span>
|
|
16
|
+
|
|
17
|
+
<span class="ruby-identifier">bag</span> = <span class="ruby-identifier">stamps</span>.<span class="ruby-identifier">compact</span>.<span class="ruby-identifier">find_all</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> <span class="ruby-operator">!</span> <span class="ruby-identifier">x</span>.<span class="ruby-identifier">empty?</span>}.<span class="ruby-identifier">sort</span>.
|
|
18
|
+
<span class="ruby-identifier">inject</span>(<span class="ruby-constant">Hash</span>.<span class="ruby-identifier">new</span>) <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">r</span>, <span class="ruby-identifier">m</span><span class="ruby-operator">|</span>
|
|
19
|
+
<span class="ruby-identifier">r</span>[<span class="ruby-identifier">m</span>] = <span class="ruby-identifier">r</span>[<span class="ruby-identifier">m</span>].<span class="ruby-identifier">nil?</span> <span class="ruby-value">? </span><span class="ruby-value">1</span> <span class="ruby-operator">:</span> <span class="ruby-identifier">r</span>[<span class="ruby-identifier">m</span>] <span class="ruby-operator">+</span> <span class="ruby-value">1</span>
|
|
20
|
+
<span class="ruby-identifier">r</span>
|
|
21
|
+
<span class="ruby-keyword kw">end</span>.<span class="ruby-identifier">sort_by</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">k</span>, <span class="ruby-identifier">v</span><span class="ruby-operator">|</span> <span class="ruby-identifier">v</span>}.<span class="ruby-identifier">reverse</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">pair</span><span class="ruby-operator">|</span>
|
|
22
|
+
<span class="ruby-identifier">percentage</span> = ((<span class="ruby-value">100</span> <span class="ruby-operator">*</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">1</span>]) <span class="ruby-operator">/</span> <span class="ruby-identifier">ntest</span>).<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">'%'</span>
|
|
23
|
+
([<span class="ruby-identifier">percentage</span>] <span class="ruby-operator">+</span> <span class="ruby-identifier">pair</span>[<span class="ruby-value">0</span>]).<span class="ruby-identifier">join</span>(<span class="ruby-value str">', '</span>)
|
|
24
|
+
<span class="ruby-keyword kw">end</span>
|
|
25
|
+
|
|
26
|
+
<span class="ruby-identifier">mes</span> = <span class="ruby-keyword kw">case</span> <span class="ruby-identifier">bag</span>.<span class="ruby-identifier">length</span>
|
|
27
|
+
<span class="ruby-keyword kw">when</span> <span class="ruby-value">0</span>
|
|
28
|
+
<span class="ruby-value str">".\n"</span>
|
|
29
|
+
<span class="ruby-keyword kw">when</span> <span class="ruby-value">1</span>
|
|
30
|
+
<span class="ruby-value str">'('</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">bag</span>[<span class="ruby-value">0</span>] <span class="ruby-operator">+</span> <span class="ruby-value str">").\n"</span>
|
|
31
|
+
<span class="ruby-keyword kw">else</span>
|
|
32
|
+
<span class="ruby-value str">".\n"</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">bag</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">".\n"</span>) <span class="ruby-operator">+</span> <span class="ruby-value str">".\n"</span>
|
|
33
|
+
<span class="ruby-keyword kw">end</span>
|
|
34
|
+
|
|
35
|
+
<span class="ruby-identifier">print</span> <span class="ruby-identifier">mes</span>
|
|
36
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
37
|
+
</body>
|
|
38
|
+
</html>
|
|
@@ -0,0 +1,55 @@
|
|
|
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>tests (RushCheck::Config)</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/config.rb, line 69</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">tests</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">rnd</span>, <span class="ruby-identifier">nt</span>=<span class="ruby-value">1</span>, <span class="ruby-identifier">nf</span>=<span class="ruby-value">0</span>, <span class="ruby-identifier">stamps</span>=[])
|
|
15
|
+
<span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">nfail</span> = <span class="ruby-identifier">nt</span>, <span class="ruby-identifier">nf</span>
|
|
16
|
+
<span class="ruby-keyword kw">while</span> <span class="ruby-keyword kw">true</span>
|
|
17
|
+
<span class="ruby-keyword kw">if</span> <span class="ruby-identifier">ntest</span> <span class="ruby-operator">></span> <span class="ruby-identifier">max_test</span>
|
|
18
|
+
<span class="ruby-identifier">done</span>(<span class="ruby-value str">'OK, passed'</span>, <span class="ruby-identifier">max_test</span>, <span class="ruby-identifier">stamps</span>)
|
|
19
|
+
<span class="ruby-identifier">tests_result</span> = <span class="ruby-keyword kw">true</span>
|
|
20
|
+
<span class="ruby-keyword kw">break</span>
|
|
21
|
+
<span class="ruby-keyword kw">end</span>
|
|
22
|
+
<span class="ruby-keyword kw">if</span> <span class="ruby-identifier">nfail</span> <span class="ruby-operator">></span> <span class="ruby-identifier">max_fail</span>
|
|
23
|
+
<span class="ruby-identifier">done</span>(<span class="ruby-value str">'Arguments exhausted after '</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
|
|
24
|
+
<span class="ruby-identifier">tests_result</span> = <span class="ruby-keyword kw">nil</span>
|
|
25
|
+
<span class="ruby-keyword kw">break</span>
|
|
26
|
+
<span class="ruby-keyword kw">end</span>
|
|
27
|
+
|
|
28
|
+
<span class="ruby-identifier">rnd_l</span>, <span class="ruby-identifier">rnd_r</span> = <span class="ruby-identifier">rnd</span>.<span class="ruby-identifier">split</span>
|
|
29
|
+
<span class="ruby-identifier">result</span> = <span class="ruby-identifier">gen</span>.<span class="ruby-identifier">generate</span>(<span class="ruby-identifier">size</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>), <span class="ruby-identifier">rnd_r</span>)
|
|
30
|
+
<span class="ruby-identifier">message</span> = <span class="ruby-identifier">every</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>)
|
|
31
|
+
<span class="ruby-identifier">print</span> <span class="ruby-identifier">message</span> <span class="ruby-comment cmt"># don't puts</span>
|
|
32
|
+
|
|
33
|
+
<span class="ruby-keyword kw">case</span> <span class="ruby-identifier">result</span>.<span class="ruby-identifier">ok</span>
|
|
34
|
+
<span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">nil</span>
|
|
35
|
+
<span class="ruby-identifier">nfail</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
|
|
36
|
+
<span class="ruby-keyword kw">redo</span>
|
|
37
|
+
<span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">true</span>
|
|
38
|
+
<span class="ruby-identifier">stamps</span>.<span class="ruby-identifier">push</span>(<span class="ruby-identifier">result</span>.<span class="ruby-identifier">stamp</span>)
|
|
39
|
+
<span class="ruby-identifier">ntest</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
|
|
40
|
+
<span class="ruby-keyword kw">redo</span>
|
|
41
|
+
<span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">false</span>
|
|
42
|
+
<span class="ruby-identifier">error</span> = <span class="ruby-value str">"Falsifiable, after "</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">ntest</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">" tests:\n"</span> <span class="ruby-operator">+</span>
|
|
43
|
+
<span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">"\n"</span>)
|
|
44
|
+
<span class="ruby-identifier">puts</span> <span class="ruby-identifier">error</span>
|
|
45
|
+
<span class="ruby-identifier">tests_result</span> = <span class="ruby-keyword kw">false</span>
|
|
46
|
+
<span class="ruby-keyword kw">break</span>
|
|
47
|
+
<span class="ruby-keyword kw">else</span>
|
|
48
|
+
<span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">"RushCheck: illegal result"</span>)
|
|
49
|
+
<span class="ruby-keyword kw">end</span>
|
|
50
|
+
<span class="ruby-keyword kw">end</span>
|
|
51
|
+
|
|
52
|
+
<span class="ruby-identifier">tests_result</span>
|
|
53
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
54
|
+
</body>
|
|
55
|
+
</html>
|
|
@@ -0,0 +1,50 @@
|
|
|
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>test_batch (RushCheck::Config)</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/config.rb, line 110</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">test_batch</span>(<span class="ruby-identifier">gen</span>, <span class="ruby-identifier">rnd</span>, <span class="ruby-identifier">nt</span>=<span class="ruby-value">1</span>, <span class="ruby-identifier">nf</span>=<span class="ruby-value">0</span>, <span class="ruby-identifier">stamps</span>=[])
|
|
15
|
+
<span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">nfail</span> = <span class="ruby-identifier">nt</span>, <span class="ruby-identifier">nf</span>
|
|
16
|
+
<span class="ruby-keyword kw">while</span> <span class="ruby-keyword kw">true</span>
|
|
17
|
+
<span class="ruby-keyword kw">if</span> <span class="ruby-identifier">ntest</span> <span class="ruby-operator">></span> <span class="ruby-identifier">max_test</span>
|
|
18
|
+
<span class="ruby-identifier">tests_result</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TestOk</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">"OK, passed"</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
|
|
19
|
+
<span class="ruby-keyword kw">break</span>
|
|
20
|
+
<span class="ruby-keyword kw">end</span>
|
|
21
|
+
<span class="ruby-keyword kw">if</span> <span class="ruby-identifier">nfail</span> <span class="ruby-operator">></span> <span class="ruby-identifier">max_fail</span>
|
|
22
|
+
<span class="ruby-identifier">test_result</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TestExausted</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">'Arguments exhausted after '</span>, <span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">stamps</span>)
|
|
23
|
+
<span class="ruby-keyword kw">break</span>
|
|
24
|
+
<span class="ruby-keyword kw">end</span>
|
|
25
|
+
|
|
26
|
+
<span class="ruby-identifier">rnd_l</span>, <span class="ruby-identifier">rnd_r</span> = <span class="ruby-identifier">rnd</span>.<span class="ruby-identifier">split</span>
|
|
27
|
+
<span class="ruby-identifier">result</span> = <span class="ruby-identifier">gen</span>.<span class="ruby-identifier">generate</span>(<span class="ruby-identifier">size</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>), <span class="ruby-identifier">rnd_r</span>)
|
|
28
|
+
<span class="ruby-identifier">message</span> = <span class="ruby-identifier">every</span>.<span class="ruby-identifier">call</span>(<span class="ruby-identifier">ntest</span>, <span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>)
|
|
29
|
+
<span class="ruby-identifier">print</span> <span class="ruby-identifier">message</span> <span class="ruby-comment cmt"># don't puts</span>
|
|
30
|
+
|
|
31
|
+
<span class="ruby-keyword kw">case</span> <span class="ruby-identifier">result</span>.<span class="ruby-identifier">ok</span>
|
|
32
|
+
<span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">nil</span>
|
|
33
|
+
<span class="ruby-identifier">nfail</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
|
|
34
|
+
<span class="ruby-keyword kw">redo</span>
|
|
35
|
+
<span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">true</span>
|
|
36
|
+
<span class="ruby-identifier">stamps</span>.<span class="ruby-identifier">push</span>(<span class="ruby-identifier">result</span>.<span class="ruby-identifier">stamp</span>)
|
|
37
|
+
<span class="ruby-identifier">ntest</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
|
|
38
|
+
<span class="ruby-keyword kw">redo</span>
|
|
39
|
+
<span class="ruby-keyword kw">when</span> <span class="ruby-keyword kw">false</span>
|
|
40
|
+
<span class="ruby-identifier">tests_result</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TestFailed</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">result</span>.<span class="ruby-identifier">arguments</span>, <span class="ruby-identifier">ntest</span>)
|
|
41
|
+
<span class="ruby-keyword kw">break</span>
|
|
42
|
+
<span class="ruby-keyword kw">else</span>
|
|
43
|
+
<span class="ruby-identifier">raise</span>(<span class="ruby-constant">RuntimeError</span>, <span class="ruby-value str">"RushCheck: illegal result"</span>)
|
|
44
|
+
<span class="ruby-keyword kw">end</span>
|
|
45
|
+
<span class="ruby-keyword kw">end</span>
|
|
46
|
+
|
|
47
|
+
<span class="ruby-identifier">test_result</span>
|
|
48
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
49
|
+
</body>
|
|
50
|
+
</html>
|
|
@@ -93,26 +93,26 @@ instances.
|
|
|
93
93
|
<h3 class="section-bar">Methods</h3>
|
|
94
94
|
|
|
95
95
|
<div class="name-list">
|
|
96
|
-
<a href="#
|
|
97
|
-
<a href="#
|
|
98
|
-
<a href="#
|
|
99
|
-
<a href="#
|
|
100
|
-
<a href="#
|
|
101
|
-
<a href="#
|
|
102
|
-
<a href="#
|
|
103
|
-
<a href="#
|
|
104
|
-
<a href="#
|
|
105
|
-
<a href="#
|
|
106
|
-
<a href="#
|
|
107
|
-
<a href="#
|
|
108
|
-
<a href="#
|
|
109
|
-
<a href="#
|
|
110
|
-
<a href="#
|
|
111
|
-
<a href="#
|
|
112
|
-
<a href="#
|
|
113
|
-
<a href="#
|
|
114
|
-
<a href="#
|
|
115
|
-
<a href="#
|
|
96
|
+
<a href="#M000096">bind</a>
|
|
97
|
+
<a href="#M000083">choose</a>
|
|
98
|
+
<a href="#M000085">create</a>
|
|
99
|
+
<a href="#M000084">create_by_gen</a>
|
|
100
|
+
<a href="#M000086">elements</a>
|
|
101
|
+
<a href="#M000098">fmap</a>
|
|
102
|
+
<a href="#M000099">forall</a>
|
|
103
|
+
<a href="#M000087">frequency</a>
|
|
104
|
+
<a href="#M000100">generate</a>
|
|
105
|
+
<a href="#M000088">lift_array</a>
|
|
106
|
+
<a href="#M000095">new</a>
|
|
107
|
+
<a href="#M000089">oneof</a>
|
|
108
|
+
<a href="#M000090">promote</a>
|
|
109
|
+
<a href="#M000091">rand</a>
|
|
110
|
+
<a href="#M000101">resize</a>
|
|
111
|
+
<a href="#M000092">sized</a>
|
|
112
|
+
<a href="#M000093">unit</a>
|
|
113
|
+
<a href="#M000097">value</a>
|
|
114
|
+
<a href="#M000102">variant</a>
|
|
115
|
+
<a href="#M000094">vector</a>
|
|
116
116
|
</div>
|
|
117
117
|
</div>
|
|
118
118
|
|
|
@@ -134,12 +134,12 @@ instances.
|
|
|
134
134
|
<div id="methods">
|
|
135
135
|
<h3 class="section-bar">Public Class methods</h3>
|
|
136
136
|
|
|
137
|
-
<div id="method-
|
|
138
|
-
<a name="
|
|
137
|
+
<div id="method-M000083" class="method-detail">
|
|
138
|
+
<a name="M000083"></a>
|
|
139
139
|
|
|
140
140
|
<div class="method-heading">
|
|
141
|
-
<a href="Gen.src/
|
|
142
|
-
onclick="popupCode('Gen.src/
|
|
141
|
+
<a href="Gen.src/M000083.html" target="Code" class="method-signature"
|
|
142
|
+
onclick="popupCode('Gen.src/M000083.html');return false;">
|
|
143
143
|
<span class="method-name">choose</span><span class="method-args">(lo=nil, hi=nil)</span>
|
|
144
144
|
</a>
|
|
145
145
|
</div>
|
|
@@ -154,32 +154,32 @@ implement arbitrary method into your class.
|
|
|
154
154
|
</div>
|
|
155
155
|
</div>
|
|
156
156
|
|
|
157
|
-
<div id="method-
|
|
158
|
-
<a name="
|
|
157
|
+
<div id="method-M000085" class="method-detail">
|
|
158
|
+
<a name="M000085"></a>
|
|
159
159
|
|
|
160
160
|
<div class="method-heading">
|
|
161
|
-
<a href="Gen.src/
|
|
162
|
-
onclick="popupCode('Gen.src/
|
|
163
|
-
<span class="method-name">create</span><span class="method-args">(cs
|
|
161
|
+
<a href="Gen.src/M000085.html" target="Code" class="method-signature"
|
|
162
|
+
onclick="popupCode('Gen.src/M000085.html');return false;">
|
|
163
|
+
<span class="method-name">create</span><span class="method-args">(*cs, &f)</span>
|
|
164
164
|
</a>
|
|
165
165
|
</div>
|
|
166
166
|
|
|
167
167
|
<div class="method-description">
|
|
168
168
|
<p>
|
|
169
169
|
create is one of primitive generators to create a random <a
|
|
170
|
-
href="Gen.html">Gen</a> object. create takes
|
|
170
|
+
href="Gen.html">Gen</a> object. create takes at least a class, and any
|
|
171
171
|
block to generate object. Then create returns a <a href="Gen.html">Gen</a>
|
|
172
172
|
object. It may useful to implement arbitrary method into your class.
|
|
173
173
|
</p>
|
|
174
174
|
</div>
|
|
175
175
|
</div>
|
|
176
176
|
|
|
177
|
-
<div id="method-
|
|
178
|
-
<a name="
|
|
177
|
+
<div id="method-M000084" class="method-detail">
|
|
178
|
+
<a name="M000084"></a>
|
|
179
179
|
|
|
180
180
|
<div class="method-heading">
|
|
181
|
-
<a href="Gen.src/
|
|
182
|
-
onclick="popupCode('Gen.src/
|
|
181
|
+
<a href="Gen.src/M000084.html" target="Code" class="method-signature"
|
|
182
|
+
onclick="popupCode('Gen.src/M000084.html');return false;">
|
|
183
183
|
<span class="method-name">create_by_gen</span><span class="method-args">(xs, &f)</span>
|
|
184
184
|
</a>
|
|
185
185
|
</div>
|
|
@@ -195,12 +195,12 @@ implement arbitrary method into your class.
|
|
|
195
195
|
</div>
|
|
196
196
|
</div>
|
|
197
197
|
|
|
198
|
-
<div id="method-
|
|
199
|
-
<a name="
|
|
198
|
+
<div id="method-M000086" class="method-detail">
|
|
199
|
+
<a name="M000086"></a>
|
|
200
200
|
|
|
201
201
|
<div class="method-heading">
|
|
202
|
-
<a href="Gen.src/
|
|
203
|
-
onclick="popupCode('Gen.src/
|
|
202
|
+
<a href="Gen.src/M000086.html" target="Code" class="method-signature"
|
|
203
|
+
onclick="popupCode('Gen.src/M000086.html');return false;">
|
|
204
204
|
<span class="method-name">elements</span><span class="method-args">(xs)</span>
|
|
205
205
|
</a>
|
|
206
206
|
</div>
|
|
@@ -215,12 +215,12 @@ randomly. It may useful to implement arbitrary method into your class.
|
|
|
215
215
|
</div>
|
|
216
216
|
</div>
|
|
217
217
|
|
|
218
|
-
<div id="method-
|
|
219
|
-
<a name="
|
|
218
|
+
<div id="method-M000087" class="method-detail">
|
|
219
|
+
<a name="M000087"></a>
|
|
220
220
|
|
|
221
221
|
<div class="method-heading">
|
|
222
|
-
<a href="Gen.src/
|
|
223
|
-
onclick="popupCode('Gen.src/
|
|
222
|
+
<a href="Gen.src/M000087.html" target="Code" class="method-signature"
|
|
223
|
+
onclick="popupCode('Gen.src/M000087.html');return false;">
|
|
224
224
|
<span class="method-name">frequency</span><span class="method-args">(xs)</span>
|
|
225
225
|
</a>
|
|
226
226
|
</div>
|
|
@@ -233,44 +233,44 @@ returns a <a href="Gen.html">Gen</a> object. The first component of pair
|
|
|
233
233
|
should be a positive <a href="../Integer.html">Integer</a> and the second
|
|
234
234
|
one should be a <a href="Gen.html">Gen</a> object. The integer acts as a
|
|
235
235
|
weight for choosing random <a href="Gen.html">Gen</a> object in the array.
|
|
236
|
-
For example, frequency([[1, <a href="Gen.html#
|
|
236
|
+
For example, frequency([[1, <a href="Gen.html#M000091">Gen.rand</a>], [2,
|
|
237
237
|
<a href="../Integer.html#M000002">Integer.arbitrary</a>]]) returns the
|
|
238
|
-
random generator <a href="Gen.html#
|
|
238
|
+
random generator <a href="Gen.html#M000091">Gen.rand</a> in 33%, while
|
|
239
239
|
another random generator of <a href="../Integer.html">Integer</a> (<a
|
|
240
240
|
href="../Integer.html#M000002">Integer.arbitrary</a>) in 67%.
|
|
241
241
|
</p>
|
|
242
242
|
</div>
|
|
243
243
|
</div>
|
|
244
244
|
|
|
245
|
-
<div id="method-
|
|
246
|
-
<a name="
|
|
245
|
+
<div id="method-M000088" class="method-detail">
|
|
246
|
+
<a name="M000088"></a>
|
|
247
247
|
|
|
248
248
|
<div class="method-heading">
|
|
249
|
-
<a href="Gen.src/
|
|
250
|
-
onclick="popupCode('Gen.src/
|
|
249
|
+
<a href="Gen.src/M000088.html" target="Code" class="method-signature"
|
|
250
|
+
onclick="popupCode('Gen.src/M000088.html');return false;">
|
|
251
251
|
<span class="method-name">lift_array</span><span class="method-args">(xs) {|.value(n, r1)| ...}</span>
|
|
252
252
|
</a>
|
|
253
253
|
</div>
|
|
254
254
|
|
|
255
255
|
<div class="method-description">
|
|
256
256
|
<p>
|
|
257
|
-
<a href="Gen.html#
|
|
257
|
+
<a href="Gen.html#M000088">lift_array</a> is one of primitive generators to
|
|
258
258
|
create a randam <a href="Gen.html">Gen</a> object. <a
|
|
259
|
-
href="Gen.html#
|
|
259
|
+
href="Gen.html#M000088">lift_array</a> takes an array and a block which has
|
|
260
260
|
a variable. The block should return a <a href="Gen.html">Gen</a> object. <a
|
|
261
|
-
href="Gen.html#
|
|
261
|
+
href="Gen.html#M000088">lift_array</a> returns a <a href="Gen.html">Gen</a>
|
|
262
262
|
object which generates an array of the result of given block for applying
|
|
263
263
|
each member of given array.
|
|
264
264
|
</p>
|
|
265
265
|
</div>
|
|
266
266
|
</div>
|
|
267
267
|
|
|
268
|
-
<div id="method-
|
|
269
|
-
<a name="
|
|
268
|
+
<div id="method-M000095" class="method-detail">
|
|
269
|
+
<a name="M000095"></a>
|
|
270
270
|
|
|
271
271
|
<div class="method-heading">
|
|
272
|
-
<a href="Gen.src/
|
|
273
|
-
onclick="popupCode('Gen.src/
|
|
272
|
+
<a href="Gen.src/M000095.html" target="Code" class="method-signature"
|
|
273
|
+
onclick="popupCode('Gen.src/M000095.html');return false;">
|
|
274
274
|
<span class="method-name">new</span><span class="method-args">(&f)</span>
|
|
275
275
|
</a>
|
|
276
276
|
</div>
|
|
@@ -285,12 +285,12 @@ href="RandomGen.html">RandomGen</a>.
|
|
|
285
285
|
</div>
|
|
286
286
|
</div>
|
|
287
287
|
|
|
288
|
-
<div id="method-
|
|
289
|
-
<a name="
|
|
288
|
+
<div id="method-M000089" class="method-detail">
|
|
289
|
+
<a name="M000089"></a>
|
|
290
290
|
|
|
291
291
|
<div class="method-heading">
|
|
292
|
-
<a href="Gen.src/
|
|
293
|
-
onclick="popupCode('Gen.src/
|
|
292
|
+
<a href="Gen.src/M000089.html" target="Code" class="method-signature"
|
|
293
|
+
onclick="popupCode('Gen.src/M000089.html');return false;">
|
|
294
294
|
<span class="method-name">oneof</span><span class="method-args">(gens)</span>
|
|
295
295
|
</a>
|
|
296
296
|
</div>
|
|
@@ -306,12 +306,12 @@ randomly. It may useful to implement arbitrary method into your class.
|
|
|
306
306
|
</div>
|
|
307
307
|
</div>
|
|
308
308
|
|
|
309
|
-
<div id="method-
|
|
310
|
-
<a name="
|
|
309
|
+
<div id="method-M000090" class="method-detail">
|
|
310
|
+
<a name="M000090"></a>
|
|
311
311
|
|
|
312
312
|
<div class="method-heading">
|
|
313
|
-
<a href="Gen.src/
|
|
314
|
-
onclick="popupCode('Gen.src/
|
|
313
|
+
<a href="Gen.src/M000090.html" target="Code" class="method-signature"
|
|
314
|
+
onclick="popupCode('Gen.src/M000090.html');return false;">
|
|
315
315
|
<span class="method-name">promote</span><span class="method-args">() {|a| ...}</span>
|
|
316
316
|
</a>
|
|
317
317
|
</div>
|
|
@@ -328,12 +328,12 @@ coarbitrary method into your class.
|
|
|
328
328
|
</div>
|
|
329
329
|
</div>
|
|
330
330
|
|
|
331
|
-
<div id="method-
|
|
332
|
-
<a name="
|
|
331
|
+
<div id="method-M000091" class="method-detail">
|
|
332
|
+
<a name="M000091"></a>
|
|
333
333
|
|
|
334
334
|
<div class="method-heading">
|
|
335
|
-
<a href="Gen.src/
|
|
336
|
-
onclick="popupCode('Gen.src/
|
|
335
|
+
<a href="Gen.src/M000091.html" target="Code" class="method-signature"
|
|
336
|
+
onclick="popupCode('Gen.src/M000091.html');return false;">
|
|
337
337
|
<span class="method-name">rand</span><span class="method-args">()</span>
|
|
338
338
|
</a>
|
|
339
339
|
</div>
|
|
@@ -346,12 +346,12 @@ number generator.
|
|
|
346
346
|
</div>
|
|
347
347
|
</div>
|
|
348
348
|
|
|
349
|
-
<div id="method-
|
|
350
|
-
<a name="
|
|
349
|
+
<div id="method-M000092" class="method-detail">
|
|
350
|
+
<a name="M000092"></a>
|
|
351
351
|
|
|
352
352
|
<div class="method-heading">
|
|
353
|
-
<a href="Gen.src/
|
|
354
|
-
onclick="popupCode('Gen.src/
|
|
353
|
+
<a href="Gen.src/M000092.html" target="Code" class="method-signature"
|
|
354
|
+
onclick="popupCode('Gen.src/M000092.html');return false;">
|
|
355
355
|
<span class="method-name">sized</span><span class="method-args">() {|n| ...}</span>
|
|
356
356
|
</a>
|
|
357
357
|
</div>
|
|
@@ -365,12 +365,12 @@ The block should be a function which changes the size of random instances.
|
|
|
365
365
|
</div>
|
|
366
366
|
</div>
|
|
367
367
|
|
|
368
|
-
<div id="method-
|
|
369
|
-
<a name="
|
|
368
|
+
<div id="method-M000093" class="method-detail">
|
|
369
|
+
<a name="M000093"></a>
|
|
370
370
|
|
|
371
371
|
<div class="method-heading">
|
|
372
|
-
<a href="Gen.src/
|
|
373
|
-
onclick="popupCode('Gen.src/
|
|
372
|
+
<a href="Gen.src/M000093.html" target="Code" class="method-signature"
|
|
373
|
+
onclick="popupCode('Gen.src/M000093.html');return false;">
|
|
374
374
|
<span class="method-name">unit</span><span class="method-args">(x)</span>
|
|
375
375
|
</a>
|
|
376
376
|
</div>
|
|
@@ -384,12 +384,12 @@ href="Gen.html">Gen</a> object which generates the given object.
|
|
|
384
384
|
</div>
|
|
385
385
|
</div>
|
|
386
386
|
|
|
387
|
-
<div id="method-
|
|
388
|
-
<a name="
|
|
387
|
+
<div id="method-M000094" class="method-detail">
|
|
388
|
+
<a name="M000094"></a>
|
|
389
389
|
|
|
390
390
|
<div class="method-heading">
|
|
391
|
-
<a href="Gen.src/
|
|
392
|
-
onclick="popupCode('Gen.src/
|
|
391
|
+
<a href="Gen.src/M000094.html" target="Code" class="method-signature"
|
|
392
|
+
onclick="popupCode('Gen.src/M000094.html');return false;">
|
|
393
393
|
<span class="method-name">vector</span><span class="method-args">(c, len)</span>
|
|
394
394
|
</a>
|
|
395
395
|
</div>
|
|
@@ -407,12 +407,12 @@ belongs the given class and given length.
|
|
|
407
407
|
|
|
408
408
|
<h3 class="section-bar">Public Instance methods</h3>
|
|
409
409
|
|
|
410
|
-
<div id="method-
|
|
411
|
-
<a name="
|
|
410
|
+
<div id="method-M000096" class="method-detail">
|
|
411
|
+
<a name="M000096"></a>
|
|
412
412
|
|
|
413
413
|
<div class="method-heading">
|
|
414
|
-
<a href="Gen.src/
|
|
415
|
-
onclick="popupCode('Gen.src/
|
|
414
|
+
<a href="Gen.src/M000096.html" target="Code" class="method-signature"
|
|
415
|
+
onclick="popupCode('Gen.src/M000096.html');return false;">
|
|
416
416
|
<span class="method-name">bind</span><span class="method-args">() {|value(n, r1)| ...}</span>
|
|
417
417
|
</a>
|
|
418
418
|
</div>
|
|
@@ -427,12 +427,12 @@ href="Gen.html">Gen</a> object.
|
|
|
427
427
|
</div>
|
|
428
428
|
</div>
|
|
429
429
|
|
|
430
|
-
<div id="method-
|
|
431
|
-
<a name="
|
|
430
|
+
<div id="method-M000098" class="method-detail">
|
|
431
|
+
<a name="M000098"></a>
|
|
432
432
|
|
|
433
433
|
<div class="method-heading">
|
|
434
|
-
<a href="Gen.src/
|
|
435
|
-
onclick="popupCode('Gen.src/
|
|
434
|
+
<a href="Gen.src/M000098.html" target="Code" class="method-signature"
|
|
435
|
+
onclick="popupCode('Gen.src/M000098.html');return false;">
|
|
436
436
|
<span class="method-name">fmap</span><span class="method-args">() {|x| ...}</span>
|
|
437
437
|
</a>
|
|
438
438
|
</div>
|
|
@@ -445,12 +445,12 @@ which takes one variable.
|
|
|
445
445
|
</div>
|
|
446
446
|
</div>
|
|
447
447
|
|
|
448
|
-
<div id="method-
|
|
449
|
-
<a name="
|
|
448
|
+
<div id="method-M000099" class="method-detail">
|
|
449
|
+
<a name="M000099"></a>
|
|
450
450
|
|
|
451
451
|
<div class="method-heading">
|
|
452
|
-
<a href="Gen.src/
|
|
453
|
-
onclick="popupCode('Gen.src/
|
|
452
|
+
<a href="Gen.src/M000099.html" target="Code" class="method-signature"
|
|
453
|
+
onclick="popupCode('Gen.src/M000099.html');return false;">
|
|
454
454
|
<span class="method-name">forall</span><span class="method-args">() {|*a| ...}</span>
|
|
455
455
|
</a>
|
|
456
456
|
</div>
|
|
@@ -465,12 +465,12 @@ of the property.
|
|
|
465
465
|
</div>
|
|
466
466
|
</div>
|
|
467
467
|
|
|
468
|
-
<div id="method-
|
|
469
|
-
<a name="
|
|
468
|
+
<div id="method-M000100" class="method-detail">
|
|
469
|
+
<a name="M000100"></a>
|
|
470
470
|
|
|
471
471
|
<div class="method-heading">
|
|
472
|
-
<a href="Gen.src/
|
|
473
|
-
onclick="popupCode('Gen.src/
|
|
472
|
+
<a href="Gen.src/M000100.html" target="Code" class="method-signature"
|
|
473
|
+
onclick="popupCode('Gen.src/M000100.html');return false;">
|
|
474
474
|
<span class="method-name">generate</span><span class="method-args">(n, rnd)</span>
|
|
475
475
|
</a>
|
|
476
476
|
</div>
|
|
@@ -484,12 +484,12 @@ number generator such as <a href="StdGen.html">StdGen</a>.
|
|
|
484
484
|
</div>
|
|
485
485
|
</div>
|
|
486
486
|
|
|
487
|
-
<div id="method-
|
|
488
|
-
<a name="
|
|
487
|
+
<div id="method-M000101" class="method-detail">
|
|
488
|
+
<a name="M000101"></a>
|
|
489
489
|
|
|
490
490
|
<div class="method-heading">
|
|
491
|
-
<a href="Gen.src/
|
|
492
|
-
onclick="popupCode('Gen.src/
|
|
491
|
+
<a href="Gen.src/M000101.html" target="Code" class="method-signature"
|
|
492
|
+
onclick="popupCode('Gen.src/M000101.html');return false;">
|
|
493
493
|
<span class="method-name">resize</span><span class="method-args">(n)</span>
|
|
494
494
|
</a>
|
|
495
495
|
</div>
|
|
@@ -503,12 +503,12 @@ href="../Integer.html">Integer</a>.
|
|
|
503
503
|
</div>
|
|
504
504
|
</div>
|
|
505
505
|
|
|
506
|
-
<div id="method-
|
|
507
|
-
<a name="
|
|
506
|
+
<div id="method-M000097" class="method-detail">
|
|
507
|
+
<a name="M000097"></a>
|
|
508
508
|
|
|
509
509
|
<div class="method-heading">
|
|
510
|
-
<a href="Gen.src/
|
|
511
|
-
onclick="popupCode('Gen.src/
|
|
510
|
+
<a href="Gen.src/M000097.html" target="Code" class="method-signature"
|
|
511
|
+
onclick="popupCode('Gen.src/M000097.html');return false;">
|
|
512
512
|
<span class="method-name">value</span><span class="method-args">(n, g)</span>
|
|
513
513
|
</a>
|
|
514
514
|
</div>
|
|
@@ -523,12 +523,12 @@ href="RandomGen.html">RandomGen</a>.
|
|
|
523
523
|
</div>
|
|
524
524
|
</div>
|
|
525
525
|
|
|
526
|
-
<div id="method-
|
|
527
|
-
<a name="
|
|
526
|
+
<div id="method-M000102" class="method-detail">
|
|
527
|
+
<a name="M000102"></a>
|
|
528
528
|
|
|
529
529
|
<div class="method-heading">
|
|
530
|
-
<a href="Gen.src/
|
|
531
|
-
onclick="popupCode('Gen.src/
|
|
530
|
+
<a href="Gen.src/M000102.html" target="Code" class="method-signature"
|
|
531
|
+
onclick="popupCode('Gen.src/M000102.html');return false;">
|
|
532
532
|
<span class="method-name">variant</span><span class="method-args">(v)</span>
|
|
533
533
|
</a>
|
|
534
534
|
</div>
|