rushcheck 0.6 → 0.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- data/README +0 -18
- data/Rakefile +18 -2
- data/Rakefile.in +17 -1
- data/data/rushcheck/doc/rushcheck.thtml +4 -3
- data/data/rushcheck/examples/roguetile.rb +2 -2
- data/data/rushcheck/examples/rspec/stack_spec.rb +22 -22
- data/data/rushcheck/rdoc/classes/FalseClass.html +15 -15
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000008.html +4 -4
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000009.html +18 -0
- data/data/rushcheck/rdoc/classes/FalseClass.src/M000010.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.html +20 -20
- data/data/rushcheck/rdoc/classes/Float.src/M000021.html +21 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000022.html +18 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000023.html +22 -0
- data/data/rushcheck/rdoc/classes/Float.src/M000024.html +20 -0
- data/data/rushcheck/rdoc/classes/NegativeInteger.html +160 -0
- data/data/rushcheck/rdoc/classes/NegativeInteger.src/M000005.html +26 -0
- data/data/rushcheck/rdoc/classes/NegativeInteger.src/M000006.html +21 -0
- data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
- data/data/rushcheck/rdoc/classes/NilClass.src/M000029.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.src/M000030.html +18 -0
- data/data/rushcheck/rdoc/classes/NilClass.src/M000031.html +18 -0
- data/data/rushcheck/rdoc/classes/NonEmptyRandomArray.html +139 -0
- data/data/rushcheck/rdoc/classes/NonEmptyRandomArray.src/M000011.html +20 -0
- data/data/rushcheck/rdoc/classes/PositiveInteger.html +160 -0
- data/data/rushcheck/rdoc/classes/PositiveInteger.src/M000032.html +26 -0
- data/data/rushcheck/rdoc/classes/PositiveInteger.src/M000033.html +21 -0
- data/data/rushcheck/rdoc/classes/RandomArray.html +75 -15
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000012.html +19 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000013.html +25 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000014.html +27 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000015.html +23 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000016.html +23 -0
- data/data/rushcheck/rdoc/classes/RandomArray.src/M000017.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000018.html +19 -0
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000019.html +26 -0
- data/data/rushcheck/rdoc/classes/RandomHash.src/M000020.html +22 -0
- data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000025.html +18 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000026.html +30 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000027.html +26 -0
- data/data/rushcheck/rdoc/classes/RandomProc.src/M000028.html +20 -0
- data/data/rushcheck/rdoc/classes/RushCheck.html +10 -10
- data/data/rushcheck/rdoc/classes/RushCheck.src/M000041.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck.src/M000042.html +27 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.html +5 -5
- data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.src/M000043.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Assertion.html +12 -12
- data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000081.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000082.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Claim.html +9 -9
- data/data/rushcheck/rdoc/classes/RushCheck/Claim.src/M000116.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.html +5 -5
- data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000066.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.html +35 -35
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000074.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000075.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000076.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000077.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000078.html +38 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000079.html +55 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000080.html +50 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.html +107 -107
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000083.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000084.html +26 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000085.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000086.html +6 -10
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000087.html +14 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000088.html +9 -6
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000089.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000090.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000091.html +4 -9
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000092.html +4 -5
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000093.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000094.html +8 -8
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000095.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000096.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000097.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000098.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000099.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000100.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000101.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000102.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.html +20 -20
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000049.html +22 -0
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000050.html +32 -0
- data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000051.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Property.html +10 -10
- data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000114.html +26 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000115.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.html +10 -10
- data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000047.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000048.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.html +20 -20
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000044.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000045.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000046.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Result.html +19 -19
- data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000103.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000104.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000105.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.html +27 -27
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000069.html +23 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000070.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000071.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000072.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000073.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.html +5 -5
- data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.src/M000107.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.html +10 -10
- data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000067.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000068.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TestResult.html +5 -5
- data/data/rushcheck/rdoc/classes/RushCheck/TestResult.src/M000108.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.html +66 -66
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000052.html +4 -5
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000053.html +4 -7
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000056.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000057.html +4 -4
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000058.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000060.html +19 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000061.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000062.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000064.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000065.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.html +38 -21
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000109.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000110.html +20 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000111.html +21 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000112.html +18 -0
- data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000113.html +18 -0
- data/data/rushcheck/rdoc/classes/SpecialString.html +5 -5
- data/data/rushcheck/rdoc/classes/SpecialString.src/M000007.html +37 -0
- data/data/rushcheck/rdoc/classes/String.html +20 -20
- data/data/rushcheck/rdoc/classes/String.src/M000034.html +24 -0
- data/data/rushcheck/rdoc/classes/String.src/M000035.html +18 -0
- data/data/rushcheck/rdoc/classes/String.src/M000036.html +25 -0
- data/data/rushcheck/rdoc/classes/String.src/M000037.html +22 -0
- data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000038.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000039.html +18 -0
- data/data/rushcheck/rdoc/classes/TrueClass.src/M000040.html +18 -0
- data/data/rushcheck/rdoc/created.rid +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/array_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/bool_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/integer_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/random_rb.html +1 -1
- data/data/rushcheck/rdoc/files/rushcheck/version_rb.html +1 -1
- data/data/rushcheck/rdoc/fr_class_index.html +3 -0
- data/data/rushcheck/rdoc/fr_method_index.html +112 -103
- data/lib/rushcheck/array.rb +58 -17
- data/lib/rushcheck/assertion.rb +1 -1
- data/lib/rushcheck/gen.rb +7 -9
- data/lib/rushcheck/integer.rb +56 -0
- data/lib/rushcheck/property.rb +1 -1
- data/lib/rushcheck/random.rb +5 -1
- data/lib/rushcheck/version.rb +1 -1
- metadata +98 -2
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
2
|
+
<!DOCTYPE html
|
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
5
|
+
|
|
6
|
+
<html>
|
|
7
|
+
<head>
|
|
8
|
+
<title>new (RushCheck::TestFailed)</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/testresult.rb, line 19</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">results</span>, <span class="ruby-identifier">ntests</span>)
|
|
15
|
+
<span class="ruby-ivar">@results</span>, <span class="ruby-ivar">@ntests</span> = <span class="ruby-identifier">results</span>, <span class="ruby-identifier">ntests</span>
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -86,8 +86,8 @@
|
|
|
86
86
|
<h3 class="section-bar">Methods</h3>
|
|
87
87
|
|
|
88
88
|
<div class="name-list">
|
|
89
|
-
<a href="#
|
|
90
|
-
<a href="#
|
|
89
|
+
<a href="#M000068">debug?</a>
|
|
90
|
+
<a href="#M000067">new</a>
|
|
91
91
|
</div>
|
|
92
92
|
</div>
|
|
93
93
|
|
|
@@ -127,12 +127,12 @@
|
|
|
127
127
|
<div id="methods">
|
|
128
128
|
<h3 class="section-bar">Public Class methods</h3>
|
|
129
129
|
|
|
130
|
-
<div id="method-
|
|
131
|
-
<a name="
|
|
130
|
+
<div id="method-M000067" class="method-detail">
|
|
131
|
+
<a name="M000067"></a>
|
|
132
132
|
|
|
133
133
|
<div class="method-heading">
|
|
134
|
-
<a href="TestOptions.src/
|
|
135
|
-
onclick="popupCode('TestOptions.src/
|
|
134
|
+
<a href="TestOptions.src/M000067.html" target="Code" class="method-signature"
|
|
135
|
+
onclick="popupCode('TestOptions.src/M000067.html');return false;">
|
|
136
136
|
<span class="method-name">new</span><span class="method-args">(ntests=100, length=1, debug=false)</span>
|
|
137
137
|
</a>
|
|
138
138
|
</div>
|
|
@@ -143,12 +143,12 @@
|
|
|
143
143
|
|
|
144
144
|
<h3 class="section-bar">Public Instance methods</h3>
|
|
145
145
|
|
|
146
|
-
<div id="method-
|
|
147
|
-
<a name="
|
|
146
|
+
<div id="method-M000068" class="method-detail">
|
|
147
|
+
<a name="M000068"></a>
|
|
148
148
|
|
|
149
149
|
<div class="method-heading">
|
|
150
|
-
<a href="TestOptions.src/
|
|
151
|
-
onclick="popupCode('TestOptions.src/
|
|
150
|
+
<a href="TestOptions.src/M000068.html" target="Code" class="method-signature"
|
|
151
|
+
onclick="popupCode('TestOptions.src/M000068.html');return false;">
|
|
152
152
|
<span class="method-name">debug?</span><span class="method-args">()</span>
|
|
153
153
|
</a>
|
|
154
154
|
</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>new (RushCheck::TestOptions)</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/testoptions.rb, line 9</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">ntests</span>=<span class="ruby-value">100</span>, <span class="ruby-identifier">length</span>=<span class="ruby-value">1</span>, <span class="ruby-identifier">debug</span>=<span class="ruby-keyword kw">false</span>)
|
|
15
|
+
<span class="ruby-ivar">@ntests</span>, <span class="ruby-ivar">@length</span>, <span class="ruby-ivar">@debug</span> = <span class="ruby-identifier">ntests</span>, <span class="ruby-identifier">length</span>, <span class="ruby-identifier">debug</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>debug? (RushCheck::TestOptions)</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/testoptions.rb, line 13</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">debug?</span>
|
|
15
|
+
<span class="ruby-ivar">@debug</span>
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -86,7 +86,7 @@
|
|
|
86
86
|
<h3 class="section-bar">Methods</h3>
|
|
87
87
|
|
|
88
88
|
<div class="name-list">
|
|
89
|
-
<a href="#
|
|
89
|
+
<a href="#M000108">new</a>
|
|
90
90
|
</div>
|
|
91
91
|
</div>
|
|
92
92
|
|
|
@@ -131,12 +131,12 @@
|
|
|
131
131
|
<div id="methods">
|
|
132
132
|
<h3 class="section-bar">Public Class methods</h3>
|
|
133
133
|
|
|
134
|
-
<div id="method-
|
|
135
|
-
<a name="
|
|
134
|
+
<div id="method-M000108" class="method-detail">
|
|
135
|
+
<a name="M000108"></a>
|
|
136
136
|
|
|
137
137
|
<div class="method-heading">
|
|
138
|
-
<a href="TestResult.src/
|
|
139
|
-
onclick="popupCode('TestResult.src/
|
|
138
|
+
<a href="TestResult.src/M000108.html" target="Code" class="method-signature"
|
|
139
|
+
onclick="popupCode('TestResult.src/M000108.html');return false;">
|
|
140
140
|
<span class="method-name">new</span><span class="method-args">(message, ntests, stamps)</span>
|
|
141
141
|
</a>
|
|
142
142
|
</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>new (RushCheck::TestResult)</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/testresult.rb, line 8</span>
|
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">message</span>, <span class="ruby-identifier">ntests</span>, <span class="ruby-identifier">stamps</span>)
|
|
15
|
+
<span class="ruby-ivar">@message</span>, <span class="ruby-ivar">@ntest</span>, <span class="ruby-ivar">@stamps</span> = <span class="ruby-identifier">message</span>, <span class="ruby-identifier">ntests</span>, <span class="ruby-identifier">stamps</span>
|
|
16
|
+
<span class="ruby-keyword kw">end</span></pre>
|
|
17
|
+
</body>
|
|
18
|
+
</html>
|
|
@@ -80,20 +80,20 @@
|
|
|
80
80
|
<h3 class="section-bar">Methods</h3>
|
|
81
81
|
|
|
82
82
|
<div class="name-list">
|
|
83
|
-
<a href="#
|
|
84
|
-
<a href="#
|
|
85
|
-
<a href="#
|
|
86
|
-
<a href="#
|
|
87
|
-
<a href="#
|
|
88
|
-
<a href="#
|
|
89
|
-
<a href="#
|
|
90
|
-
<a href="#
|
|
91
|
-
<a href="#
|
|
92
|
-
<a href="#
|
|
93
|
-
<a href="#
|
|
94
|
-
<a href="#
|
|
95
|
-
<a href="#
|
|
96
|
-
<a href="#
|
|
83
|
+
<a href="#M000053">check</a>
|
|
84
|
+
<a href="#M000056">classify</a>
|
|
85
|
+
<a href="#M000059">collect</a>
|
|
86
|
+
<a href="#M000057">imply</a>
|
|
87
|
+
<a href="#M000058">label</a>
|
|
88
|
+
<a href="#M000052">property</a>
|
|
89
|
+
<a href="#M000054">quick_check</a>
|
|
90
|
+
<a href="#M000055">quickcheck</a>
|
|
91
|
+
<a href="#M000060">run</a>
|
|
92
|
+
<a href="#M000061">run_tests</a>
|
|
93
|
+
<a href="#M000062">test</a>
|
|
94
|
+
<a href="#M000064">testcase</a>
|
|
95
|
+
<a href="#M000065">trivial</a>
|
|
96
|
+
<a href="#M000063">verbose_check</a>
|
|
97
97
|
</div>
|
|
98
98
|
</div>
|
|
99
99
|
|
|
@@ -115,12 +115,12 @@
|
|
|
115
115
|
<div id="methods">
|
|
116
116
|
<h3 class="section-bar">Public Instance methods</h3>
|
|
117
117
|
|
|
118
|
-
<div id="method-
|
|
119
|
-
<a name="
|
|
118
|
+
<div id="method-M000053" class="method-detail">
|
|
119
|
+
<a name="M000053"></a>
|
|
120
120
|
|
|
121
121
|
<div class="method-heading">
|
|
122
|
-
<a href="Testable.src/
|
|
123
|
-
onclick="popupCode('Testable.src/
|
|
122
|
+
<a href="Testable.src/M000053.html" target="Code" class="method-signature"
|
|
123
|
+
onclick="popupCode('Testable.src/M000053.html');return false;">
|
|
124
124
|
<span class="method-name">check</span><span class="method-args">(config=RushCheck::Config.quick)</span>
|
|
125
125
|
</a>
|
|
126
126
|
</div>
|
|
@@ -129,12 +129,12 @@
|
|
|
129
129
|
</div>
|
|
130
130
|
</div>
|
|
131
131
|
|
|
132
|
-
<div id="method-
|
|
133
|
-
<a name="
|
|
132
|
+
<div id="method-M000056" class="method-detail">
|
|
133
|
+
<a name="M000056"></a>
|
|
134
134
|
|
|
135
135
|
<div class="method-heading">
|
|
136
|
-
<a href="Testable.src/
|
|
137
|
-
onclick="popupCode('Testable.src/
|
|
136
|
+
<a href="Testable.src/M000056.html" target="Code" class="method-signature"
|
|
137
|
+
onclick="popupCode('Testable.src/M000056.html');return false;">
|
|
138
138
|
<span class="method-name">classify</span><span class="method-args">(name) {|? label(name) : property| ...}</span>
|
|
139
139
|
</a>
|
|
140
140
|
</div>
|
|
@@ -143,8 +143,8 @@
|
|
|
143
143
|
</div>
|
|
144
144
|
</div>
|
|
145
145
|
|
|
146
|
-
<div id="method-
|
|
147
|
-
<a name="
|
|
146
|
+
<div id="method-M000059" class="method-detail">
|
|
147
|
+
<a name="M000059"></a>
|
|
148
148
|
|
|
149
149
|
<div class="method-heading">
|
|
150
150
|
<span class="method-name">collect</span><span class="method-args">(s)</span>
|
|
@@ -152,17 +152,17 @@
|
|
|
152
152
|
|
|
153
153
|
<div class="method-description">
|
|
154
154
|
<p>
|
|
155
|
-
Alias for <a href="Testable.html#
|
|
155
|
+
Alias for <a href="Testable.html#M000058">label</a>
|
|
156
156
|
</p>
|
|
157
157
|
</div>
|
|
158
158
|
</div>
|
|
159
159
|
|
|
160
|
-
<div id="method-
|
|
161
|
-
<a name="
|
|
160
|
+
<div id="method-M000057" class="method-detail">
|
|
161
|
+
<a name="M000057"></a>
|
|
162
162
|
|
|
163
163
|
<div class="method-heading">
|
|
164
|
-
<a href="Testable.src/
|
|
165
|
-
onclick="popupCode('Testable.src/
|
|
164
|
+
<a href="Testable.src/M000057.html" target="Code" class="method-signature"
|
|
165
|
+
onclick="popupCode('Testable.src/M000057.html');return false;">
|
|
166
166
|
<span class="method-name">imply</span><span class="method-args">() {|? property : RushCheck::Result.nothing.result| ...}</span>
|
|
167
167
|
</a>
|
|
168
168
|
</div>
|
|
@@ -171,12 +171,12 @@ Alias for <a href="Testable.html#M000050">label</a>
|
|
|
171
171
|
</div>
|
|
172
172
|
</div>
|
|
173
173
|
|
|
174
|
-
<div id="method-
|
|
175
|
-
<a name="
|
|
174
|
+
<div id="method-M000058" class="method-detail">
|
|
175
|
+
<a name="M000058"></a>
|
|
176
176
|
|
|
177
177
|
<div class="method-heading">
|
|
178
|
-
<a href="Testable.src/
|
|
179
|
-
onclick="popupCode('Testable.src/
|
|
178
|
+
<a href="Testable.src/M000058.html" target="Code" class="method-signature"
|
|
179
|
+
onclick="popupCode('Testable.src/M000058.html');return false;">
|
|
180
180
|
<span class="method-name">label</span><span class="method-args">(s)</span>
|
|
181
181
|
</a>
|
|
182
182
|
</div>
|
|
@@ -185,12 +185,12 @@ Alias for <a href="Testable.html#M000050">label</a>
|
|
|
185
185
|
</div>
|
|
186
186
|
</div>
|
|
187
187
|
|
|
188
|
-
<div id="method-
|
|
189
|
-
<a name="
|
|
188
|
+
<div id="method-M000052" class="method-detail">
|
|
189
|
+
<a name="M000052"></a>
|
|
190
190
|
|
|
191
191
|
<div class="method-heading">
|
|
192
|
-
<a href="Testable.src/
|
|
193
|
-
onclick="popupCode('Testable.src/
|
|
192
|
+
<a href="Testable.src/M000052.html" target="Code" class="method-signature"
|
|
193
|
+
onclick="popupCode('Testable.src/M000052.html');return false;">
|
|
194
194
|
<span class="method-name">property</span><span class="method-args">()</span>
|
|
195
195
|
</a>
|
|
196
196
|
</div>
|
|
@@ -199,8 +199,8 @@ Alias for <a href="Testable.html#M000050">label</a>
|
|
|
199
199
|
</div>
|
|
200
200
|
</div>
|
|
201
201
|
|
|
202
|
-
<div id="method-
|
|
203
|
-
<a name="
|
|
202
|
+
<div id="method-M000054" class="method-detail">
|
|
203
|
+
<a name="M000054"></a>
|
|
204
204
|
|
|
205
205
|
<div class="method-heading">
|
|
206
206
|
<span class="method-name">quick_check</span><span class="method-args">(config=RushCheck::Config.quick)</span>
|
|
@@ -208,13 +208,13 @@ Alias for <a href="Testable.html#M000050">label</a>
|
|
|
208
208
|
|
|
209
209
|
<div class="method-description">
|
|
210
210
|
<p>
|
|
211
|
-
Alias for <a href="Testable.html#
|
|
211
|
+
Alias for <a href="Testable.html#M000053">check</a>
|
|
212
212
|
</p>
|
|
213
213
|
</div>
|
|
214
214
|
</div>
|
|
215
215
|
|
|
216
|
-
<div id="method-
|
|
217
|
-
<a name="
|
|
216
|
+
<div id="method-M000055" class="method-detail">
|
|
217
|
+
<a name="M000055"></a>
|
|
218
218
|
|
|
219
219
|
<div class="method-heading">
|
|
220
220
|
<span class="method-name">quickcheck</span><span class="method-args">(config=RushCheck::Config.quick)</span>
|
|
@@ -222,17 +222,17 @@ Alias for <a href="Testable.html#M000045">check</a>
|
|
|
222
222
|
|
|
223
223
|
<div class="method-description">
|
|
224
224
|
<p>
|
|
225
|
-
Alias for <a href="Testable.html#
|
|
225
|
+
Alias for <a href="Testable.html#M000053">check</a>
|
|
226
226
|
</p>
|
|
227
227
|
</div>
|
|
228
228
|
</div>
|
|
229
229
|
|
|
230
|
-
<div id="method-
|
|
231
|
-
<a name="
|
|
230
|
+
<div id="method-M000060" class="method-detail">
|
|
231
|
+
<a name="M000060"></a>
|
|
232
232
|
|
|
233
233
|
<div class="method-heading">
|
|
234
|
-
<a href="Testable.src/
|
|
235
|
-
onclick="popupCode('Testable.src/
|
|
234
|
+
<a href="Testable.src/M000060.html" target="Code" class="method-signature"
|
|
235
|
+
onclick="popupCode('Testable.src/M000060.html');return false;">
|
|
236
236
|
<span class="method-name">run</span><span class="method-args">(opts)</span>
|
|
237
237
|
</a>
|
|
238
238
|
</div>
|
|
@@ -241,12 +241,12 @@ Alias for <a href="Testable.html#M000045">check</a>
|
|
|
241
241
|
</div>
|
|
242
242
|
</div>
|
|
243
243
|
|
|
244
|
-
<div id="method-
|
|
245
|
-
<a name="
|
|
244
|
+
<div id="method-M000061" class="method-detail">
|
|
245
|
+
<a name="M000061"></a>
|
|
246
246
|
|
|
247
247
|
<div class="method-heading">
|
|
248
|
-
<a href="Testable.src/
|
|
249
|
-
onclick="popupCode('Testable.src/
|
|
248
|
+
<a href="Testable.src/M000061.html" target="Code" class="method-signature"
|
|
249
|
+
onclick="popupCode('Testable.src/M000061.html');return false;">
|
|
250
250
|
<span class="method-name">run_tests</span><span class="method-args">(name, opts, tests)</span>
|
|
251
251
|
</a>
|
|
252
252
|
</div>
|
|
@@ -255,12 +255,12 @@ Alias for <a href="Testable.html#M000045">check</a>
|
|
|
255
255
|
</div>
|
|
256
256
|
</div>
|
|
257
257
|
|
|
258
|
-
<div id="method-
|
|
259
|
-
<a name="
|
|
258
|
+
<div id="method-M000062" class="method-detail">
|
|
259
|
+
<a name="M000062"></a>
|
|
260
260
|
|
|
261
261
|
<div class="method-heading">
|
|
262
|
-
<a href="Testable.src/
|
|
263
|
-
onclick="popupCode('Testable.src/
|
|
262
|
+
<a href="Testable.src/M000062.html" target="Code" class="method-signature"
|
|
263
|
+
onclick="popupCode('Testable.src/M000062.html');return false;">
|
|
264
264
|
<span class="method-name">test</span><span class="method-args">()</span>
|
|
265
265
|
</a>
|
|
266
266
|
</div>
|
|
@@ -269,12 +269,12 @@ Alias for <a href="Testable.html#M000045">check</a>
|
|
|
269
269
|
</div>
|
|
270
270
|
</div>
|
|
271
271
|
|
|
272
|
-
<div id="method-
|
|
273
|
-
<a name="
|
|
272
|
+
<div id="method-M000064" class="method-detail">
|
|
273
|
+
<a name="M000064"></a>
|
|
274
274
|
|
|
275
275
|
<div class="method-heading">
|
|
276
|
-
<a href="Testable.src/
|
|
277
|
-
onclick="popupCode('Testable.src/
|
|
276
|
+
<a href="Testable.src/M000064.html" target="Code" class="method-signature"
|
|
277
|
+
onclick="popupCode('Testable.src/M000064.html');return false;">
|
|
278
278
|
<span class="method-name">testcase</span><span class="method-args">()</span>
|
|
279
279
|
</a>
|
|
280
280
|
</div>
|
|
@@ -283,12 +283,12 @@ Alias for <a href="Testable.html#M000045">check</a>
|
|
|
283
283
|
</div>
|
|
284
284
|
</div>
|
|
285
285
|
|
|
286
|
-
<div id="method-
|
|
287
|
-
<a name="
|
|
286
|
+
<div id="method-M000065" class="method-detail">
|
|
287
|
+
<a name="M000065"></a>
|
|
288
288
|
|
|
289
289
|
<div class="method-heading">
|
|
290
|
-
<a href="Testable.src/
|
|
291
|
-
onclick="popupCode('Testable.src/
|
|
290
|
+
<a href="Testable.src/M000065.html" target="Code" class="method-signature"
|
|
291
|
+
onclick="popupCode('Testable.src/M000065.html');return false;">
|
|
292
292
|
<span class="method-name">trivial</span><span class="method-args">() {|| ...}</span>
|
|
293
293
|
</a>
|
|
294
294
|
</div>
|
|
@@ -297,8 +297,8 @@ Alias for <a href="Testable.html#M000045">check</a>
|
|
|
297
297
|
</div>
|
|
298
298
|
</div>
|
|
299
299
|
|
|
300
|
-
<div id="method-
|
|
301
|
-
<a name="
|
|
300
|
+
<div id="method-M000063" class="method-detail">
|
|
301
|
+
<a name="M000063"></a>
|
|
302
302
|
|
|
303
303
|
<div class="method-heading">
|
|
304
304
|
<span class="method-name">verbose_check</span><span class="method-args">()</span>
|
|
@@ -306,7 +306,7 @@ Alias for <a href="Testable.html#M000045">check</a>
|
|
|
306
306
|
|
|
307
307
|
<div class="method-description">
|
|
308
308
|
<p>
|
|
309
|
-
Alias for <a href="Testable.html#
|
|
309
|
+
Alias for <a href="Testable.html#M000062">test</a>
|
|
310
310
|
</p>
|
|
311
311
|
</div>
|
|
312
312
|
</div>
|
|
@@ -5,15 +5,14 @@
|
|
|
5
5
|
|
|
6
6
|
<html>
|
|
7
7
|
<head>
|
|
8
|
-
<title>
|
|
8
|
+
<title>property (RushCheck::Testable)</title>
|
|
9
9
|
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
|
|
10
10
|
<link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
|
|
11
11
|
</head>
|
|
12
12
|
<body class="standalone-code">
|
|
13
|
-
<pre><span class="ruby-comment cmt"># File rushcheck/testable.rb, line
|
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
|
15
|
-
<span class="ruby-
|
|
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>))
|
|
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>)
|
|
17
16
|
<span class="ruby-keyword kw">end</span></pre>
|
|
18
17
|
</body>
|
|
19
18
|
</html>
|
|
@@ -5,17 +5,14 @@
|
|
|
5
5
|
|
|
6
6
|
<html>
|
|
7
7
|
<head>
|
|
8
|
-
<title>
|
|
8
|
+
<title>check (RushCheck::Testable)</title>
|
|
9
9
|
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
|
|
10
10
|
<link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
|
|
11
11
|
</head>
|
|
12
12
|
<body class="standalone-code">
|
|
13
|
-
<pre><span class="ruby-comment cmt"># File rushcheck/testable.rb, line
|
|
14
|
-
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">
|
|
15
|
-
<span class="ruby-identifier">
|
|
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>
|
|
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>)
|
|
19
16
|
<span class="ruby-keyword kw">end</span></pre>
|
|
20
17
|
</body>
|
|
21
18
|
</html>
|