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