rushcheck 0.3 → 0.4

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