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>property (RushCheck::Testable)</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/testable.rb, line 13</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
|
|
15
|
+
<span class="ruby-identifier">raise</span>(<span class="ruby-constant">NotImplementedError</span>, <span class="ruby-value str">"This method should be overrided."</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>check (RushCheck::Testable)</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/testable.rb, line 17</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">check</span>(<span class="ruby-identifier">config</span>=<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Config</span>.<span class="ruby-identifier">quick</span>)
|
|
15
|
+
<span class="ruby-identifier">config</span>.<span class="ruby-identifier">tests</span>(<span class="ruby-identifier">property</span>.<span class="ruby-identifier">gen</span>, <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">TheStdGen</span>.<span class="ruby-identifier">instance</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>classify (RushCheck::Testable)</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/testable.rb, line 23</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">classify</span>(<span class="ruby-identifier">name</span>)
|
|
15
|
+
<span class="ruby-keyword kw">yield</span> <span class="ruby-operator">?</span> <span class="ruby-identifier">label</span>(<span class="ruby-identifier">name</span>) <span class="ruby-operator">:</span> <span class="ruby-identifier">property</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>imply (RushCheck::Testable)</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/testable.rb, line 27</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">imply</span>
|
|
15
|
+
<span class="ruby-keyword kw">yield</span> <span class="ruby-operator">?</span> <span class="ruby-identifier">property</span> <span class="ruby-operator">:</span> <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">nothing</span>.<span class="ruby-identifier">result</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>label (RushCheck::Testable)</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/testable.rb, line 31</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">label</span>(<span class="ruby-identifier">s</span>)
|
|
15
|
+
<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Property</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">property</span>.<span class="ruby-identifier">gen</span>.<span class="ruby-identifier">fmap</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">res</span><span class="ruby-operator">|</span> <span class="ruby-identifier">res</span>.<span class="ruby-identifier">stamp</span> <span class="ruby-operator"><<</span> <span class="ruby-identifier">s</span>.<span class="ruby-identifier">to_s</span>; <span class="ruby-identifier">res</span> })
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</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>run (RushCheck::Testable)</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/testable.rb, line 36</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">run</span>(<span class="ruby-identifier">opts</span>)
|
|
15
|
+
<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Config</span>.<span class="ruby-identifier">batch</span>(<span class="ruby-identifier">opts</span>.<span class="ruby-identifier">ntests</span>, <span class="ruby-identifier">opts</span>.<span class="ruby-identifier">debug?</span>).
|
|
16
|
+
<span class="ruby-identifier">tests_batch</span>(<span class="ruby-identifier">property</span>, <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">StdGen</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value">0</span>))
|
|
17
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
18
|
+
</body>
|
|
19
|
+
</html>
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>run_tests (RushCheck::Testable)</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/testable.rb, line 93</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">run_tests</span>(<span class="ruby-identifier">name</span>, <span class="ruby-identifier">opts</span>, <span class="ruby-identifier">tests</span>)
|
|
15
|
+
<span class="ruby-identifier">print</span>(<span class="ruby-identifier">rjustify</span>(<span class="ruby-value">25</span>, <span class="ruby-identifier">name</span>) <span class="ruby-operator">+</span> <span class="ruby-value str">" : "</span>)
|
|
16
|
+
<span class="ruby-identifier">f</span> = <span class="ruby-identifier">try_test</span>(<span class="ruby-identifier">tests</span>)
|
|
17
|
+
<span class="ruby-identifier">f</span>.<span class="ruby-identifier">each</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">f</span>, <span class="ruby-identifier">n</span>, <span class="ruby-identifier">no</span><span class="ruby-operator">|</span> <span class="ruby-identifier">final_run</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">n</span>, <span class="ruby-identifier">no</span>, <span class="ruby-identifier">name</span>) }
|
|
18
|
+
<span class="ruby-keyword kw">nil</span>
|
|
19
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
20
|
+
</body>
|
|
21
|
+
</html>
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>test (RushCheck::Testable)</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/testable.rb, line 100</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">test</span>
|
|
15
|
+
<span class="ruby-identifier">check</span>(<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Config</span>.<span class="ruby-identifier">verbose</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>testcase (RushCheck::Testable)</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/testable.rb, line 105</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">testcase</span>
|
|
15
|
+
<span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">opts</span><span class="ruby-operator">|</span> <span class="ruby-identifier">run</span>(<span class="ruby-identifier">opts</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>trivial (RushCheck::Testable)</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/testable.rb, line 109</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">trivial</span>
|
|
15
|
+
<span class="ruby-identifier">classify</span>(<span class="ruby-value str">'trivial'</span>) { <span class="ruby-keyword kw">yield</span> }
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -0,0 +1,200 @@
|
|
|
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 xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
|
|
7
|
+
<head>
|
|
8
|
+
<title>Class: RushCheck::TheStdGen</title>
|
|
9
|
+
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
|
|
10
|
+
<meta http-equiv="Content-Script-Type" content="text/javascript" />
|
|
11
|
+
<link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
|
|
12
|
+
<script type="text/javascript">
|
|
13
|
+
// <![CDATA[
|
|
14
|
+
|
|
15
|
+
function popupCode( url ) {
|
|
16
|
+
window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
|
|
17
|
+
}
|
|
18
|
+
|
|
19
|
+
function toggleCode( id ) {
|
|
20
|
+
if ( document.getElementById )
|
|
21
|
+
elem = document.getElementById( id );
|
|
22
|
+
else if ( document.all )
|
|
23
|
+
elem = eval( "document.all." + id );
|
|
24
|
+
else
|
|
25
|
+
return false;
|
|
26
|
+
|
|
27
|
+
elemStyle = elem.style;
|
|
28
|
+
|
|
29
|
+
if ( elemStyle.display != "block" ) {
|
|
30
|
+
elemStyle.display = "block"
|
|
31
|
+
} else {
|
|
32
|
+
elemStyle.display = "none"
|
|
33
|
+
}
|
|
34
|
+
|
|
35
|
+
return true;
|
|
36
|
+
}
|
|
37
|
+
|
|
38
|
+
// Make codeblocks hidden by default
|
|
39
|
+
document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
|
|
40
|
+
|
|
41
|
+
// ]]>
|
|
42
|
+
</script>
|
|
43
|
+
|
|
44
|
+
</head>
|
|
45
|
+
<body>
|
|
46
|
+
|
|
47
|
+
|
|
48
|
+
|
|
49
|
+
<div id="classHeader">
|
|
50
|
+
<table class="header-table">
|
|
51
|
+
<tr class="top-aligned-row">
|
|
52
|
+
<td><strong>Class</strong></td>
|
|
53
|
+
<td class="class-name-in-header">RushCheck::TheStdGen</td>
|
|
54
|
+
</tr>
|
|
55
|
+
<tr class="top-aligned-row">
|
|
56
|
+
<td><strong>In:</strong></td>
|
|
57
|
+
<td>
|
|
58
|
+
<a href="../../files/rushcheck/random_rb.html">
|
|
59
|
+
rushcheck/random.rb
|
|
60
|
+
</a>
|
|
61
|
+
<br />
|
|
62
|
+
</td>
|
|
63
|
+
</tr>
|
|
64
|
+
|
|
65
|
+
<tr class="top-aligned-row">
|
|
66
|
+
<td><strong>Parent:</strong></td>
|
|
67
|
+
<td>
|
|
68
|
+
Object
|
|
69
|
+
</td>
|
|
70
|
+
</tr>
|
|
71
|
+
</table>
|
|
72
|
+
</div>
|
|
73
|
+
<!-- banner header -->
|
|
74
|
+
|
|
75
|
+
<div id="bodyContent">
|
|
76
|
+
|
|
77
|
+
|
|
78
|
+
|
|
79
|
+
<div id="contextContent">
|
|
80
|
+
|
|
81
|
+
<div id="description">
|
|
82
|
+
<p>
|
|
83
|
+
<a href="TheStdGen.html">TheStdGen</a> is a singleton class to get the
|
|
84
|
+
unique random number generator using <a href="StdGen.html">StdGen</a>. <a
|
|
85
|
+
href="TheStdGen.html">TheStdGen</a> includes ruby’s Singleton module.
|
|
86
|
+
</p>
|
|
87
|
+
|
|
88
|
+
</div>
|
|
89
|
+
|
|
90
|
+
|
|
91
|
+
</div>
|
|
92
|
+
|
|
93
|
+
<div id="method-list">
|
|
94
|
+
<h3 class="section-bar">Methods</h3>
|
|
95
|
+
|
|
96
|
+
<div class="name-list">
|
|
97
|
+
<a href="#M000102">gen_next</a>
|
|
98
|
+
<a href="#M000104">gen_range</a>
|
|
99
|
+
<a href="#M000101">new</a>
|
|
100
|
+
<a href="#M000103">split</a>
|
|
101
|
+
</div>
|
|
102
|
+
</div>
|
|
103
|
+
|
|
104
|
+
</div>
|
|
105
|
+
|
|
106
|
+
|
|
107
|
+
<!-- if includes -->
|
|
108
|
+
<div id="includes">
|
|
109
|
+
<h3 class="section-bar">Included Modules</h3>
|
|
110
|
+
|
|
111
|
+
<div id="includes-list">
|
|
112
|
+
<span class="include-name">Singleton</span>
|
|
113
|
+
<span class="include-name"><a href="RandomGen.html">RushCheck::RandomGen</a></span>
|
|
114
|
+
</div>
|
|
115
|
+
</div>
|
|
116
|
+
|
|
117
|
+
<div id="section">
|
|
118
|
+
|
|
119
|
+
|
|
120
|
+
|
|
121
|
+
|
|
122
|
+
|
|
123
|
+
|
|
124
|
+
|
|
125
|
+
|
|
126
|
+
<!-- if method_list -->
|
|
127
|
+
<div id="methods">
|
|
128
|
+
<h3 class="section-bar">Public Class methods</h3>
|
|
129
|
+
|
|
130
|
+
<div id="method-M000101" class="method-detail">
|
|
131
|
+
<a name="M000101"></a>
|
|
132
|
+
|
|
133
|
+
<div class="method-heading">
|
|
134
|
+
<a href="TheStdGen.src/M000101.html" target="Code" class="method-signature"
|
|
135
|
+
onclick="popupCode('TheStdGen.src/M000101.html');return false;">
|
|
136
|
+
<span class="method-name">new</span><span class="method-args">()</span>
|
|
137
|
+
</a>
|
|
138
|
+
</div>
|
|
139
|
+
|
|
140
|
+
<div class="method-description">
|
|
141
|
+
</div>
|
|
142
|
+
</div>
|
|
143
|
+
|
|
144
|
+
<h3 class="section-bar">Public Instance methods</h3>
|
|
145
|
+
|
|
146
|
+
<div id="method-M000102" class="method-detail">
|
|
147
|
+
<a name="M000102"></a>
|
|
148
|
+
|
|
149
|
+
<div class="method-heading">
|
|
150
|
+
<a href="TheStdGen.src/M000102.html" target="Code" class="method-signature"
|
|
151
|
+
onclick="popupCode('TheStdGen.src/M000102.html');return false;">
|
|
152
|
+
<span class="method-name">gen_next</span><span class="method-args">()</span>
|
|
153
|
+
</a>
|
|
154
|
+
</div>
|
|
155
|
+
|
|
156
|
+
<div class="method-description">
|
|
157
|
+
</div>
|
|
158
|
+
</div>
|
|
159
|
+
|
|
160
|
+
<div id="method-M000104" class="method-detail">
|
|
161
|
+
<a name="M000104"></a>
|
|
162
|
+
|
|
163
|
+
<div class="method-heading">
|
|
164
|
+
<a href="TheStdGen.src/M000104.html" target="Code" class="method-signature"
|
|
165
|
+
onclick="popupCode('TheStdGen.src/M000104.html');return false;">
|
|
166
|
+
<span class="method-name">gen_range</span><span class="method-args">()</span>
|
|
167
|
+
</a>
|
|
168
|
+
</div>
|
|
169
|
+
|
|
170
|
+
<div class="method-description">
|
|
171
|
+
</div>
|
|
172
|
+
</div>
|
|
173
|
+
|
|
174
|
+
<div id="method-M000103" class="method-detail">
|
|
175
|
+
<a name="M000103"></a>
|
|
176
|
+
|
|
177
|
+
<div class="method-heading">
|
|
178
|
+
<a href="TheStdGen.src/M000103.html" target="Code" class="method-signature"
|
|
179
|
+
onclick="popupCode('TheStdGen.src/M000103.html');return false;">
|
|
180
|
+
<span class="method-name">split</span><span class="method-args">()</span>
|
|
181
|
+
</a>
|
|
182
|
+
</div>
|
|
183
|
+
|
|
184
|
+
<div class="method-description">
|
|
185
|
+
</div>
|
|
186
|
+
</div>
|
|
187
|
+
|
|
188
|
+
|
|
189
|
+
</div>
|
|
190
|
+
|
|
191
|
+
|
|
192
|
+
</div>
|
|
193
|
+
|
|
194
|
+
|
|
195
|
+
<div id="validator-badges">
|
|
196
|
+
<p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
|
|
197
|
+
</div>
|
|
198
|
+
|
|
199
|
+
</body>
|
|
200
|
+
</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::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 129</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>
|
|
15
|
+
<span class="ruby-ivar">@gen</span> = <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">StdGen</span>.<span class="ruby-identifier">new</span>
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>gen_next (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 133</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">gen_next</span>
|
|
15
|
+
<span class="ruby-ivar">@gen</span>, <span class="ruby-identifier">result</span> = <span class="ruby-ivar">@gen</span>.<span class="ruby-identifier">split</span>
|
|
16
|
+
|
|
17
|
+
<span class="ruby-identifier">result</span>.<span class="ruby-identifier">gen_next</span>
|
|
18
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
19
|
+
</body>
|
|
20
|
+
</html>
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>split (RushCheck::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 139</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">split</span>
|
|
15
|
+
<span class="ruby-identifier">result</span> = <span class="ruby-ivar">@gen</span>.<span class="ruby-identifier">split</span>
|
|
16
|
+
<span class="ruby-ivar">@gen</span> = <span class="ruby-ivar">@gen</span>.<span class="ruby-identifier">gen_next</span>[<span class="ruby-value">1</span>]
|
|
17
|
+
|
|
18
|
+
<span class="ruby-identifier">result</span>
|
|
19
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
20
|
+
</body>
|
|
21
|
+
</html>
|