rushcheck 0.6 → 0.7
Sign up to get free protection for your applications and to get access to all the features.
- 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
@@ -80,7 +80,7 @@
|
|
80
80
|
<h3 class="section-bar">Methods</h3>
|
81
81
|
|
82
82
|
<div class="name-list">
|
83
|
-
<a href="#
|
83
|
+
<a href="#M000043">arbitrary</a>
|
84
84
|
</div>
|
85
85
|
</div>
|
86
86
|
|
@@ -102,12 +102,12 @@
|
|
102
102
|
<div id="methods">
|
103
103
|
<h3 class="section-bar">Public Instance methods</h3>
|
104
104
|
|
105
|
-
<div id="method-
|
106
|
-
<a name="
|
105
|
+
<div id="method-M000043" class="method-detail">
|
106
|
+
<a name="M000043"></a>
|
107
107
|
|
108
108
|
<div class="method-heading">
|
109
|
-
<a href="Arbitrary.src/
|
110
|
-
onclick="popupCode('Arbitrary.src/
|
109
|
+
<a href="Arbitrary.src/M000043.html" target="Code" class="method-signature"
|
110
|
+
onclick="popupCode('Arbitrary.src/M000043.html');return false;">
|
111
111
|
<span class="method-name">arbitrary</span><span class="method-args">()</span>
|
112
112
|
</a>
|
113
113
|
</div>
|
@@ -0,0 +1,18 @@
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
2
|
+
<!DOCTYPE html
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
5
|
+
|
6
|
+
<html>
|
7
|
+
<head>
|
8
|
+
<title>arbitrary (RushCheck::Arbitrary)</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/arbitrary.rb, line 30</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">arbitrary</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>
|
@@ -85,7 +85,7 @@ href="../RushCheck.html">RushCheck</a>. You can write a testcase for random
|
|
85
85
|
testing as follows:
|
86
86
|
</p>
|
87
87
|
<p>
|
88
|
-
<a href="Assertion.html#
|
88
|
+
<a href="Assertion.html#M000081">Assertion.new</a>(<a
|
89
89
|
href="../Integer.html">Integer</a>, <a href="../String.html">String</a>) do
|
90
90
|
|x, y|
|
91
91
|
</p>
|
@@ -102,7 +102,7 @@ The return value of the body of testcase is checked by the method
|
|
102
102
|
</p>
|
103
103
|
<p>
|
104
104
|
Note that the number of arguments in the block must be equal to the number
|
105
|
-
of arguments of <a href="Assertion.html#
|
105
|
+
of arguments of <a href="Assertion.html#M000081">Assertion.new</a>.
|
106
106
|
However, for a curried block, we can write also
|
107
107
|
</p>
|
108
108
|
<pre>
|
@@ -123,8 +123,8 @@ href="../RushCheck.html">RushCheck</a> tutorial and several examples.
|
|
123
123
|
<h3 class="section-bar">Methods</h3>
|
124
124
|
|
125
125
|
<div class="name-list">
|
126
|
-
<a href="#
|
127
|
-
<a href="#
|
126
|
+
<a href="#M000081">new</a>
|
127
|
+
<a href="#M000082">property</a>
|
128
128
|
</div>
|
129
129
|
</div>
|
130
130
|
|
@@ -153,12 +153,12 @@ href="../RushCheck.html">RushCheck</a> tutorial and several examples.
|
|
153
153
|
<div id="methods">
|
154
154
|
<h3 class="section-bar">Public Class methods</h3>
|
155
155
|
|
156
|
-
<div id="method-
|
157
|
-
<a name="
|
156
|
+
<div id="method-M000081" class="method-detail">
|
157
|
+
<a name="M000081"></a>
|
158
158
|
|
159
159
|
<div class="method-heading">
|
160
|
-
<a href="Assertion.src/
|
161
|
-
onclick="popupCode('Assertion.src/
|
160
|
+
<a href="Assertion.src/M000081.html" target="Code" class="method-signature"
|
161
|
+
onclick="popupCode('Assertion.src/M000081.html');return false;">
|
162
162
|
<span class="method-name">new</span><span class="method-args">(*xs, &f)</span>
|
163
163
|
</a>
|
164
164
|
</div>
|
@@ -169,12 +169,12 @@ href="../RushCheck.html">RushCheck</a> tutorial and several examples.
|
|
169
169
|
|
170
170
|
<h3 class="section-bar">Public Instance methods</h3>
|
171
171
|
|
172
|
-
<div id="method-
|
173
|
-
<a name="
|
172
|
+
<div id="method-M000082" class="method-detail">
|
173
|
+
<a name="M000082"></a>
|
174
174
|
|
175
175
|
<div class="method-heading">
|
176
|
-
<a href="Assertion.src/
|
177
|
-
onclick="popupCode('Assertion.src/
|
176
|
+
<a href="Assertion.src/M000082.html" target="Code" class="method-signature"
|
177
|
+
onclick="popupCode('Assertion.src/M000082.html');return false;">
|
178
178
|
<span class="method-name">property</span><span class="method-args">()</span>
|
179
179
|
</a>
|
180
180
|
</div>
|
@@ -0,0 +1,19 @@
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
2
|
+
<!DOCTYPE html
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
5
|
+
|
6
|
+
<html>
|
7
|
+
<head>
|
8
|
+
<title>new (RushCheck::Assertion)</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/assertion.rb, line 35</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">xs</span>, <span class="ruby-operator">&</span><span class="ruby-identifier">f</span>)
|
15
|
+
<span class="ruby-ivar">@inputs</span> = <span class="ruby-identifier">xs</span>[<span class="ruby-value">0</span><span class="ruby-operator">..</span>(<span class="ruby-identifier">f</span>.<span class="ruby-identifier">arity</span> <span class="ruby-operator">-</span> <span class="ruby-value">1</span>)]
|
16
|
+
<span class="ruby-ivar">@proc</span> = <span class="ruby-identifier">f</span>
|
17
|
+
<span class="ruby-keyword kw">end</span></pre>
|
18
|
+
</body>
|
19
|
+
</html>
|
@@ -0,0 +1,23 @@
|
|
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::Assertion)</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/assertion.rb, line 79</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
|
15
|
+
<span class="ruby-identifier">_property</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
|
16
|
+
<span class="ruby-keyword kw">if</span> <span class="ruby-ivar">@proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
|
17
|
+
<span class="ruby-keyword kw">then</span> <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">true</span>)
|
18
|
+
<span class="ruby-keyword kw">else</span> <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">false</span>)
|
19
|
+
<span class="ruby-keyword kw">end</span>
|
20
|
+
}
|
21
|
+
<span class="ruby-keyword kw">end</span></pre>
|
22
|
+
</body>
|
23
|
+
</html>
|
@@ -99,17 +99,17 @@ end
|
|
99
99
|
</p>
|
100
100
|
<p>
|
101
101
|
The notation of Claim.new is same as <a
|
102
|
-
href="Assertion.html#
|
102
|
+
href="Assertion.html#M000081">Assertion.new</a> is, however the semantics
|
103
103
|
are different. When checking the body of testcase, the returned value is
|
104
104
|
ignored. In other words, the body is executed but not checked the result.
|
105
105
|
However, if an exception is raised while executing the body, then checking
|
106
106
|
is failed. This means that the above testing case can be written by <a
|
107
|
-
href="Assertion.html#
|
107
|
+
href="Assertion.html#M000081">Assertion.new</a> as follows:
|
108
108
|
</p>
|
109
109
|
<p>
|
110
110
|
# meaning of Claim.new is similar to <a
|
111
|
-
href="Assertion.html#
|
112
|
-
href="Assertion.html#
|
111
|
+
href="Assertion.html#M000081">Assertion.new</a> <a
|
112
|
+
href="Assertion.html#M000081">Assertion.new</a>(<a
|
113
113
|
href="../Integer.html">Integer</a>, <a href="../String.html">String</a>) do
|
114
114
|
|x, y|
|
115
115
|
</p>
|
@@ -141,7 +141,7 @@ so its subclass. See also <a href="Assertion.html">Assertion</a>.
|
|
141
141
|
<h3 class="section-bar">Methods</h3>
|
142
142
|
|
143
143
|
<div class="name-list">
|
144
|
-
<a href="#
|
144
|
+
<a href="#M000116">property</a>
|
145
145
|
</div>
|
146
146
|
</div>
|
147
147
|
|
@@ -170,12 +170,12 @@ so its subclass. See also <a href="Assertion.html">Assertion</a>.
|
|
170
170
|
<div id="methods">
|
171
171
|
<h3 class="section-bar">Public Instance methods</h3>
|
172
172
|
|
173
|
-
<div id="method-
|
174
|
-
<a name="
|
173
|
+
<div id="method-M000116" class="method-detail">
|
174
|
+
<a name="M000116"></a>
|
175
175
|
|
176
176
|
<div class="method-heading">
|
177
|
-
<a href="Claim.src/
|
178
|
-
onclick="popupCode('Claim.src/
|
177
|
+
<a href="Claim.src/M000116.html" target="Code" class="method-signature"
|
178
|
+
onclick="popupCode('Claim.src/M000116.html');return false;">
|
179
179
|
<span class="method-name">property</span><span class="method-args">()</span>
|
180
180
|
</a>
|
181
181
|
</div>
|
@@ -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>property (RushCheck::Claim)</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/claim.rb, line 48</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
|
15
|
+
<span class="ruby-identifier">_property</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
|
16
|
+
<span class="ruby-ivar">@proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
|
17
|
+
<span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">true</span>)
|
18
|
+
}
|
19
|
+
<span class="ruby-keyword kw">end</span></pre>
|
20
|
+
</body>
|
21
|
+
</html>
|
@@ -80,7 +80,7 @@
|
|
80
80
|
<h3 class="section-bar">Methods</h3>
|
81
81
|
|
82
82
|
<div class="name-list">
|
83
|
-
<a href="#
|
83
|
+
<a href="#M000066">coarbitrary</a>
|
84
84
|
</div>
|
85
85
|
</div>
|
86
86
|
|
@@ -102,12 +102,12 @@
|
|
102
102
|
<div id="methods">
|
103
103
|
<h3 class="section-bar">Public Instance methods</h3>
|
104
104
|
|
105
|
-
<div id="method-
|
106
|
-
<a name="
|
105
|
+
<div id="method-M000066" class="method-detail">
|
106
|
+
<a name="M000066"></a>
|
107
107
|
|
108
108
|
<div class="method-heading">
|
109
|
-
<a href="Coarbitrary.src/
|
110
|
-
onclick="popupCode('Coarbitrary.src/
|
109
|
+
<a href="Coarbitrary.src/M000066.html" target="Code" class="method-signature"
|
110
|
+
onclick="popupCode('Coarbitrary.src/M000066.html');return false;">
|
111
111
|
<span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
|
112
112
|
</a>
|
113
113
|
</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>coarbitrary (RushCheck::Coarbitrary)</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/arbitrary.rb, line 40</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
|
15
|
+
<span class="ruby-identifier">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>
|
@@ -93,13 +93,13 @@ tests. This class is needed for several test functions.
|
|
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="#
|
96
|
+
<a href="#M000076">batch</a>
|
97
|
+
<a href="#M000078">done</a>
|
98
|
+
<a href="#M000077">new</a>
|
99
|
+
<a href="#M000074">quick</a>
|
100
|
+
<a href="#M000080">test_batch</a>
|
101
|
+
<a href="#M000079">tests</a>
|
102
|
+
<a href="#M000075">verbose</a>
|
103
103
|
</div>
|
104
104
|
</div>
|
105
105
|
|
@@ -149,12 +149,12 @@ tests. This class is needed for several test functions.
|
|
149
149
|
<div id="methods">
|
150
150
|
<h3 class="section-bar">Public Class methods</h3>
|
151
151
|
|
152
|
-
<div id="method-
|
153
|
-
<a name="
|
152
|
+
<div id="method-M000076" class="method-detail">
|
153
|
+
<a name="M000076"></a>
|
154
154
|
|
155
155
|
<div class="method-heading">
|
156
|
-
<a href="Config.src/
|
157
|
-
onclick="popupCode('Config.src/
|
156
|
+
<a href="Config.src/M000076.html" target="Code" class="method-signature"
|
157
|
+
onclick="popupCode('Config.src/M000076.html');return false;">
|
158
158
|
<span class="method-name">batch</span><span class="method-args">(n, v)</span>
|
159
159
|
</a>
|
160
160
|
</div>
|
@@ -163,12 +163,12 @@ tests. This class is needed for several test functions.
|
|
163
163
|
</div>
|
164
164
|
</div>
|
165
165
|
|
166
|
-
<div id="method-
|
167
|
-
<a name="
|
166
|
+
<div id="method-M000077" class="method-detail">
|
167
|
+
<a name="M000077"></a>
|
168
168
|
|
169
169
|
<div class="method-heading">
|
170
|
-
<a href="Config.src/
|
171
|
-
onclick="popupCode('Config.src/
|
170
|
+
<a href="Config.src/M000077.html" target="Code" class="method-signature"
|
171
|
+
onclick="popupCode('Config.src/M000077.html');return false;">
|
172
172
|
<span class="method-name">new</span><span class="method-args">(max_test, max_fail, size, every)</span>
|
173
173
|
</a>
|
174
174
|
</div>
|
@@ -177,12 +177,12 @@ tests. This class is needed for several test functions.
|
|
177
177
|
</div>
|
178
178
|
</div>
|
179
179
|
|
180
|
-
<div id="method-
|
181
|
-
<a name="
|
180
|
+
<div id="method-M000074" class="method-detail">
|
181
|
+
<a name="M000074"></a>
|
182
182
|
|
183
183
|
<div class="method-heading">
|
184
|
-
<a href="Config.src/
|
185
|
-
onclick="popupCode('Config.src/
|
184
|
+
<a href="Config.src/M000074.html" target="Code" class="method-signature"
|
185
|
+
onclick="popupCode('Config.src/M000074.html');return false;">
|
186
186
|
<span class="method-name">quick</span><span class="method-args">()</span>
|
187
187
|
</a>
|
188
188
|
</div>
|
@@ -191,12 +191,12 @@ tests. This class is needed for several test functions.
|
|
191
191
|
</div>
|
192
192
|
</div>
|
193
193
|
|
194
|
-
<div id="method-
|
195
|
-
<a name="
|
194
|
+
<div id="method-M000075" class="method-detail">
|
195
|
+
<a name="M000075"></a>
|
196
196
|
|
197
197
|
<div class="method-heading">
|
198
|
-
<a href="Config.src/
|
199
|
-
onclick="popupCode('Config.src/
|
198
|
+
<a href="Config.src/M000075.html" target="Code" class="method-signature"
|
199
|
+
onclick="popupCode('Config.src/M000075.html');return false;">
|
200
200
|
<span class="method-name">verbose</span><span class="method-args">()</span>
|
201
201
|
</a>
|
202
202
|
</div>
|
@@ -207,12 +207,12 @@ tests. This class is needed for several test functions.
|
|
207
207
|
|
208
208
|
<h3 class="section-bar">Public Instance methods</h3>
|
209
209
|
|
210
|
-
<div id="method-
|
211
|
-
<a name="
|
210
|
+
<div id="method-M000078" class="method-detail">
|
211
|
+
<a name="M000078"></a>
|
212
212
|
|
213
213
|
<div class="method-heading">
|
214
|
-
<a href="Config.src/
|
215
|
-
onclick="popupCode('Config.src/
|
214
|
+
<a href="Config.src/M000078.html" target="Code" class="method-signature"
|
215
|
+
onclick="popupCode('Config.src/M000078.html');return false;">
|
216
216
|
<span class="method-name">done</span><span class="method-args">(mesg, ntest, stamps)</span>
|
217
217
|
</a>
|
218
218
|
</div>
|
@@ -224,12 +224,12 @@ print results of tests.
|
|
224
224
|
</div>
|
225
225
|
</div>
|
226
226
|
|
227
|
-
<div id="method-
|
228
|
-
<a name="
|
227
|
+
<div id="method-M000080" class="method-detail">
|
228
|
+
<a name="M000080"></a>
|
229
229
|
|
230
230
|
<div class="method-heading">
|
231
|
-
<a href="Config.src/
|
232
|
-
onclick="popupCode('Config.src/
|
231
|
+
<a href="Config.src/M000080.html" target="Code" class="method-signature"
|
232
|
+
onclick="popupCode('Config.src/M000080.html');return false;">
|
233
233
|
<span class="method-name">test_batch</span><span class="method-args">(gen, rnd, nt=1, nf=0, stamps=[])</span>
|
234
234
|
</a>
|
235
235
|
</div>
|
@@ -238,12 +238,12 @@ print results of tests.
|
|
238
238
|
</div>
|
239
239
|
</div>
|
240
240
|
|
241
|
-
<div id="method-
|
242
|
-
<a name="
|
241
|
+
<div id="method-M000079" class="method-detail">
|
242
|
+
<a name="M000079"></a>
|
243
243
|
|
244
244
|
<div class="method-heading">
|
245
|
-
<a href="Config.src/
|
246
|
-
onclick="popupCode('Config.src/
|
245
|
+
<a href="Config.src/M000079.html" target="Code" class="method-signature"
|
246
|
+
onclick="popupCode('Config.src/M000079.html');return false;">
|
247
247
|
<span class="method-name">tests</span><span class="method-args">(gen, rnd, nt=1, nf=0, stamps=[])</span>
|
248
248
|
</a>
|
249
249
|
</div>
|
@@ -0,0 +1,23 @@
|
|
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>quick (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 14</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">quick</span>
|
15
|
+
<span class="ruby-identifier">new</span>(<span class="ruby-value">100</span>, <span class="ruby-value">1000</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>},
|
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">s</span> = <span class="ruby-identifier">n</span>.<span class="ruby-identifier">to_s</span>
|
19
|
+
<span class="ruby-identifier">s</span> <span class="ruby-operator">+</span> (<span class="ruby-value str">"\b"</span> <span class="ruby-operator">*</span> <span class="ruby-identifier">s</span>.<span class="ruby-identifier">length</span>)
|
20
|
+
<span class="ruby-keyword kw">end</span>)
|
21
|
+
<span class="ruby-keyword kw">end</span></pre>
|
22
|
+
</body>
|
23
|
+
</html>
|
@@ -0,0 +1,22 @@
|
|
1
|
+
<?xml version="1.0" encoding="iso-8859-1"?>
|
2
|
+
<!DOCTYPE html
|
3
|
+
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
4
|
+
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
5
|
+
|
6
|
+
<html>
|
7
|
+
<head>
|
8
|
+
<title>verbose (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 23</span>
|
14
|
+
<span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">verbose</span>
|
15
|
+
<span class="ruby-identifier">new</span>(<span class="ruby-value">100</span>, <span class="ruby-value">1000</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>},
|
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">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>
|
19
|
+
<span class="ruby-keyword kw">end</span>)
|
20
|
+
<span class="ruby-keyword kw">end</span></pre>
|
21
|
+
</body>
|
22
|
+
</html>
|