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
@@ -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>
|