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.
Files changed (162) hide show
  1. data/README +0 -18
  2. data/Rakefile +18 -2
  3. data/Rakefile.in +17 -1
  4. data/data/rushcheck/doc/rushcheck.thtml +4 -3
  5. data/data/rushcheck/examples/roguetile.rb +2 -2
  6. data/data/rushcheck/examples/rspec/stack_spec.rb +22 -22
  7. data/data/rushcheck/rdoc/classes/FalseClass.html +15 -15
  8. data/data/rushcheck/rdoc/classes/FalseClass.src/M000008.html +4 -4
  9. data/data/rushcheck/rdoc/classes/FalseClass.src/M000009.html +18 -0
  10. data/data/rushcheck/rdoc/classes/FalseClass.src/M000010.html +18 -0
  11. data/data/rushcheck/rdoc/classes/Float.html +20 -20
  12. data/data/rushcheck/rdoc/classes/Float.src/M000021.html +21 -0
  13. data/data/rushcheck/rdoc/classes/Float.src/M000022.html +18 -0
  14. data/data/rushcheck/rdoc/classes/Float.src/M000023.html +22 -0
  15. data/data/rushcheck/rdoc/classes/Float.src/M000024.html +20 -0
  16. data/data/rushcheck/rdoc/classes/NegativeInteger.html +160 -0
  17. data/data/rushcheck/rdoc/classes/NegativeInteger.src/M000005.html +26 -0
  18. data/data/rushcheck/rdoc/classes/NegativeInteger.src/M000006.html +21 -0
  19. data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
  20. data/data/rushcheck/rdoc/classes/NilClass.src/M000029.html +18 -0
  21. data/data/rushcheck/rdoc/classes/NilClass.src/M000030.html +18 -0
  22. data/data/rushcheck/rdoc/classes/NilClass.src/M000031.html +18 -0
  23. data/data/rushcheck/rdoc/classes/NonEmptyRandomArray.html +139 -0
  24. data/data/rushcheck/rdoc/classes/NonEmptyRandomArray.src/M000011.html +20 -0
  25. data/data/rushcheck/rdoc/classes/PositiveInteger.html +160 -0
  26. data/data/rushcheck/rdoc/classes/PositiveInteger.src/M000032.html +26 -0
  27. data/data/rushcheck/rdoc/classes/PositiveInteger.src/M000033.html +21 -0
  28. data/data/rushcheck/rdoc/classes/RandomArray.html +75 -15
  29. data/data/rushcheck/rdoc/classes/RandomArray.src/M000012.html +19 -0
  30. data/data/rushcheck/rdoc/classes/RandomArray.src/M000013.html +25 -0
  31. data/data/rushcheck/rdoc/classes/RandomArray.src/M000014.html +27 -0
  32. data/data/rushcheck/rdoc/classes/RandomArray.src/M000015.html +23 -0
  33. data/data/rushcheck/rdoc/classes/RandomArray.src/M000016.html +23 -0
  34. data/data/rushcheck/rdoc/classes/RandomArray.src/M000017.html +22 -0
  35. data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
  36. data/data/rushcheck/rdoc/classes/RandomHash.src/M000018.html +19 -0
  37. data/data/rushcheck/rdoc/classes/RandomHash.src/M000019.html +26 -0
  38. data/data/rushcheck/rdoc/classes/RandomHash.src/M000020.html +22 -0
  39. data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
  40. data/data/rushcheck/rdoc/classes/RandomProc.src/M000025.html +18 -0
  41. data/data/rushcheck/rdoc/classes/RandomProc.src/M000026.html +30 -0
  42. data/data/rushcheck/rdoc/classes/RandomProc.src/M000027.html +26 -0
  43. data/data/rushcheck/rdoc/classes/RandomProc.src/M000028.html +20 -0
  44. data/data/rushcheck/rdoc/classes/RushCheck.html +10 -10
  45. data/data/rushcheck/rdoc/classes/RushCheck.src/M000041.html +18 -0
  46. data/data/rushcheck/rdoc/classes/RushCheck.src/M000042.html +27 -0
  47. data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.html +5 -5
  48. data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.src/M000043.html +18 -0
  49. data/data/rushcheck/rdoc/classes/RushCheck/Assertion.html +12 -12
  50. data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000081.html +19 -0
  51. data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000082.html +23 -0
  52. data/data/rushcheck/rdoc/classes/RushCheck/Claim.html +9 -9
  53. data/data/rushcheck/rdoc/classes/RushCheck/Claim.src/M000116.html +21 -0
  54. data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.html +5 -5
  55. data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000066.html +18 -0
  56. data/data/rushcheck/rdoc/classes/RushCheck/Config.html +35 -35
  57. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000074.html +23 -0
  58. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000075.html +22 -0
  59. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000076.html +22 -0
  60. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000077.html +18 -0
  61. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000078.html +38 -0
  62. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000079.html +55 -0
  63. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000080.html +50 -0
  64. data/data/rushcheck/rdoc/classes/RushCheck/Gen.html +107 -107
  65. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000083.html +4 -4
  66. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000084.html +26 -4
  67. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000085.html +4 -4
  68. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000086.html +6 -10
  69. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000087.html +14 -4
  70. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000088.html +9 -6
  71. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000089.html +4 -4
  72. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000090.html +4 -4
  73. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000091.html +4 -9
  74. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000092.html +4 -5
  75. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000093.html +4 -4
  76. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000094.html +8 -8
  77. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000095.html +18 -0
  78. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000096.html +21 -0
  79. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000097.html +18 -0
  80. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000098.html +18 -0
  81. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000099.html +23 -0
  82. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000100.html +19 -0
  83. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000101.html +18 -0
  84. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000102.html +22 -0
  85. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.html +20 -20
  86. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000049.html +22 -0
  87. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000050.html +32 -0
  88. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000051.html +18 -0
  89. data/data/rushcheck/rdoc/classes/RushCheck/Property.html +10 -10
  90. data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000114.html +26 -0
  91. data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000115.html +18 -0
  92. data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.html +10 -10
  93. data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000047.html +18 -0
  94. data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000048.html +19 -0
  95. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.html +20 -20
  96. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000044.html +18 -0
  97. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000045.html +18 -0
  98. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000046.html +18 -0
  99. data/data/rushcheck/rdoc/classes/RushCheck/Result.html +19 -19
  100. data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000103.html +18 -0
  101. data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000104.html +18 -0
  102. data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000105.html +18 -0
  103. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.html +27 -27
  104. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000069.html +23 -0
  105. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000070.html +21 -0
  106. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000071.html +21 -0
  107. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000072.html +18 -0
  108. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000073.html +18 -0
  109. data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.html +5 -5
  110. data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.src/M000107.html +18 -0
  111. data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.html +10 -10
  112. data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000067.html +18 -0
  113. data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000068.html +18 -0
  114. data/data/rushcheck/rdoc/classes/RushCheck/TestResult.html +5 -5
  115. data/data/rushcheck/rdoc/classes/RushCheck/TestResult.src/M000108.html +18 -0
  116. data/data/rushcheck/rdoc/classes/RushCheck/Testable.html +66 -66
  117. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000052.html +4 -5
  118. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000053.html +4 -7
  119. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000056.html +4 -4
  120. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000057.html +4 -4
  121. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000058.html +18 -0
  122. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000060.html +19 -0
  123. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000061.html +21 -0
  124. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000062.html +18 -0
  125. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000064.html +18 -0
  126. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000065.html +18 -0
  127. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.html +38 -21
  128. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000109.html +18 -0
  129. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000110.html +20 -0
  130. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000111.html +21 -0
  131. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000112.html +18 -0
  132. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000113.html +18 -0
  133. data/data/rushcheck/rdoc/classes/SpecialString.html +5 -5
  134. data/data/rushcheck/rdoc/classes/SpecialString.src/M000007.html +37 -0
  135. data/data/rushcheck/rdoc/classes/String.html +20 -20
  136. data/data/rushcheck/rdoc/classes/String.src/M000034.html +24 -0
  137. data/data/rushcheck/rdoc/classes/String.src/M000035.html +18 -0
  138. data/data/rushcheck/rdoc/classes/String.src/M000036.html +25 -0
  139. data/data/rushcheck/rdoc/classes/String.src/M000037.html +22 -0
  140. data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
  141. data/data/rushcheck/rdoc/classes/TrueClass.src/M000038.html +18 -0
  142. data/data/rushcheck/rdoc/classes/TrueClass.src/M000039.html +18 -0
  143. data/data/rushcheck/rdoc/classes/TrueClass.src/M000040.html +18 -0
  144. data/data/rushcheck/rdoc/created.rid +1 -1
  145. data/data/rushcheck/rdoc/files/rushcheck/array_rb.html +1 -1
  146. data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html +1 -1
  147. data/data/rushcheck/rdoc/files/rushcheck/bool_rb.html +1 -1
  148. data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +1 -1
  149. data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +1 -1
  150. data/data/rushcheck/rdoc/files/rushcheck/integer_rb.html +1 -1
  151. data/data/rushcheck/rdoc/files/rushcheck/random_rb.html +1 -1
  152. data/data/rushcheck/rdoc/files/rushcheck/version_rb.html +1 -1
  153. data/data/rushcheck/rdoc/fr_class_index.html +3 -0
  154. data/data/rushcheck/rdoc/fr_method_index.html +112 -103
  155. data/lib/rushcheck/array.rb +58 -17
  156. data/lib/rushcheck/assertion.rb +1 -1
  157. data/lib/rushcheck/gen.rb +7 -9
  158. data/lib/rushcheck/integer.rb +56 -0
  159. data/lib/rushcheck/property.rb +1 -1
  160. data/lib/rushcheck/random.rb +5 -1
  161. data/lib/rushcheck/version.rb +1 -1
  162. 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="#M000060">debug?</a>&nbsp;&nbsp;
