rushcheck 0.6 → 0.7

Sign up to get free protection for your applications and to get access to all the features.
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>