rushcheck 0.4 → 0.5

Sign up to get free protection for your applications and to get access to all the features.
Files changed (162) hide show
  1. data/Rakefile +1 -3
  2. data/Rakefile.in +37 -0
  3. data/data/rushcheck/doc/rushcheck.thtml +20 -0
  4. data/data/rushcheck/rdoc/classes/FalseClass.html +17 -17
  5. data/data/rushcheck/rdoc/classes/FalseClass.src/M000006.html +18 -0
  6. data/data/rushcheck/rdoc/classes/FalseClass.src/M000007.html +18 -0
  7. data/data/rushcheck/rdoc/classes/FalseClass.src/M000008.html +18 -0
  8. data/data/rushcheck/rdoc/classes/Float.html +21 -21
  9. data/data/rushcheck/rdoc/classes/Float.src/M000015.html +21 -0
  10. data/data/rushcheck/rdoc/classes/Float.src/M000016.html +18 -0
  11. data/data/rushcheck/rdoc/classes/Float.src/M000017.html +22 -0
  12. data/data/rushcheck/rdoc/classes/Float.src/M000018.html +20 -0
  13. data/data/rushcheck/rdoc/classes/Integer.html +28 -29
  14. data/data/rushcheck/rdoc/classes/Integer.src/M000001.html +18 -0
  15. data/data/rushcheck/rdoc/classes/Integer.src/M000002.html +18 -0
  16. data/data/rushcheck/rdoc/classes/Integer.src/M000003.html +25 -0
  17. data/data/rushcheck/rdoc/classes/Integer.src/M000004.html +19 -0
  18. data/data/rushcheck/rdoc/classes/NilClass.html +17 -17
  19. data/data/rushcheck/rdoc/classes/NilClass.src/M000023.html +18 -0
  20. data/data/rushcheck/rdoc/classes/NilClass.src/M000024.html +18 -0
  21. data/data/rushcheck/rdoc/classes/NilClass.src/M000025.html +18 -0
  22. data/data/rushcheck/rdoc/classes/RandomArray.html +16 -16
  23. data/data/rushcheck/rdoc/classes/RandomArray.src/M000009.html +19 -0
  24. data/data/rushcheck/rdoc/classes/RandomArray.src/M000010.html +35 -0
  25. data/data/rushcheck/rdoc/classes/RandomArray.src/M000011.html +22 -0
  26. data/data/rushcheck/rdoc/classes/RandomHash.html +17 -17
  27. data/data/rushcheck/rdoc/classes/RandomHash.src/M000012.html +19 -0
  28. data/data/rushcheck/rdoc/classes/RandomHash.src/M000013.html +26 -0
  29. data/data/rushcheck/rdoc/classes/RandomHash.src/M000014.html +22 -0
  30. data/data/rushcheck/rdoc/classes/RandomProc.html +22 -22
  31. data/data/rushcheck/rdoc/classes/RandomProc.src/M000019.html +18 -0
  32. data/data/rushcheck/rdoc/classes/RandomProc.src/M000020.html +30 -0
  33. data/data/rushcheck/rdoc/classes/RandomProc.src/M000021.html +26 -0
  34. data/data/rushcheck/rdoc/classes/RandomProc.src/M000022.html +20 -0
  35. data/data/rushcheck/rdoc/classes/RushCheck.html +218 -0
  36. data/data/rushcheck/rdoc/classes/RushCheck.src/M000033.html +18 -0
  37. data/data/rushcheck/rdoc/classes/RushCheck.src/M000034.html +27 -0
  38. data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.html +136 -0
  39. data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.src/M000035.html +18 -0
  40. data/data/rushcheck/rdoc/classes/RushCheck/Assertion.html +187 -0
  41. data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000073.html +20 -0
  42. data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000074.html +50 -0
  43. data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.html +135 -0
  44. data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000058.html +18 -0
  45. data/data/rushcheck/rdoc/classes/RushCheck/Config.html +270 -0
  46. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000066.html +23 -0
  47. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000067.html +22 -0
  48. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000068.html +22 -0
  49. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000069.html +18 -0
  50. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000070.html +38 -0
  51. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000071.html +55 -0
  52. data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000072.html +50 -0
  53. data/data/rushcheck/rdoc/classes/RushCheck/Gen.html +558 -0
  54. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000075.html +18 -0
  55. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000076.html +41 -0
  56. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000077.html +18 -0
  57. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000078.html +20 -0
  58. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000079.html +28 -0
  59. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000080.html +24 -0
  60. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000081.html +18 -0
  61. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000082.html +18 -0
  62. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000083.html +18 -0
  63. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000084.html +18 -0
  64. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000085.html +18 -0
  65. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000086.html +24 -0
  66. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000087.html +18 -0
  67. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000088.html +21 -0
  68. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000089.html +18 -0
  69. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000090.html +18 -0
  70. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000091.html +23 -0
  71. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000092.html +19 -0
  72. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000093.html +18 -0
  73. data/data/rushcheck/rdoc/classes/RushCheck/Gen.src/M000094.html +24 -0
  74. data/data/rushcheck/rdoc/classes/RushCheck/GuardException.html +111 -0
  75. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.html +201 -0
  76. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000041.html +22 -0
  77. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000042.html +32 -0
  78. data/data/rushcheck/rdoc/classes/RushCheck/HsRandom.src/M000043.html +18 -0
  79. data/data/rushcheck/rdoc/classes/RushCheck/Property.html +174 -0
  80. data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000105.html +26 -0
  81. data/data/rushcheck/rdoc/classes/RushCheck/Property.src/M000106.html +18 -0
  82. data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.html +146 -0
  83. data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000039.html +18 -0
  84. data/data/rushcheck/rdoc/classes/RushCheck/RandomBool.src/M000040.html +19 -0
  85. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.html +196 -0
  86. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000036.html +18 -0
  87. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000037.html +18 -0
  88. data/data/rushcheck/rdoc/classes/RushCheck/RandomGen.src/M000038.html +18 -0
  89. data/data/rushcheck/rdoc/classes/RushCheck/Result.html +214 -0
  90. data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000095.html +18 -0
  91. data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000096.html +18 -0
  92. data/data/rushcheck/rdoc/classes/RushCheck/Result.src/M000097.html +18 -0
  93. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.html +252 -0
  94. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000061.html +23 -0
  95. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000062.html +21 -0
  96. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000063.html +21 -0
  97. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000064.html +18 -0
  98. data/data/rushcheck/rdoc/classes/RushCheck/StdGen.src/M000065.html +18 -0
  99. data/data/rushcheck/rdoc/classes/RushCheck/TestExausted.html +113 -0
  100. data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.html +155 -0
  101. data/data/rushcheck/rdoc/classes/RushCheck/TestFailed.src/M000099.html +18 -0
  102. data/data/rushcheck/rdoc/classes/RushCheck/TestOk.html +113 -0
  103. data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.html +172 -0
  104. data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000059.html +18 -0
  105. data/data/rushcheck/rdoc/classes/RushCheck/TestOptions.src/M000060.html +18 -0
  106. data/data/rushcheck/rdoc/classes/RushCheck/TestResult.html +160 -0
  107. data/data/rushcheck/rdoc/classes/RushCheck/TestResult.src/M000100.html +18 -0
  108. data/data/rushcheck/rdoc/classes/RushCheck/Testable.html +326 -0
  109. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000044.html +18 -0
  110. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000045.html +18 -0
  111. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000048.html +18 -0
  112. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000049.html +18 -0
  113. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000050.html +18 -0
  114. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000052.html +19 -0
  115. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000053.html +21 -0
  116. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000054.html +18 -0
  117. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000056.html +18 -0
  118. data/data/rushcheck/rdoc/classes/RushCheck/Testable.src/M000057.html +18 -0
  119. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.html +200 -0
  120. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000101.html +18 -0
  121. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000102.html +20 -0
  122. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000103.html +21 -0
  123. data/data/rushcheck/rdoc/classes/RushCheck/TheStdGen.src/M000104.html +18 -0
  124. data/data/rushcheck/rdoc/classes/SpecialString.html +5 -5
  125. data/data/rushcheck/rdoc/classes/SpecialString.src/M000005.html +37 -0
  126. data/data/rushcheck/rdoc/classes/String.html +21 -21
  127. data/data/rushcheck/rdoc/classes/String.src/M000026.html +24 -0
  128. data/data/rushcheck/rdoc/classes/String.src/M000027.html +18 -0
  129. data/data/rushcheck/rdoc/classes/String.src/M000028.html +25 -0
  130. data/data/rushcheck/rdoc/classes/String.src/M000029.html +22 -0
  131. data/data/rushcheck/rdoc/classes/TrueClass.html +17 -17
  132. data/data/rushcheck/rdoc/classes/TrueClass.src/M000030.html +18 -0
  133. data/data/rushcheck/rdoc/classes/TrueClass.src/M000031.html +18 -0
  134. data/data/rushcheck/rdoc/classes/TrueClass.src/M000032.html +18 -0
  135. data/data/rushcheck/rdoc/created.rid +1 -1
  136. data/data/rushcheck/rdoc/files/rushcheck/arbitrary_rb.html +5 -8
  137. data/data/rushcheck/rdoc/files/rushcheck/array_rb.html +1 -1
  138. data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html +2 -3
  139. data/data/rushcheck/rdoc/files/rushcheck/bool_rb.html +3 -2
  140. data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +3 -4
  141. data/data/rushcheck/rdoc/files/rushcheck/float_rb.html +3 -3
  142. data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +5 -5
  143. data/data/rushcheck/rdoc/files/rushcheck/guard_rb.html +2 -2
  144. data/data/rushcheck/rdoc/files/rushcheck/hash_rb.html +1 -1
  145. data/data/rushcheck/rdoc/files/rushcheck/integer_rb.html +2 -2
  146. data/data/rushcheck/rdoc/files/rushcheck/proc_rb.html +1 -1
  147. data/data/rushcheck/rdoc/files/rushcheck/property_rb.html +3 -4
  148. data/data/rushcheck/rdoc/files/rushcheck/random_rb.html +3 -6
  149. data/data/rushcheck/rdoc/files/rushcheck/result_rb.html +3 -4
  150. data/data/rushcheck/rdoc/files/rushcheck/string_rb.html +4 -4
  151. data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +2 -3
  152. data/data/rushcheck/rdoc/files/rushcheck/testoptions_rb.html +3 -3
  153. data/data/rushcheck/rdoc/files/rushcheck/testresult_rb.html +1 -1
  154. data/data/rushcheck/rdoc/files/rushcheck_rb.html +5 -4
  155. data/data/rushcheck/rdoc/fr_class_index.html +20 -20
  156. data/data/rushcheck/rdoc/fr_method_index.html +106 -105
  157. data/lib/rushcheck.rb +1 -0
  158. data/lib/rushcheck/assertion.rb +9 -4
  159. data/lib/rushcheck/gen.rb +1 -1
  160. data/lib/rushcheck/version.rb +8 -0
  161. data/lib/rushcheck/version.rb.in +8 -0
  162. metadata +144 -2
