rushcheck 0.3 → 0.4

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 (167) hide show
  1. data/Rakefile +1 -1
  2. data/data/rushcheck/doc/policy.txt +107 -0
  3. data/data/rushcheck/doc/rushcheck.thtml +832 -0
  4. data/data/rushcheck/examples/candy.rb +6 -8
  5. data/data/rushcheck/examples/printf.rb +3 -3
  6. data/data/rushcheck/examples/proc.rb +4 -4
  7. data/data/rushcheck/examples/roguetile.rb +16 -16
  8. data/data/rushcheck/examples/sample.rb +10 -10
  9. data/data/rushcheck/rdoc/classes/Arbitrary.html +5 -5
  10. data/data/rushcheck/rdoc/classes/Arbitrary.src/M000082.html +18 -0
  11. data/data/rushcheck/rdoc/classes/Assertion.html +11 -11
  12. data/data/rushcheck/rdoc/classes/Assertion.src/M000019.html +20 -0
  13. data/data/rushcheck/rdoc/classes/Assertion.src/M000020.html +50 -0
  14. data/data/rushcheck/rdoc/classes/Coarbitrary.html +5 -5
  15. data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000105.html +18 -0
  16. data/data/rushcheck/rdoc/classes/FalseClass.html +15 -15
  17. data/data/rushcheck/rdoc/classes/FalseClass.src/M000022.html +18 -0
  18. data/data/rushcheck/rdoc/classes/FalseClass.src/M000023.html +18 -0
  19. data/data/rushcheck/rdoc/classes/FalseClass.src/M000024.html +18 -0
  20. data/data/rushcheck/rdoc/classes/Float.html +20 -20
  21. data/data/rushcheck/rdoc/classes/Float.src/M000052.html +21 -0
  22. data/data/rushcheck/rdoc/classes/Float.src/M000053.html +18 -0
  23. data/data/rushcheck/rdoc/classes/Float.src/M000054.html +22 -0
  24. data/data/rushcheck/rdoc/classes/Float.src/M000055.html +20 -0
  25. data/data/rushcheck/rdoc/classes/Gen.html +102 -102
  26. data/data/rushcheck/rdoc/classes/Gen.src/M000030.html +4 -10
  27. data/data/rushcheck/rdoc/classes/Gen.src/M000031.html +29 -4
  28. data/data/rushcheck/rdoc/classes/Gen.src/M000032.html +6 -4
  29. data/data/rushcheck/rdoc/classes/Gen.src/M000033.html +14 -4
  30. data/data/rushcheck/rdoc/classes/Gen.src/M000034.html +10 -4
  31. data/data/rushcheck/rdoc/classes/Gen.src/M000035.html +4 -4
  32. data/data/rushcheck/rdoc/classes/Gen.src/M000036.html +4 -10
  33. data/data/rushcheck/rdoc/classes/Gen.src/M000037.html +4 -4
  34. data/data/rushcheck/rdoc/classes/Gen.src/M000038.html +4 -7
  35. data/data/rushcheck/rdoc/classes/Gen.src/M000039.html +4 -4
  36. data/data/rushcheck/rdoc/classes/Gen.src/M000040.html +10 -4
  37. data/data/rushcheck/rdoc/classes/Gen.src/M000041.html +4 -9
  38. data/data/rushcheck/rdoc/classes/Gen.src/M000042.html +7 -5
  39. data/data/rushcheck/rdoc/classes/Gen.src/M000043.html +4 -4
  40. data/data/rushcheck/rdoc/classes/Gen.src/M000044.html +4 -10
  41. data/data/rushcheck/rdoc/classes/Gen.src/M000045.html +23 -0
  42. data/data/rushcheck/rdoc/classes/Gen.src/M000046.html +19 -0
  43. data/data/rushcheck/rdoc/classes/Gen.src/M000047.html +18 -0
  44. data/data/rushcheck/rdoc/classes/Gen.src/M000048.html +24 -0
  45. data/data/rushcheck/rdoc/classes/Guard.html +10 -10
  46. data/data/rushcheck/rdoc/classes/Guard.src/M000028.html +27 -0
  47. data/data/rushcheck/rdoc/classes/Guard.src/M000029.html +18 -0
  48. data/data/rushcheck/rdoc/classes/HsRandom.html +20 -20
  49. data/data/rushcheck/rdoc/classes/HsRandom.src/M000088.html +22 -0
  50. data/data/rushcheck/rdoc/classes/HsRandom.src/M000089.html +32 -0
  51. data/data/rushcheck/rdoc/classes/HsRandom.src/M000090.html +18 -0
  52. data/data/rushcheck/rdoc/classes/Integer.html +20 -20
  53. data/data/rushcheck/rdoc/classes/Integer.src/M000010.html +18 -0
  54. data/data/rushcheck/rdoc/classes/Integer.src/M000011.html +18 -0
  55. data/data/rushcheck/rdoc/classes/Integer.src/M000012.html +21 -0
  56. data/data/rushcheck/rdoc/classes/Integer.src/M000013.html +19 -0
  57. data/data/rushcheck/rdoc/classes/NilClass.html +15 -15
  58. data/data/rushcheck/rdoc/classes/NilClass.src/M000064.html +18 -0
  59. data/data/rushcheck/rdoc/classes/NilClass.src/M000065.html +18 -0
  60. data/data/rushcheck/rdoc/classes/NilClass.src/M000066.html +18 -0
  61. data/data/rushcheck/rdoc/classes/Property.html +10 -10
  62. data/data/rushcheck/rdoc/classes/Property.src/M000077.html +26 -0
  63. data/data/rushcheck/rdoc/classes/Property.src/M000078.html +18 -0
  64. data/data/rushcheck/rdoc/classes/RandomArray.html +15 -15
  65. data/data/rushcheck/rdoc/classes/RandomArray.src/M000025.html +18 -0
  66. data/data/rushcheck/rdoc/classes/RandomArray.src/M000026.html +35 -0
  67. data/data/rushcheck/rdoc/classes/RandomArray.src/M000027.html +22 -0
  68. data/data/rushcheck/rdoc/classes/RandomBool.html +10 -10
  69. data/data/rushcheck/rdoc/classes/RandomBool.src/M000086.html +18 -0
  70. data/data/rushcheck/rdoc/classes/RandomBool.src/M000087.html +19 -0
  71. data/data/rushcheck/rdoc/classes/RandomGen.html +20 -20
  72. data/data/rushcheck/rdoc/classes/RandomGen.src/M000083.html +18 -0
  73. data/data/rushcheck/rdoc/classes/RandomGen.src/M000084.html +18 -0
  74. data/data/rushcheck/rdoc/classes/RandomGen.src/M000085.html +18 -0
  75. data/data/rushcheck/rdoc/classes/RandomHash.html +16 -16
  76. data/data/rushcheck/rdoc/classes/RandomHash.src/M000049.html +18 -0
  77. data/data/rushcheck/rdoc/classes/RandomHash.src/M000050.html +26 -0
  78. data/data/rushcheck/rdoc/classes/RandomHash.src/M000051.html +22 -0
  79. data/data/rushcheck/rdoc/classes/RandomProc.html +20 -20
  80. data/data/rushcheck/rdoc/classes/RandomProc.src/M000060.html +18 -0
  81. data/data/rushcheck/rdoc/classes/RandomProc.src/M000061.html +30 -0
  82. data/data/rushcheck/rdoc/classes/RandomProc.src/M000062.html +26 -0
  83. data/data/rushcheck/rdoc/classes/RandomProc.src/M000063.html +20 -0
  84. data/data/rushcheck/rdoc/classes/Result.html +19 -19
  85. data/data/rushcheck/rdoc/classes/Result.src/M000056.html +18 -0
  86. data/data/rushcheck/rdoc/classes/Result.src/M000057.html +18 -0
  87. data/data/rushcheck/rdoc/classes/Result.src/M000058.html +18 -0
  88. data/data/rushcheck/rdoc/classes/RushCheckConfig.html +41 -11
  89. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000001.html +1 -1
  90. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000002.html +1 -1
  91. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000003.html +8 -4
  92. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html +4 -24
  93. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html +22 -39
  94. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000006.html +55 -0
  95. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000007.html +50 -0
  96. data/data/rushcheck/rdoc/classes/SpecialString.html +5 -5
  97. data/data/rushcheck/rdoc/classes/SpecialString.src/M000021.html +37 -0
  98. data/data/rushcheck/rdoc/classes/StdGen.html +27 -27
  99. data/data/rushcheck/rdoc/classes/StdGen.src/M000014.html +9 -4
  100. data/data/rushcheck/rdoc/classes/StdGen.src/M000015.html +21 -0
  101. data/data/rushcheck/rdoc/classes/StdGen.src/M000016.html +21 -0
  102. data/data/rushcheck/rdoc/classes/StdGen.src/M000017.html +18 -0
  103. data/data/rushcheck/rdoc/classes/StdGen.src/M000018.html +18 -0
  104. data/data/rushcheck/rdoc/classes/String.html +20 -20
  105. data/data/rushcheck/rdoc/classes/String.src/M000073.html +24 -0
  106. data/data/rushcheck/rdoc/classes/String.src/M000074.html +18 -0
  107. data/data/rushcheck/rdoc/classes/String.src/M000075.html +25 -0
  108. data/data/rushcheck/rdoc/classes/String.src/M000076.html +22 -0
  109. data/data/rushcheck/rdoc/classes/TestExausted.html +113 -0
  110. data/data/rushcheck/rdoc/classes/TestFailed.html +155 -0
  111. data/data/rushcheck/rdoc/classes/TestFailed.src/M000067.html +18 -0
  112. data/data/rushcheck/rdoc/classes/TestOk.html +113 -0
  113. data/data/rushcheck/rdoc/classes/TestOptions.html +180 -0
  114. data/data/rushcheck/rdoc/classes/TestOptions.src/M000008.html +18 -0
  115. data/data/rushcheck/rdoc/classes/TestOptions.src/M000009.html +18 -0
  116. data/data/rushcheck/rdoc/classes/TestResult.html +164 -0
  117. data/data/rushcheck/rdoc/classes/TestResult.src/M000068.html +18 -0
  118. data/data/rushcheck/rdoc/classes/Testable.html +96 -51
  119. data/data/rushcheck/rdoc/classes/Testable.src/M000091.html +4 -4
  120. data/data/rushcheck/rdoc/classes/Testable.src/M000092.html +4 -4
  121. data/data/rushcheck/rdoc/classes/Testable.src/M000095.html +4 -4
  122. data/data/rushcheck/rdoc/classes/Testable.src/M000096.html +18 -0
  123. data/data/rushcheck/rdoc/classes/Testable.src/M000097.html +18 -0
  124. data/data/rushcheck/rdoc/classes/Testable.src/M000099.html +19 -0
  125. data/data/rushcheck/rdoc/classes/Testable.src/M000100.html +21 -0
  126. data/data/rushcheck/rdoc/classes/Testable.src/M000101.html +18 -0
  127. data/data/rushcheck/rdoc/classes/Testable.src/M000103.html +18 -0
  128. data/data/rushcheck/rdoc/classes/Testable.src/M000104.html +18 -0
  129. data/data/rushcheck/rdoc/classes/TheStdGen.html +20 -20
  130. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000069.html +18 -0
  131. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000070.html +20 -0
  132. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000071.html +21 -0
  133. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000072.html +18 -0
  134. data/data/rushcheck/rdoc/classes/TrueClass.html +15 -15
  135. data/data/rushcheck/rdoc/classes/TrueClass.src/M000079.html +18 -0
  136. data/data/rushcheck/rdoc/classes/TrueClass.src/M000080.html +18 -0
  137. data/data/rushcheck/rdoc/classes/TrueClass.src/M000081.html +18 -0
  138. data/data/rushcheck/rdoc/created.rid +1 -1
  139. data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +8 -1
  140. data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +3 -1
  141. data/data/rushcheck/rdoc/files/rushcheck/testoptions_rb.html +109 -0
  142. data/data/rushcheck/rdoc/files/rushcheck/testresult_rb.html +105 -0
  143. data/data/rushcheck/rdoc/files/rushcheck_rb.html +127 -0
  144. data/data/rushcheck/rdoc/fr_class_index.html +5 -0
  145. data/data/rushcheck/rdoc/fr_file_index.html +3 -1
  146. data/data/rushcheck/rdoc/fr_method_index.html +103 -94
  147. data/lib/rushcheck/arbitrary.rb +16 -12
  148. data/lib/rushcheck/array.rb +7 -6
  149. data/lib/rushcheck/assertion.rb +53 -50
  150. data/lib/rushcheck/bool.rb +26 -24
  151. data/lib/rushcheck/config.rb +131 -81
  152. data/lib/rushcheck/float.rb +4 -4
  153. data/lib/rushcheck/gen.rb +194 -182
  154. data/lib/rushcheck/guard.rb +9 -10
  155. data/lib/rushcheck/hash.rb +4 -3
  156. data/lib/rushcheck/integer.rb +11 -6
  157. data/lib/rushcheck/proc.rb +7 -7
  158. data/lib/rushcheck/property.rb +19 -15
  159. data/lib/rushcheck/random.rb +162 -159
  160. data/lib/rushcheck/result.rb +16 -12
  161. data/lib/rushcheck/string.rb +12 -12
  162. data/lib/rushcheck/testable.rb +99 -25
  163. data/lib/rushcheck/testoptions.rb +20 -0
  164. data/lib/rushcheck/testresult.rb +25 -0
  165. data/lib/{rushcheck/rushcheck.rb → rushcheck.rb} +2 -1
  166. metadata +93 -4
  167. data/data/rushcheck/doc/rushcheck.txt +0 -670