90
- <a href="#M000059">new</a>&nbsp;&nbsp;
89
+ <a href="#M000068">debug?</a>&nbsp;&nbsp;
90
+ <a href="#M000067">new</a>&nbsp;&nbsp;
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-M000059" class="method-detail">
131
- <a name="M000059"></a>
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/M000059.html" target="Code" class="method-signature"
135
- onclick="popupCode('TestOptions.src/M000059.html');return false;">
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-M000060" class="method-detail">
147
- <a name="M000060"></a>
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/M000060.html" target="Code" class="method-signature"
151
- onclick="popupCode('TestOptions.src/M000060.html');return false;">
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="#M000100">new</a>&nbsp;&nbsp;
89
+ <a href="#M000108">new</a>&nbsp;&nbsp;
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-M000100" class="method-detail">
135
- <a name="M000100"></a>
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/M000100.html" target="Code" class="method-signature"
139
- onclick="popupCode('TestResult.src/M000100.html');return false;">
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="#M000045">check</a>&nbsp;&nbsp;
84
- <a href="#M000048">classify</a>&nbsp;&nbsp;
85
- <a href="#M000051">collect</a>&nbsp;&nbsp;
86
- <a href="#M000049">imply</a>&nbsp;&nbsp;
87
- <a href="#M000050">label</a>&nbsp;&nbsp;
88
- <a href="#M000044">property</a>&nbsp;&nbsp;
89
- <a href="#M000046">quick_check</a>&nbsp;&nbsp;
90
- <a href="#M000047">quickcheck</a>&nbsp;&nbsp;
91
- <a href="#M000052">run</a>&nbsp;&nbsp;
92
- <a href="#M000053">run_tests</a>&nbsp;&nbsp;
93
- <a href="#M000054">test</a>&nbsp;&nbsp;
94
- <a href="#M000056">testcase</a>&nbsp;&nbsp;
95
- <a href="#M000057">trivial</a>&nbsp;&nbsp;
96
- <a href="#M000055">verbose_check</a>&nbsp;&nbsp;
83
+ <a href="#M000053">check</a>&nbsp;&nbsp;
84
+ <a href="#M000056">classify</a>&nbsp;&nbsp;
85
+ <a href="#M000059">collect</a>&nbsp;&nbsp;
86
+ <a href="#M000057">imply</a>&nbsp;&nbsp;
87
+ <a href="#M000058">label</a>&nbsp;&nbsp;
88
+ <a href="#M000052">property</a>&nbsp;&nbsp;
89
+ <a href="#M000054">quick_check</a>&nbsp;&nbsp;
90
+ <a href="#M000055">quickcheck</a>&nbsp;&nbsp;
91
+ <a href="#M000060">run</a>&nbsp;&nbsp;
92
+ <a href="#M000061">run_tests</a>&nbsp;&nbsp;
93
+ <a href="#M000062">test</a>&nbsp;&nbsp;
94
+ <a href="#M000064">testcase</a>&nbsp;&nbsp;
95
+ <a href="#M000065">trivial</a>&nbsp;&nbsp;
96
+ <a href="#M000063">verbose_check</a>&nbsp;&nbsp;
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-M000045" class="method-detail">
119
- <a name="M000045"></a>
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/M000045.html" target="Code" class="method-signature"
123
- onclick="popupCode('Testable.src/M000045.html');return false;">
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-M000048" class="method-detail">
133
- <a name="M000048"></a>
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/M000048.html" target="Code" class="method-signature"
137
- onclick="popupCode('Testable.src/M000048.html');return false;">
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-M000051" class="method-detail">
147
- <a name="M000051"></a>
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#M000050">label</a>
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-M000049" class="method-detail">
161
- <a name="M000049"></a>
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/M000049.html" target="Code" class="method-signature"
165
- onclick="popupCode('Testable.src/M000049.html');return false;">
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-M000050" class="method-detail">
175
- <a name="M000050"></a>
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/M000050.html" target="Code" class="method-signature"
179
- onclick="popupCode('Testable.src/M000050.html');return false;">
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-M000044" class="method-detail">
189
- <a name="M000044"></a>
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/M000044.html" target="Code" class="method-signature"
193
- onclick="popupCode('Testable.src/M000044.html');return false;">
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-M000046" class="method-detail">
203
- <a name="M000046"></a>
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#M000045">check</a>
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-M000047" class="method-detail">
217
- <a name="M000047"></a>
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#M000045">check</a>
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-M000052" class="method-detail">
231
- <a name="M000052"></a>
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/M000052.html" target="Code" class="method-signature"
235
- onclick="popupCode('Testable.src/M000052.html');return false;">
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-M000053" class="method-detail">
245
- <a name="M000053"></a>
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/M000053.html" target="Code" class="method-signature"
249
- onclick="popupCode('Testable.src/M000053.html');return false;">
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-M000054" class="method-detail">
259
- <a name="M000054"></a>
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/M000054.html" target="Code" class="method-signature"
263
- onclick="popupCode('Testable.src/M000054.html');return false;">
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-M000056" class="method-detail">
273
- <a name="M000056"></a>
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/M000056.html" target="Code" class="method-signature"
277
- onclick="popupCode('Testable.src/M000056.html');return false;">
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-M000057" class="method-detail">
287
- <a name="M000057"></a>
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/M000057.html" target="Code" class="method-signature"
291
- onclick="popupCode('Testable.src/M000057.html');return false;">
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-M000055" class="method-detail">
301
- <a name="M000055"></a>
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#M000054">test</a>
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>run (RushCheck::Testable)</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 36</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">run</span>(<span class="ruby-identifier">opts</span>)
15
- <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Config</span>.<span class="ruby-identifier">batch</span>(<span class="ruby-identifier">opts</span>.<span class="ruby-identifier">ntests</span>, <span class="ruby-identifier">opts</span>.<span class="ruby-identifier">debug?</span>).
16
- <span class="ruby-identifier">tests_batch</span>(<span class="ruby-identifier">property</span>, <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">StdGen</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value">0</span>))
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">&quot;This method should be overrided.&quot;</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>run_tests (RushCheck::Testable)</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 93</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">run_tests</span>(<span class="ruby-identifier">name</span>, <span class="ruby-identifier">opts</span>, <span class="ruby-identifier">tests</span>)
15
- <span class="ruby-identifier">print</span>(<span class="ruby-identifier">rjustify</span>(<span class="ruby-value">25</span>, <span class="ruby-identifier">name</span>) <span class="ruby-operator">+</span> <span class="ruby-value str">&quot; : &quot;</span>)
16
- <span class="ruby-identifier">f</span> = <span class="ruby-identifier">try_test</span>(<span class="ruby-identifier">tests</span>)
17
- <span class="ruby-identifier">f</span>.<span class="ruby-identifier">each</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">f</span>, <span class="ruby-identifier">n</span>, <span class="ruby-identifier">no</span><span class="ruby-operator">|</span> <span class="ruby-identifier">final_run</span>(<span class="ruby-identifier">f</span>, <span class="ruby-identifier">n</span>, <span class="ruby-identifier">no</span>, <span class="ruby-identifier">name</span>) }
18
- <span class="ruby-keyword kw">nil</span>
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>