@@ -0,0 +1,172 @@
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: RushCheck::TestOptions</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">RushCheck::TestOptions</td>
54
+ </tr>
55
+ <tr class="top-aligned-row">
56
+ <td><strong>In:</strong></td>
57
+ <td>
58
+ <a href="../../files/rushcheck/testoptions_rb.html">
59
+ rushcheck/testoptions.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
+
82
+
83
+ </div>
84
+
85
+ <div id="method-list">
86
+ <h3 class="section-bar">Methods</h3>
87
+
88
+ <div class="name-list">
89
+ <a href="#M000060">debug?</a>&nbsp;&nbsp;
90
+ <a href="#M000059">new</a>&nbsp;&nbsp;
91
+ </div>
92
+ </div>
93
+
94
+ </div>
95
+
96
+
97
+ <!-- if includes -->
98
+
99
+ <div id="section">
100
+
101
+
102
+
103
+
104
+
105
+ <div id="attribute-list">
106
+ <h3 class="section-bar">Attributes</h3>
107
+
108
+ <div class="name-list">
109
+ <table>
110
+ <tr class="top-aligned-row context-row">
111
+ <td class="context-item-name">length</td>
112
+ <td class="context-item-value">&nbsp;[R]&nbsp;</td>
113
+ <td class="context-item-desc"></td>
114
+ </tr>
115
+ <tr class="top-aligned-row context-row">
116
+ <td class="context-item-name">ntests</td>
117
+ <td class="context-item-value">&nbsp;[R]&nbsp;</td>
118
+ <td class="context-item-desc"></td>
119
+ </tr>
120
+ </table>
121
+ </div>
122
+ </div>
123
+
124
+
125
+
126
+ <!-- if method_list -->
127
+ <div id="methods">
128
+ <h3 class="section-bar">Public Class methods</h3>
129
+
130
+ <div id="method-M000059" class="method-detail">
131
+ <a name="M000059"></a>
132
+
133
+ <div class="method-heading">
134
+ <a href="TestOptions.src/M000059.html" target="Code" class="method-signature"
135
+ onclick="popupCode('TestOptions.src/M000059.html');return false;">
136
+ <span class="method-name">new</span><span class="method-args">(ntests=100, length=1, debug=false)</span>
137
+ </a>
138
+ </div>
139
+
140
+ <div class="method-description">
141
+ </div>
142
+ </div>
143
+
144
+ <h3 class="section-bar">Public Instance methods</h3>
145
+
146
+ <div id="method-M000060" class="method-detail">
147
+ <a name="M000060"></a>
148
+
149
+ <div class="method-heading">
150
+ <a href="TestOptions.src/M000060.html" target="Code" class="method-signature"
151
+ onclick="popupCode('TestOptions.src/M000060.html');return false;">
152
+ <span class="method-name">debug?</span><span class="method-args">()</span>
153
+ </a>
154
+ </div>
155
+
156
+ <div class="method-description">
157
+ </div>
158
+ </div>
159
+
160
+
161
+ </div>
162
+
163
+
164
+ </div>
165
+
166
+
167
+ <div id="validator-badges">
168
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
169
+ </div>
170
+
171
+ </body>
172
+ </html>
@@ -0,0 +1,18 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>new (RushCheck::TestOptions)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/testoptions.rb, line 9</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">ntests</span>=<span class="ruby-value">100</span>, <span class="ruby-identifier">length</span>=<span class="ruby-value">1</span>, <span class="ruby-identifier">debug</span>=<span class="ruby-keyword kw">false</span>)
15
+ <span class="ruby-ivar">@ntests</span>, <span class="ruby-ivar">@length</span>, <span class="ruby-ivar">@debug</span> = <span class="ruby-identifier">ntests</span>, <span class="ruby-identifier">length</span>, <span class="ruby-identifier">debug</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
@@ -0,0 +1,18 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>debug? (RushCheck::TestOptions)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/testoptions.rb, line 13</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">debug?</span>
15
+ <span class="ruby-ivar">@debug</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
@@ -0,0 +1,160 @@
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: RushCheck::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">RushCheck::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
+
82
+
83
+ </div>
84
+
85
+ <div id="method-list">
86
+ <h3 class="section-bar">Methods</h3>
87
+
88
+ <div class="name-list">
89
+ <a href="#M000100">new</a>&nbsp;&nbsp;
90
+ </div>
91
+ </div>
92
+
93
+ </div>
94
+
95
+
96
+ <!-- if includes -->
97
+
98
+ <div id="section">
99
+
100
+
101
+
102
+
103
+
104
+ <div id="attribute-list">
105
+ <h3 class="section-bar">Attributes</h3>
106
+
107
+ <div class="name-list">
108
+ <table>
109
+ <tr class="top-aligned-row context-row">
110
+ <td class="context-item-name">message</td>
111
+ <td class="context-item-value">&nbsp;[R]&nbsp;</td>
112
+ <td class="context-item-desc"></td>
113
+ </tr>
114
+ <tr class="top-aligned-row context-row">
115
+ <td class="context-item-name">ntests</td>
116
+ <td class="context-item-value">&nbsp;[R]&nbsp;</td>
117
+ <td class="context-item-desc"></td>
118
+ </tr>
119
+ <tr class="top-aligned-row context-row">
120
+ <td class="context-item-name">stamps</td>
121
+ <td class="context-item-value">&nbsp;[R]&nbsp;</td>
122
+ <td class="context-item-desc"></td>
123
+ </tr>
124
+ </table>
125
+ </div>
126
+ </div>
127
+
128
+
129
+
130
+ <!-- if method_list -->
131
+ <div id="methods">
132
+ <h3 class="section-bar">Public Class methods</h3>
133
+
134
+ <div id="method-M000100" class="method-detail">
135
+ <a name="M000100"></a>
136
+
137
+ <div class="method-heading">
138
+ <a href="TestResult.src/M000100.html" target="Code" class="method-signature"
139
+ onclick="popupCode('TestResult.src/M000100.html');return false;">
140
+ <span class="method-name">new</span><span class="method-args">(message, ntests, stamps)</span>
141
+ </a>
142
+ </div>
143
+
144
+ <div class="method-description">
145
+ </div>
146
+ </div>
147
+
148
+
149
+ </div>
150
+
151
+
152
+ </div>
153
+
154
+
155
+ <div id="validator-badges">
156
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
157
+ </div>
158
+
159
+ </body>
160
+ </html>
@@ -0,0 +1,18 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html>
7
+ <head>
8
+ <title>new (RushCheck::TestResult)</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
11
+ </head>
12
+ <body class="standalone-code">
13
+ <pre><span class="ruby-comment cmt"># File rushcheck/testresult.rb, line 8</span>
14
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-identifier">message</span>, <span class="ruby-identifier">ntests</span>, <span class="ruby-identifier">stamps</span>)
15
+ <span class="ruby-ivar">@message</span>, <span class="ruby-ivar">@ntest</span>, <span class="ruby-ivar">@stamps</span> = <span class="ruby-identifier">message</span>, <span class="ruby-identifier">ntests</span>, <span class="ruby-identifier">stamps</span>
16
+ <span class="ruby-keyword kw">end</span></pre>
17
+ </body>
18
+ </html>
@@ -0,0 +1,326 @@
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>Module: RushCheck::Testable</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>Module</strong></td>
53
+ <td class="class-name-in-header">RushCheck::Testable</td>
54
+ </tr>
55
+ <tr class="top-aligned-row">
56
+ <td><strong>In:</strong></td>
57
+ <td>
58
+ <a href="../../files/rushcheck/testable_rb.html">
59
+ rushcheck/testable.rb
60
+ </a>
61
+ <br />
62
+ </td>
63
+ </tr>
64
+
65
+ </table>
66
+ </div>
67
+ <!-- banner header -->
68
+
69
+ <div id="bodyContent">
70
+
71
+
72
+
73
+ <div id="contextContent">
74
+
75
+
76
+
77
+ </div>
78
+
79
+ <div id="method-list">
80
+ <h3 class="section-bar">Methods</h3>
81
+
82
+ <div class="name-list">
83
+ <a href="#M000045">check</a>&nbsp;&nbsp;
84
+ <a href="#M000048">classify</a>&nbsp;&nbsp;
85
+ <a href="#M000051">collect</a>&nbsp;&nbsp;
86
+ <a href="#M000049">imply</a>&nbsp;&nbsp;
87
+ <a href="#M000050">label</a>&nbsp;&nbsp;
88
+ <a href="#M000044">property</a>&nbsp;&nbsp;
89
+ <a href="#M000046">quick_check</a>&nbsp;&nbsp;
90
+ <a href="#M000047">quickcheck</a>&nbsp;&nbsp;
91
+ <a href="#M000052">run</a>&nbsp;&nbsp;
92
+ <a href="#M000053">run_tests</a>&nbsp;&nbsp;
93
+ <a href="#M000054">test</a>&nbsp;&nbsp;
94
+ <a href="#M000056">testcase</a>&nbsp;&nbsp;
95
+ <a href="#M000057">trivial</a>&nbsp;&nbsp;
96
+ <a href="#M000055">verbose_check</a>&nbsp;&nbsp;
97
+ </div>
98
+ </div>
99
+
100
+ </div>
101
+
102
+
103
+ <!-- if includes -->
104
+
105
+ <div id="section">
106
+
107
+
108
+
109
+
110
+
111
+
112
+
113
+
114
+ <!-- if method_list -->
115
+ <div id="methods">
116
+ <h3 class="section-bar">Public Instance methods</h3>
117
+
118
+ <div id="method-M000045" class="method-detail">
119
+ <a name="M000045"></a>
120
+
121
+ <div class="method-heading">
122
+ <a href="Testable.src/M000045.html" target="Code" class="method-signature"
123
+ onclick="popupCode('Testable.src/M000045.html');return false;">
124
+ <span class="method-name">check</span><span class="method-args">(config=RushCheck::Config.quick)</span>
125
+ </a>
126
+ </div>
127
+
128
+ <div class="method-description">
129
+ </div>
130
+ </div>
131
+
132
+ <div id="method-M000048" class="method-detail">
133
+ <a name="M000048"></a>
134
+
135
+ <div class="method-heading">
136
+ <a href="Testable.src/M000048.html" target="Code" class="method-signature"
137
+ onclick="popupCode('Testable.src/M000048.html');return false;">
138
+ <span class="method-name">classify</span><span class="method-args">(name) {|? label(name) : property| ...}</span>
139
+ </a>
140
+ </div>
141
+
142
+ <div class="method-description">
143
+ </div>
144
+ </div>
145
+
146
+ <div id="method-M000051" class="method-detail">
147
+ <a name="M000051"></a>
148
+
149
+ <div class="method-heading">
150
+ <span class="method-name">collect</span><span class="method-args">(s)</span>
151
+ </div>
152
+
153
+ <div class="method-description">
154
+ <p>
155
+ Alias for <a href="Testable.html#M000050">label</a>
156
+ </p>
157
+ </div>
158
+ </div>
159
+
160
+ <div id="method-M000049" class="method-detail">
161
+ <a name="M000049"></a>
162
+
163
+ <div class="method-heading">
164
+ <a href="Testable.src/M000049.html" target="Code" class="method-signature"
165
+ onclick="popupCode('Testable.src/M000049.html');return false;">
166
+ <span class="method-name">imply</span><span class="method-args">() {|? property : RushCheck::Result.nothing.result| ...}</span>
167
+ </a>
168
+ </div>
169
+
170
+ <div class="method-description">
171
+ </div>
172
+ </div>
173
+
174
+ <div id="method-M000050" class="method-detail">
175
+ <a name="M000050"></a>
176
+
177
+ <div class="method-heading">
178
+ <a href="Testable.src/M000050.html" target="Code" class="method-signature"
179
+ onclick="popupCode('Testable.src/M000050.html');return false;">
180
+ <span class="method-name">label</span><span class="method-args">(s)</span>
181
+ </a>
182
+ </div>
183
+
184
+ <div class="method-description">
185
+ </div>
186
+ </div>
187
+
188
+ <div id="method-M000044" class="method-detail">
189
+ <a name="M000044"></a>
190
+
191
+ <div class="method-heading">
192
+ <a href="Testable.src/M000044.html" target="Code" class="method-signature"
193
+ onclick="popupCode('Testable.src/M000044.html');return false;">
194
+ <span class="method-name">property</span><span class="method-args">()</span>
195
+ </a>
196
+ </div>
197
+
198
+ <div class="method-description">
199
+ </div>
200
+ </div>
201
+
202
+ <div id="method-M000046" class="method-detail">
203
+ <a name="M000046"></a>
204
+
205
+ <div class="method-heading">
206
+ <span class="method-name">quick_check</span><span class="method-args">(config=RushCheck::Config.quick)</span>
207
+ </div>
208
+
209
+ <div class="method-description">
210
+ <p>
211
+ Alias for <a href="Testable.html#M000045">check</a>
212
+ </p>
213
+ </div>
214
+ </div>
215
+
216
+ <div id="method-M000047" class="method-detail">
217
+ <a name="M000047"></a>
218
+
219
+ <div class="method-heading">
220
+ <span class="method-name">quickcheck</span><span class="method-args">(config=RushCheck::Config.quick)</span>
221
+ </div>
222
+
223
+ <div class="method-description">
224
+ <p>
225
+ Alias for <a href="Testable.html#M000045">check</a>
226
+ </p>
227
+ </div>
228
+ </div>
229
+
230
+ <div id="method-M000052" class="method-detail">
231
+ <a name="M000052"></a>
232
+
233
+ <div class="method-heading">
234
+ <a href="Testable.src/M000052.html" target="Code" class="method-signature"
235
+ onclick="popupCode('Testable.src/M000052.html');return false;">
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-M000053" class="method-detail">
245
+ <a name="M000053"></a>
246
+
247
+ <div class="method-heading">
248
+ <a href="Testable.src/M000053.html" target="Code" class="method-signature"
249
+ onclick="popupCode('Testable.src/M000053.html');return false;">
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-M000054" class="method-detail">
259
+ <a name="M000054"></a>
260
+
261
+ <div class="method-heading">
262
+ <a href="Testable.src/M000054.html" target="Code" class="method-signature"
263
+ onclick="popupCode('Testable.src/M000054.html');return false;">
264
+ <span class="method-name">test</span><span class="method-args">()</span>
265
+ </a>
266
+ </div>
267
+
268
+ <div class="method-description">
269
+ </div>
270
+ </div>
271
+
272
+ <div id="method-M000056" class="method-detail">
273
+ <a name="M000056"></a>
274
+
275
+ <div class="method-heading">
276
+ <a href="Testable.src/M000056.html" target="Code" class="method-signature"
277
+ onclick="popupCode('Testable.src/M000056.html');return false;">
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-M000057" class="method-detail">
287
+ <a name="M000057"></a>
288
+
289
+ <div class="method-heading">
290
+ <a href="Testable.src/M000057.html" target="Code" class="method-signature"
291
+ onclick="popupCode('Testable.src/M000057.html');return false;">
292
+ <span class="method-name">trivial</span><span class="method-args">() {|| ...}</span>
293
+ </a>
294
+ </div>
295
+
296
+ <div class="method-description">
297
+ </div>
298
+ </div>
299
+
300
+ <div id="method-M000055" class="method-detail">
301
+ <a name="M000055"></a>
302
+
303
+ <div class="method-heading">
304
+ <span class="method-name">verbose_check</span><span class="method-args">()</span>
305
+ </div>
306
+
307
+ <div class="method-description">
308
+ <p>
309
+ Alias for <a href="Testable.html#M000054">test</a>
310
+ </p>
311
+ </div>
312
+ </div>
313
+
314
+
315
+ </div>
316
+
317
+
318
+ </div>
319
+
320
+
321
+ <div id="validator-badges">
322
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
323
+ </div>
324
+
325
+ </body>
326
+ </html>