data/data/rushcheck/rdoc/classes/TestResult.html ADDED
@@ -0,0 +1,164 @@
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 xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>Class: TestResult</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href=".././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <div id="classHeader">
50
+ <table class="header-table">
51
+ <tr class="top-aligned-row">
52
+ <td><strong>Class</strong></td>
53
+ <td class="class-name-in-header">TestResult</td>
54
+ </tr>
55
+ <tr class="top-aligned-row">
56
+ <td><strong>In:</strong></td>
57
+ <td>
58
+ <a href="../files/rushcheck/testresult_rb.html">
59
+ rushcheck/testresult.rb
60
+ </a>
61
+ <br />
62
+ </td>
63
+ </tr>
64
+
65
+ <tr class="top-aligned-row">
66
+ <td><strong>Parent:</strong></td>
67
+ <td>
68
+ Object
69
+ </td>
70
+ </tr>
71
+ </table>
72
+ </div>
73
+ <!-- banner header -->
74
+
75
+ <div id="bodyContent">
76
+
77
+
78
+
79
+ <div id="contextContent">
80
+
81
+ <div id="description">
82
+ <h1>testresult.rb</h1>
83
+
84
+ </div>
85
+
86
+
87
+ </div>
88
+
89
+ <div id="method-list">
90
+ <h3 class="section-bar">Methods</h3>
91
+
92
+ <div class="name-list">
93
+ <a href="#M000068">new</a>&nbsp;&nbsp;
94
+ </div>
95
+ </div>
96
+
97
+ </div>
98
+
99
+
100
+ <!-- if includes -->
101
+
102
+ <div id="section">
103
+
104
+
105
+
106
+
107
+
108
+ <div id="attribute-list">
109
+ <h3 class="section-bar">Attributes</h3>
110
+
111
+ <div class="name-list">
112
+ <table>
113
+ <tr class="top-aligned-row context-row">
114
+ <td class="context-item-name">message</td>
115
+ <td class="context-item-value">&nbsp;[R]&nbsp;</td>
116
+ <td class="context-item-desc"></td>
117
+ </tr>
118
+ <tr class="top-aligned-row context-row">
119
+ <td class="context-item-name">ntests</td>
120
+ <td class="context-item-value">&nbsp;[R]&nbsp;</td>
121
+ <td class="context-item-desc"></td>
122
+ </tr>
123
+ <tr class="top-aligned-row context-row">
124
+ <td class="context-item-name">stamps</td>
125
+ <td class="context-item-value">&nbsp;[R]&nbsp;</td>
126
+ <td class="context-item-desc"></td>
127
+ </tr>
128
+ </table>
129
+ </div>
130
+ </div>
131
+
132
+
133
+
134
+ <!-- if method_list -->
135
+ <div id="methods">
136
+ <h3 class="section-bar">Public Class methods</h3>
137
+
138
+ <div id="method-M000068" class="method-detail">
139
+ <a name="M000068"></a>
140
+
141
+ <div class="method-heading">
142
+ <a href="TestResult.src/M000068.html" target="Code" class="method-signature"
143
+ onclick="popupCode('TestResult.src/M000068.html');return false;">
144
+ <span class="method-name">new</span><span class="method-args">(message, ntests, stamps)</span>
145
+ </a>
146
+ </div>
147
+
148
+ <div class="method-description">
149
+ </div>
150
+ </div>
151
+
152
+
153
+ </div>
154
+
155
+
156
+ </div>
157
+
158
+
159
+ <div id="validator-badges">
160
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
161
+ </div>
162
+
163
+ </body>
164
+ </html>
data/data/rushcheck/rdoc/classes/TestResult.src/M000068.html ADDED
@@ -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 (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 6</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>
data/data/rushcheck/rdoc/classes/Testable.html CHANGED
@@ -80,17 +80,20 @@
80
80
  <h3 class="section-bar">Methods</h3>
81
81
 
82
82
  <div class="name-list">
83
- <a href="#M000086">check</a>&nbsp;&nbsp;
84
- <a href="#M000089">classify</a>&nbsp;&nbsp;
85
- <a href="#M000092">collect</a>&nbsp;&nbsp;
86
- <a href="#M000090">imply</a>&nbsp;&nbsp;
87
- <a href="#M000091">label</a>&nbsp;&nbsp;
88
- <a href="#M000085">property</a>&nbsp;&nbsp;
89
- <a href="#M000087">quick_check</a>&nbsp;&nbsp;
90
- <a href="#M000088">quickcheck</a>&nbsp;&nbsp;
91
- <a href="#M000093">test</a>&nbsp;&nbsp;
92
- <a href="#M000095">trivial</a>&nbsp;&nbsp;
93
- <a href="#M000094">verbose_check</a>&nbsp;&nbsp;
83
+ <a href="#M000092">check</a>&nbsp;&nbsp;
84
+ <a href="#M000095">classify</a>&nbsp;&nbsp;
85
+ <a href="#M000098">collect</a>&nbsp;&nbsp;
86
+ <a href="#M000096">imply</a>&nbsp;&nbsp;
87
+ <a href="#M000097">label</a>&nbsp;&nbsp;
88
+ <a href="#M000091">property</a>&nbsp;&nbsp;
89
+ <a href="#M000093">quick_check</a>&nbsp;&nbsp;
90
+ <a href="#M000094">quickcheck</a>&nbsp;&nbsp;
91
+ <a href="#M000099">run</a>&nbsp;&nbsp;
92
+ <a href="#M000100">run_tests</a>&nbsp;&nbsp;
93
+ <a href="#M000101">test</a>&nbsp;&nbsp;
94
+ <a href="#M000103">testcase</a>&nbsp;&nbsp;
95
+ <a href="#M000104">trivial</a>&nbsp;&nbsp;
96
+ <a href="#M000102">verbose_check</a>&nbsp;&nbsp;
94
97
  </div>
95
98
  </div>
96
99
 
@@ -112,12 +115,12 @@
112
115
  <div id="methods">
113
116
  <h3 class="section-bar">Public Instance methods</h3>
114
117
 
115
- <div id="method-M000086" class="method-detail">
116
- <a name="M000086"></a>
118
+ <div id="method-M000092" class="method-detail">
119
+ <a name="M000092"></a>
117
120
 
118
121
  <div class="method-heading">
119
- <a href="Testable.src/M000086.html" target="Code" class="method-signature"
120
- onclick="popupCode('Testable.src/M000086.html');return false;">
122
+ <a href="Testable.src/M000092.html" target="Code" class="method-signature"
123
+ onclick="popupCode('Testable.src/M000092.html');return false;">
121
124
  <span class="method-name">check</span><span class="method-args">(config=RushCheckConfig.quick)</span>
122
125
  </a>
123
126
  </div>
@@ -126,12 +129,12 @@
126
129
  </div>
127
130
  </div>
128
131
 
129
- <div id="method-M000089" class="method-detail">
130
- <a name="M000089"></a>
132
+ <div id="method-M000095" class="method-detail">
133
+ <a name="M000095"></a>
131
134
 
132
135
  <div class="method-heading">
133
- <a href="Testable.src/M000089.html" target="Code" class="method-signature"
134
- onclick="popupCode('Testable.src/M000089.html');return false;">
136
+ <a href="Testable.src/M000095.html" target="Code" class="method-signature"
137
+ onclick="popupCode('Testable.src/M000095.html');return false;">
135
138
  <span class="method-name">classify</span><span class="method-args">(name) {|? label(name) : property| ...}</span>
136
139
  </a>
137
140
  </div>
@@ -140,8 +143,8 @@
140
143
  </div>
141
144
  </div>
142
145
 
143
- <div id="method-M000092" class="method-detail">
144
- <a name="M000092"></a>
146
+ <div id="method-M000098" class="method-detail">
147
+ <a name="M000098"></a>
145
148
 
146
149
  <div class="method-heading">
147
150
  <span class="method-name">collect</span><span class="method-args">(s)</span>
@@ -149,17 +152,17 @@
149
152
 
150
153
  <div class="method-description">
151
154
  <p>
152
- Alias for <a href="Testable.html#M000091">label</a>
155
+ Alias for <a href="Testable.html#M000097">label</a>
153
156
  </p>
154
157
  </div>
155
158
  </div>
156
159
 
157
- <div id="method-M000090" class="method-detail">
158
- <a name="M000090"></a>
160
+ <div id="method-M000096" class="method-detail">
161
+ <a name="M000096"></a>
159
162
 
160
163
  <div class="method-heading">
161
- <a href="Testable.src/M000090.html" target="Code" class="method-signature"
162
- onclick="popupCode('Testable.src/M000090.html');return false;">
164
+ <a href="Testable.src/M000096.html" target="Code" class="method-signature"
165
+ onclick="popupCode('Testable.src/M000096.html');return false;">
163
166
  <span class="method-name">imply</span><span class="method-args">() {|? property : Result.nothing.result| ...}</span>
164
167
  </a>
165
168
  </div>
@@ -168,12 +171,12 @@ Alias for <a href="Testable.html#M000091">label</a>
168
171
  </div>
169
172
  </div>
170
173
 
171
- <div id="method-M000091" class="method-detail">
172
- <a name="M000091"></a>
174
+ <div id="method-M000097" class="method-detail">
175
+ <a name="M000097"></a>
173
176
 
174
177
  <div class="method-heading">
175
- <a href="Testable.src/M000091.html" target="Code" class="method-signature"
176
- onclick="popupCode('Testable.src/M000091.html');return false;">
178
+ <a href="Testable.src/M000097.html" target="Code" class="method-signature"
179
+ onclick="popupCode('Testable.src/M000097.html');return false;">
177
180
  <span class="method-name">label</span><span class="method-args">(s)</span>
178
181
  </a>
179
182
  </div>
@@ -182,12 +185,12 @@ Alias for <a href="Testable.html#M000091">label</a>
182
185
  </div>
183
186
  </div>
184
187
 
185
- <div id="method-M000085" class="method-detail">
186
- <a name="M000085"></a>
188
+ <div id="method-M000091" class="method-detail">
189
+ <a name="M000091"></a>
187
190
 
188
191
  <div class="method-heading">
189
- <a href="Testable.src/M000085.html" target="Code" class="method-signature"
190
- onclick="popupCode('Testable.src/M000085.html');return false;">
192
+ <a href="Testable.src/M000091.html" target="Code" class="method-signature"
193
+ onclick="popupCode('Testable.src/M000091.html');return false;">
191
194
  <span class="method-name">property</span><span class="method-args">()</span>
192
195
  </a>
193
196
  </div>
@@ -196,8 +199,8 @@ Alias for <a href="Testable.html#M000091">label</a>
196
199
  </div>
197
200
  </div>
198
201
 
199
- <div id="method-M000087" class="method-detail">
200
- <a name="M000087"></a>
202
+ <div id="method-M000093" class="method-detail">
203
+ <a name="M000093"></a>
201
204
 
202
205
  <div class="method-heading">
203
206
  <span class="method-name">quick_check</span><span class="method-args">(config=RushCheckConfig.quick)</span>
@@ -205,13 +208,13 @@ Alias for <a href="Testable.html#M000091">label</a>
205
208
 
206
209
  <div class="method-description">
207
210
  <p>
208
- Alias for <a href="Testable.html#M000086">check</a>
211
+ Alias for <a href="Testable.html#M000092">check</a>
209
212
  </p>
210
213
  </div>
211
214
  </div>
212
215
 
213
- <div id="method-M000088" class="method-detail">
214
- <a name="M000088"></a>
216
+ <div id="method-M000094" class="method-detail">
217
+ <a name="M000094"></a>
215
218
 
216
219
  <div class="method-heading">
217
220
  <span class="method-name">quickcheck</span><span class="method-args">(config=RushCheckConfig.quick)</span>
@@ -219,17 +222,45 @@ Alias for <a href="Testable.html#M000086">check</a>
219
222
 
220
223
  <div class="method-description">
221
224
  <p>
222
- Alias for <a href="Testable.html#M000086">check</a>
225
+ Alias for <a href="Testable.html#M000092">check</a>
223
226
  </p>
224
227
  </div>
225
228
  </div>
226
229
 
227
- <div id="method-M000093" class="method-detail">
228
- <a name="M000093"></a>
230
+ <div id="method-M000099" class="method-detail">
231
+ <a name="M000099"></a>
229
232
 
230
233
  <div class="method-heading">
231
- <a href="Testable.src/M000093.html" target="Code" class="method-signature"
232
- onclick="popupCode('Testable.src/M000093.html');return false;">
234
+ <a href="Testable.src/M000099.html" target="Code" class="method-signature"
235
+ onclick="popupCode('Testable.src/M000099.html');return false;">
236
+ <span class="method-name">run</span><span class="method-args">(opts)</span>
237
+ </a>
238
+ </div>
239
+
240
+ <div class="method-description">
241
+ </div>
242
+ </div>
243
+
244
+ <div id="method-M000100" class="method-detail">
245
+ <a name="M000100"></a>
246
+
247
+ <div class="method-heading">
248
+ <a href="Testable.src/M000100.html" target="Code" class="method-signature"
249
+ onclick="popupCode('Testable.src/M000100.html');return false;">
250
+ <span class="method-name">run_tests</span><span class="method-args">(name, opts, tests)</span>
251
+ </a>
252
+ </div>
253
+
254
+ <div class="method-description">
255
+ </div>
256
+ </div>
257
+
258
+ <div id="method-M000101" class="method-detail">
259
+ <a name="M000101"></a>
260
+
261
+ <div class="method-heading">
262
+ <a href="Testable.src/M000101.html" target="Code" class="method-signature"
263
+ onclick="popupCode('Testable.src/M000101.html');return false;">
233
264
  <span class="method-name">test</span><span class="method-args">()</span>
234
265
  </a>
235
266
  </div>
@@ -238,12 +269,26 @@ Alias for <a href="Testable.html#M000086">check</a>
238
269
  </div>
239
270
  </div>
240
271
 
241
- <div id="method-M000095" class="method-detail">
242
- <a name="M000095"></a>
272
+ <div id="method-M000103" class="method-detail">
273
+ <a name="M000103"></a>
243
274
 
244
275
  <div class="method-heading">
245
- <a href="Testable.src/M000095.html" target="Code" class="method-signature"
246
- onclick="popupCode('Testable.src/M000095.html');return false;">
276
+ <a href="Testable.src/M000103.html" target="Code" class="method-signature"
277
+ onclick="popupCode('Testable.src/M000103.html');return false;">
278
+ <span class="method-name">testcase</span><span class="method-args">()</span>
279
+ </a>
280
+ </div>
281
+
282
+ <div class="method-description">
283
+ </div>
284
+ </div>
285
+
286
+ <div id="method-M000104" class="method-detail">
287
+ <a name="M000104"></a>
288
+
289
+ <div class="method-heading">
290
+ <a href="Testable.src/M000104.html" target="Code" class="method-signature"
291
+ onclick="popupCode('Testable.src/M000104.html');return false;">
247
292
  <span class="method-name">trivial</span><span class="method-args">() {|| ...}</span>
248
293
  </a>
249
294
  </div>
@@ -252,8 +297,8 @@ Alias for <a href="Testable.html#M000086">check</a>
252
297
  </div>
253
298
  </div>
254
299
 
255
- <div id="method-M000094" class="method-detail">
256
- <a name="M000094"></a>
300
+ <div id="method-M000102" class="method-detail">
301
+ <a name="M000102"></a>
257
302
 
258
303
  <div class="method-heading">
259
304
  <span class="method-name">verbose_check</span><span class="method-args">()</span>
@@ -261,7 +306,7 @@ Alias for <a href="Testable.html#M000086">check</a>
261
306
 
262
307
  <div class="method-description">
263
308
  <p>
264
- Alias for <a href="Testable.html#M000093">test</a>
309
+ Alias for <a href="Testable.html#M000101">test</a>
265
310
  </p>
266
311
  </div>
267
312
  </div>
data/data/rushcheck/rdoc/classes/Testable.src/M000091.html CHANGED
@@ -5,14 +5,14 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>label (Testable)</title>
8
+ <title>property (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 27</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">label</span>(<span class="ruby-identifier">s</span>)
15
- <span class="ruby-constant">Property</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">property</span>.<span class="ruby-identifier">gen</span>.<span class="ruby-identifier">fmap</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">res</span><span class="ruby-operator">|</span> <span class="ruby-identifier">res</span>.<span class="ruby-identifier">stamp</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">s</span>.<span class="ruby-identifier">to_s</span>; <span class="ruby-identifier">res</span> })
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/testable.rb, line 11</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>)
16
16
  <span class="ruby-keyword kw">end</span></pre>
17
17
  </body>
18
18
  </html>
data/data/rushcheck/rdoc/classes/Testable.src/M000092.html CHANGED
@@ -5,14 +5,14 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>test (Testable)</title>
8
+ <title>check (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 32</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">test</span>
15
- <span class="ruby-identifier">check</span>(<span class="ruby-constant">RushCheckConfig</span>.<span class="ruby-identifier">verbose</span>)
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/testable.rb, line 15</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">RushCheckConfig</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">TheStdGen</span>.<span class="ruby-identifier">instance</span>)
16
16
  <span class="ruby-keyword kw">end</span></pre>
17
17
  </body>
18
18
  </html>
data/data/rushcheck/rdoc/classes/Testable.src/M000095.html CHANGED
@@ -5,14 +5,14 @@
5
5
 
6
6
  <html>
7
7
  <head>
8
- <title>trivial (Testable)</title>
8
+ <title>classify (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 37</span>
14
- <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">trivial</span>
15
- <span class="ruby-identifier">classify</span>(<span class="ruby-value str">'trivial'</span>) { <span class="ruby-keyword kw">yield</span> }
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/testable.rb, line 21</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">classify</span>(<span class="ruby-identifier">name</span>)
15
+ <span class="ruby-keyword kw">yield</span> <span class="ruby-operator">?</span> <span class="ruby-identifier">label</span>(<span class="ruby-identifier">name</span>) <span class="ruby-operator">:</span> <span class="ruby-identifier">property</span>
16
16
  <span class="ruby-keyword kw">end</span></pre>
17
17
  </body>
18
18
  </html>
data/data/rushcheck/rdoc/classes/Testable.src/M000096.html ADDED
@@ -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>imply (Testable)</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/testable.rb, line 25</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">imply</span>
15
+ <span class="ruby-keyword kw">yield</span> <span class="ruby-operator">?</span> <span class="ruby-identifier">property</span> <span class="ruby-operator">:</span> <span class="ruby-constant">Result</span>.<span class="ruby-identifier">nothing</span>.<span class="ruby-identifier">result</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
data/data/rushcheck/rdoc/classes/Testable.src/M000097.html ADDED
@@ -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>label (Testable)</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/testable.rb, line 29</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">label</span>(<span class="ruby-identifier">s</span>)
15
+ <span class="ruby-constant">Property</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">property</span>.<span class="ruby-identifier">gen</span>.<span class="ruby-identifier">fmap</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">res</span><span class="ruby-operator">|</span> <span class="ruby-identifier">res</span>.<span class="ruby-identifier">stamp</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">s</span>.<span class="ruby-identifier">to_s</span>; <span class="ruby-identifier">res</span> })
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
data/data/rushcheck/rdoc/classes/Testable.src/M000099.html ADDED
@@ -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>run (Testable)</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/testable.rb, line 34</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">RushCheckConfig</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">StdGen</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value">0</span>))
17
+ <span class="ruby-keyword kw">end</span></pre>
18
+ </body>
19
+ </html>
data/data/rushcheck/rdoc/classes/Testable.src/M000100.html ADDED
@@ -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>run_tests (Testable)</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/testable.rb, line 91</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>
19
+ <span class="ruby-keyword kw">end</span></pre>
20
+ </body>
21
+ </html>
data/data/rushcheck/rdoc/classes/Testable.src/M000101.html ADDED
@@ -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>test (Testable)</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/testable.rb, line 98</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">test</span>
15
+ <span class="ruby-identifier">check</span>(<span class="ruby-constant">RushCheckConfig</span>.<span class="ruby-identifier">verbose</span>)
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
data/data/rushcheck/rdoc/classes/Testable.src/M000103.html ADDED
@@ -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>testcase (Testable)</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/testable.rb, line 103</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">testcase</span>
15
+ <span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">opts</span><span class="ruby-operator">|</span> <span class="ruby-identifier">run</span>(<span class="ruby-identifier">opts</span>)}
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>