rushcheck 0.2

Sign up to get free protection for your applications and to get access to all the features.
Files changed (168) hide show
  1. data/COPYING +515 -0
  2. data/INSTALL +14 -0
  3. data/LICENSE +5 -0
  4. data/README +49 -0
  5. data/Rakefile +39 -0
  6. data/copying.txt +23 -0
  7. data/data/rushcheck/doc/policy.txt +520 -0
  8. data/data/rushcheck/doc/rushcheck.txt +612 -0
  9. data/data/rushcheck/examples/printf.rb +22 -0
  10. data/data/rushcheck/examples/proc.rb +33 -0
  11. data/data/rushcheck/examples/roguetile.rb +153 -0
  12. data/data/rushcheck/examples/sample.rb +52 -0
  13. data/data/rushcheck/rdoc/classes/Arbitrary.html +148 -0
  14. data/data/rushcheck/rdoc/classes/Arbitrary.src/M000075.html +18 -0
  15. data/data/rushcheck/rdoc/classes/Assertion.html +183 -0
  16. data/data/rushcheck/rdoc/classes/Assertion.src/M000015.html +20 -0
  17. data/data/rushcheck/rdoc/classes/Assertion.src/M000016.html +45 -0
  18. data/data/rushcheck/rdoc/classes/Coarbitrary.html +135 -0
  19. data/data/rushcheck/rdoc/classes/Coarbitrary.src/M000095.html +18 -0
  20. data/data/rushcheck/rdoc/classes/FalseClass.html +177 -0
  21. data/data/rushcheck/rdoc/classes/FalseClass.src/M000018.html +18 -0
  22. data/data/rushcheck/rdoc/classes/FalseClass.src/M000019.html +18 -0
  23. data/data/rushcheck/rdoc/classes/FalseClass.src/M000020.html +18 -0
  24. data/data/rushcheck/rdoc/classes/Float.html +191 -0
  25. data/data/rushcheck/rdoc/classes/Float.src/M000047.html +21 -0
  26. data/data/rushcheck/rdoc/classes/Float.src/M000048.html +18 -0
  27. data/data/rushcheck/rdoc/classes/Float.src/M000049.html +22 -0
  28. data/data/rushcheck/rdoc/classes/Float.src/M000050.html +20 -0
  29. data/data/rushcheck/rdoc/classes/Gen.html +515 -0
  30. data/data/rushcheck/rdoc/classes/Gen.src/M000026.html +18 -0
  31. data/data/rushcheck/rdoc/classes/Gen.src/M000027.html +20 -0
  32. data/data/rushcheck/rdoc/classes/Gen.src/M000028.html +28 -0
  33. data/data/rushcheck/rdoc/classes/Gen.src/M000029.html +24 -0
  34. data/data/rushcheck/rdoc/classes/Gen.src/M000030.html +18 -0
  35. data/data/rushcheck/rdoc/classes/Gen.src/M000031.html +18 -0
  36. data/data/rushcheck/rdoc/classes/Gen.src/M000032.html +18 -0
  37. data/data/rushcheck/rdoc/classes/Gen.src/M000033.html +18 -0
  38. data/data/rushcheck/rdoc/classes/Gen.src/M000034.html +18 -0
  39. data/data/rushcheck/rdoc/classes/Gen.src/M000035.html +24 -0
  40. data/data/rushcheck/rdoc/classes/Gen.src/M000036.html +18 -0
  41. data/data/rushcheck/rdoc/classes/Gen.src/M000037.html +21 -0
  42. data/data/rushcheck/rdoc/classes/Gen.src/M000038.html +18 -0
  43. data/data/rushcheck/rdoc/classes/Gen.src/M000039.html +18 -0
  44. data/data/rushcheck/rdoc/classes/Gen.src/M000040.html +23 -0
  45. data/data/rushcheck/rdoc/classes/Gen.src/M000041.html +19 -0
  46. data/data/rushcheck/rdoc/classes/Gen.src/M000042.html +18 -0
  47. data/data/rushcheck/rdoc/classes/Gen.src/M000043.html +24 -0
  48. data/data/rushcheck/rdoc/classes/Guard.html +159 -0
  49. data/data/rushcheck/rdoc/classes/Guard.src/M000024.html +27 -0
  50. data/data/rushcheck/rdoc/classes/Guard.src/M000025.html +18 -0
  51. data/data/rushcheck/rdoc/classes/HsRandom.html +201 -0
  52. data/data/rushcheck/rdoc/classes/HsRandom.src/M000081.html +22 -0
  53. data/data/rushcheck/rdoc/classes/HsRandom.src/M000082.html +32 -0
  54. data/data/rushcheck/rdoc/classes/HsRandom.src/M000083.html +18 -0
  55. data/data/rushcheck/rdoc/classes/Integer.html +212 -0
  56. data/data/rushcheck/rdoc/classes/Integer.src/M000006.html +18 -0
  57. data/data/rushcheck/rdoc/classes/Integer.src/M000007.html +18 -0
  58. data/data/rushcheck/rdoc/classes/Integer.src/M000008.html +21 -0
  59. data/data/rushcheck/rdoc/classes/Integer.src/M000009.html +19 -0
  60. data/data/rushcheck/rdoc/classes/NilClass.html +177 -0
  61. data/data/rushcheck/rdoc/classes/NilClass.src/M000059.html +18 -0
  62. data/data/rushcheck/rdoc/classes/NilClass.src/M000060.html +18 -0
  63. data/data/rushcheck/rdoc/classes/NilClass.src/M000061.html +18 -0
  64. data/data/rushcheck/rdoc/classes/Property.html +174 -0
  65. data/data/rushcheck/rdoc/classes/Property.src/M000070.html +26 -0
  66. data/data/rushcheck/rdoc/classes/Property.src/M000071.html +18 -0
  67. data/data/rushcheck/rdoc/classes/RandomArray.html +184 -0
  68. data/data/rushcheck/rdoc/classes/RandomArray.src/M000021.html +18 -0
  69. data/data/rushcheck/rdoc/classes/RandomArray.src/M000022.html +35 -0
  70. data/data/rushcheck/rdoc/classes/RandomArray.src/M000023.html +22 -0
  71. data/data/rushcheck/rdoc/classes/RandomBool.html +146 -0
  72. data/data/rushcheck/rdoc/classes/RandomBool.src/M000079.html +18 -0
  73. data/data/rushcheck/rdoc/classes/RandomBool.src/M000080.html +19 -0
  74. data/data/rushcheck/rdoc/classes/RandomGen.html +196 -0
  75. data/data/rushcheck/rdoc/classes/RandomGen.src/M000076.html +18 -0
  76. data/data/rushcheck/rdoc/classes/RandomGen.src/M000077.html +18 -0
  77. data/data/rushcheck/rdoc/classes/RandomGen.src/M000078.html +18 -0
  78. data/data/rushcheck/rdoc/classes/RandomHash.html +197 -0
  79. data/data/rushcheck/rdoc/classes/RandomHash.src/M000044.html +18 -0
  80. data/data/rushcheck/rdoc/classes/RandomHash.src/M000045.html +26 -0
  81. data/data/rushcheck/rdoc/classes/RandomHash.src/M000046.html +22 -0
  82. data/data/rushcheck/rdoc/classes/RandomProc.html +192 -0
  83. data/data/rushcheck/rdoc/classes/RandomProc.src/M000055.html +18 -0
  84. data/data/rushcheck/rdoc/classes/RandomProc.src/M000056.html +30 -0
  85. data/data/rushcheck/rdoc/classes/RandomProc.src/M000057.html +26 -0
  86. data/data/rushcheck/rdoc/classes/RandomProc.src/M000058.html +20 -0
  87. data/data/rushcheck/rdoc/classes/Result.html +214 -0
  88. data/data/rushcheck/rdoc/classes/Result.src/M000051.html +18 -0
  89. data/data/rushcheck/rdoc/classes/Result.src/M000052.html +18 -0
  90. data/data/rushcheck/rdoc/classes/Result.src/M000053.html +18 -0
  91. data/data/rushcheck/rdoc/classes/RushCheckConfig.html +240 -0
  92. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000001.html +23 -0
  93. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000002.html +22 -0
  94. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000003.html +18 -0
  95. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000004.html +38 -0
  96. data/data/rushcheck/rdoc/classes/RushCheckConfig.src/M000005.html +55 -0
  97. data/data/rushcheck/rdoc/classes/RushCheckGuard.html +118 -0
  98. data/data/rushcheck/rdoc/classes/SpecialString.html +151 -0
  99. data/data/rushcheck/rdoc/classes/SpecialString.src/M000017.html +37 -0
  100. data/data/rushcheck/rdoc/classes/StdGen.html +252 -0
  101. data/data/rushcheck/rdoc/classes/StdGen.src/M000010.html +23 -0
  102. data/data/rushcheck/rdoc/classes/StdGen.src/M000011.html +21 -0
  103. data/data/rushcheck/rdoc/classes/StdGen.src/M000012.html +21 -0
  104. data/data/rushcheck/rdoc/classes/StdGen.src/M000013.html +18 -0
  105. data/data/rushcheck/rdoc/classes/StdGen.src/M000014.html +18 -0
  106. data/data/rushcheck/rdoc/classes/String.html +191 -0
  107. data/data/rushcheck/rdoc/classes/String.src/M000066.html +24 -0
  108. data/data/rushcheck/rdoc/classes/String.src/M000067.html +18 -0
  109. data/data/rushcheck/rdoc/classes/String.src/M000068.html +25 -0
  110. data/data/rushcheck/rdoc/classes/String.src/M000069.html +22 -0
  111. data/data/rushcheck/rdoc/classes/Testable.html +281 -0
  112. data/data/rushcheck/rdoc/classes/Testable.src/M000084.html +18 -0
  113. data/data/rushcheck/rdoc/classes/Testable.src/M000085.html +18 -0
  114. data/data/rushcheck/rdoc/classes/Testable.src/M000088.html +18 -0
  115. data/data/rushcheck/rdoc/classes/Testable.src/M000089.html +18 -0
  116. data/data/rushcheck/rdoc/classes/Testable.src/M000090.html +18 -0
  117. data/data/rushcheck/rdoc/classes/Testable.src/M000092.html +18 -0
  118. data/data/rushcheck/rdoc/classes/Testable.src/M000094.html +18 -0
  119. data/data/rushcheck/rdoc/classes/TheStdGen.html +200 -0
  120. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000062.html +18 -0
  121. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000063.html +20 -0
  122. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000064.html +21 -0
  123. data/data/rushcheck/rdoc/classes/TheStdGen.src/M000065.html +18 -0
  124. data/data/rushcheck/rdoc/classes/TrueClass.html +177 -0
  125. data/data/rushcheck/rdoc/classes/TrueClass.src/M000072.html +18 -0
  126. data/data/rushcheck/rdoc/classes/TrueClass.src/M000073.html +18 -0
  127. data/data/rushcheck/rdoc/classes/TrueClass.src/M000074.html +18 -0
  128. data/data/rushcheck/rdoc/created.rid +1 -0
  129. data/data/rushcheck/rdoc/files/rushcheck/arbitrary_rb.html +114 -0
  130. data/data/rushcheck/rdoc/files/rushcheck/array_rb.html +117 -0
  131. data/data/rushcheck/rdoc/files/rushcheck/assertion_rb.html +120 -0
  132. data/data/rushcheck/rdoc/files/rushcheck/bool_rb.html +120 -0
  133. data/data/rushcheck/rdoc/files/rushcheck/config_rb.html +109 -0
  134. data/data/rushcheck/rdoc/files/rushcheck/float_rb.html +118 -0
  135. data/data/rushcheck/rdoc/files/rushcheck/gen_rb.html +111 -0
  136. data/data/rushcheck/rdoc/files/rushcheck/guard_rb.html +108 -0
  137. data/data/rushcheck/rdoc/files/rushcheck/hash_rb.html +117 -0
  138. data/data/rushcheck/rdoc/files/rushcheck/integer_rb.html +118 -0
  139. data/data/rushcheck/rdoc/files/rushcheck/proc_rb.html +118 -0
  140. data/data/rushcheck/rdoc/files/rushcheck/property_rb.html +119 -0
  141. data/data/rushcheck/rdoc/files/rushcheck/random_rb.html +126 -0
  142. data/data/rushcheck/rdoc/files/rushcheck/result_rb.html +118 -0
  143. data/data/rushcheck/rdoc/files/rushcheck/rushcheck_rb.html +123 -0
  144. data/data/rushcheck/rdoc/files/rushcheck/string_rb.html +121 -0
  145. data/data/rushcheck/rdoc/files/rushcheck/testable_rb.html +117 -0
  146. data/data/rushcheck/rdoc/fr_class_index.html +51 -0
  147. data/data/rushcheck/rdoc/fr_file_index.html +43 -0
  148. data/data/rushcheck/rdoc/fr_method_index.html +121 -0
  149. data/data/rushcheck/rdoc/index.html +24 -0
  150. data/data/rushcheck/rdoc/rdoc-style.css +208 -0
  151. data/lib/rushcheck/arbitrary.rb +28 -0
  152. data/lib/rushcheck/array.rb +49 -0
  153. data/lib/rushcheck/assertion.rb +67 -0
  154. data/lib/rushcheck/bool.rb +90 -0
  155. data/lib/rushcheck/config.rb +98 -0
  156. data/lib/rushcheck/float.rb +43 -0
  157. data/lib/rushcheck/gen.rb +189 -0
  158. data/lib/rushcheck/guard.rb +27 -0
  159. data/lib/rushcheck/hash.rb +45 -0
  160. data/lib/rushcheck/integer.rb +43 -0
  161. data/lib/rushcheck/proc.rb +53 -0
  162. data/lib/rushcheck/property.rb +29 -0
  163. data/lib/rushcheck/random.rb +215 -0
  164. data/lib/rushcheck/result.rb +26 -0
  165. data/lib/rushcheck/rushcheck.rb +17 -0
  166. data/lib/rushcheck/string.rb +100 -0
  167. data/lib/rushcheck/testable.rb +41 -0
  168. metadata +238 -0
data/COPYING ADDED
@@ -0,0 +1,515 @@
1
+
2
+ GNU LESSER GENERAL PUBLIC LICENSE
3
+ Version 2.1, February 1999
4
+
5
+ Copyright (C) 1991, 1999 Free Software Foundation, Inc.
6
+ 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
7
+ Everyone is permitted to copy and distribute verbatim copies
8
+ of this license document, but changing it is not allowed.
9
+
10
+ [This is the first released version of the Lesser GPL. It also counts
11
+ as the successor of the GNU Library Public License, version 2, hence
12
+ the version number 2.1.]
13
+
14
+ Preamble
15
+
16
+ The licenses for most software are designed to take away your
17
+ freedom to share and change it. By contrast, the GNU General Public
18
+ Licenses are intended to guarantee your freedom to share and change
19
+ free software--to make sure the software is free for all its users.
20
+
21
+ This license, the Lesser General Public License, applies to some
22
+ specially designated software packages--typically libraries--of the
23
+ Free Software Foundation and other authors who decide to use it. You
24
+ can use it too, but we suggest you first think carefully about whether
25
+ this license or the ordinary General Public License is the better
26
+ strategy to use in any particular case, based on the explanations
27
+ below.
28
+
29
+ When we speak of free software, we are referring to freedom of use,
30
+ not price. Our General Public Licenses are designed to make sure that
31
+ you have the freedom to distribute copies of free software (and charge
32
+ for this service if you wish); that you receive source code or can get
33
+ it if you want it; that you can change the software and use pieces of
34
+ it in new free programs; and that you are informed that you can do
35
+ these things.
36
+
37
+ To protect your rights, we need to make restrictions that forbid
38
+ distributors to deny you these rights or to ask you to surrender these
39
+ rights. These restrictions translate to certain responsibilities for
40
+ you if you distribute copies of the library or if you modify it.
41
+
42
+ For example, if you distribute copies of the library, whether gratis
43
+ or for a fee, you must give the recipients all the rights that we gave
44
+ you. You must make sure that they, too, receive or can get the source
45
+ code. If you link other code with the library, you must provide
46
+ complete object files to the recipients, so that they can relink them
47
+ with the library after making changes to the library and recompiling
48
+ it. And you must show them these terms so they know their rights.
49
+
50
+ We protect your rights with a two-step method: (1) we copyright the
51
+ library, and (2) we offer you this license, which gives you legal
52
+ permission to copy, distribute and/or modify the library.
53
+
54
+ To protect each distributor, we want to make it very clear that
55
+ there is no warranty for the free library. Also, if the library is
56
+ modified by someone else and passed on, the recipients should know
57
+ that what they have is not the original version, so that the original
58
+ author's reputation will not be affected by problems that might be
59
+ introduced by others.
60
+ ^L
61
+ Finally, software patents pose a constant threat to the existence of
62
+ any free program. We wish to make sure that a company cannot
63
+ effectively restrict the users of a free program by obtaining a
64
+ restrictive license from a patent holder. Therefore, we insist that
65
+ any patent license obtained for a version of the library must be
66
+ consistent with the full freedom of use specified in this license.
67
+
68
+ Most GNU software, including some libraries, is covered by the
69
+ ordinary GNU General Public License. This license, the GNU Lesser
70
+ General Public License, applies to certain designated libraries, and
71
+ is quite different from the ordinary General Public License. We use
72
+ this license for certain libraries in order to permit linking those
73
+ libraries into non-free programs.
74
+
75
+ When a program is linked with a library, whether statically or using
76
+ a shared library, the combination of the two is legally speaking a
77
+ combined work, a derivative of the original library. The ordinary
78
+ General Public License therefore permits such linking only if the
79
+ entire combination fits its criteria of freedom. The Lesser General
80
+ Public License permits more lax criteria for linking other code with
81
+ the library.
82
+
83
+ We call this license the "Lesser" General Public License because it
84
+ does Less to protect the user's freedom than the ordinary General
85
+ Public License. It also provides other free software developers Less
86
+ of an advantage over competing non-free programs. These disadvantages
87
+ are the reason we use the ordinary General Public License for many
88
+ libraries. However, the Lesser license provides advantages in certain
89
+ special circumstances.
90
+
91
+ For example, on rare occasions, there may be a special need to
92
+ encourage the widest possible use of a certain library, so that it
93
+ becomes
94
+ a de-facto standard. To achieve this, non-free programs must be
95
+ allowed to use the library. A more frequent case is that a free
96
+ library does the same job as widely used non-free libraries. In this
97
+ case, there is little to gain by limiting the free library to free
98
+ software only, so we use the Lesser General Public License.
99
+
100
+ In other cases, permission to use a particular library in non-free
101
+ programs enables a greater number of people to use a large body of
102
+ free software. For example, permission to use the GNU C Library in
103
+ non-free programs enables many more people to use the whole GNU
104
+ operating system, as well as its variant, the GNU/Linux operating
105
+ system.
106
+
107
+ Although the Lesser General Public License is Less protective of the
108
+ users' freedom, it does ensure that the user of a program that is
109
+ linked with the Library has the freedom and the wherewithal to run
110
+ that program using a modified version of the Library.
111
+
112
+ The precise terms and conditions for copying, distribution and
113
+ modification follow. Pay close attention to the difference between a
114
+ "work based on the library" and a "work that uses the library". The
115
+ former contains code derived from the library, whereas the latter must
116
+ be combined with the library in order to run.
117
+ ^L
118
+ GNU LESSER GENERAL PUBLIC LICENSE
119
+ TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
120
+
121
+ 0. This License Agreement applies to any software library or other
122
+ program which contains a notice placed by the copyright holder or
123
+ other authorized party saying it may be distributed under the terms of
124
+ this Lesser General Public License (also called "this License").
125
+ Each licensee is addressed as "you".
126
+
127
+ A "library" means a collection of software functions and/or data
128
+ prepared so as to be conveniently linked with application programs
129
+ (which use some of those functions and data) to form executables.
130
+
131
+ The "Library", below, refers to any such software library or work
132
+ which has been distributed under these terms. A "work based on the
133
+ Library" means either the Library or any derivative work under
134
+ copyright law: that is to say, a work containing the Library or a
135
+ portion of it, either verbatim or with modifications and/or translated
136
+ straightforwardly into another language. (Hereinafter, translation is
137
+ included without limitation in the term "modification".)
138
+
139
+ "Source code" for a work means the preferred form of the work for
140
+ making modifications to it. For a library, complete source code means
141
+ all the source code for all modules it contains, plus any associated
142
+ interface definition files, plus the scripts used to control
143
+ compilation
144
+ and installation of the library.
145
+
146
+ Activities other than copying, distribution and modification are not
147
+ covered by this License; they are outside its scope. The act of
148
+ running a program using the Library is not restricted, and output from
149
+ such a program is covered only if its contents constitute a work based
150
+ on the Library (independent of the use of the Library in a tool for
151
+ writing it). Whether that is true depends on what the Library does
152
+ and what the program that uses the Library does.
153
+
154
+ 1. You may copy and distribute verbatim copies of the Library's
155
+ complete source code as you receive it, in any medium, provided that
156
+ you conspicuously and appropriately publish on each copy an
157
+ appropriate copyright notice and disclaimer of warranty; keep intact
158
+ all the notices that refer to this License and to the absence of any
159
+ warranty; and distribute a copy of this License along with the
160
+ Library.
161
+
162
+ You may charge a fee for the physical act of transferring a copy,
163
+ and you may at your option offer warranty protection in exchange for a
164
+ fee.
165
+
166
+ 2. You may modify your copy or copies of the Library or any portion
167
+ of it, thus forming a work based on the Library, and copy and
168
+ distribute such modifications or work under the terms of Section 1
169
+ above, provided that you also meet all of these conditions:
170
+
171
+ a) The modified work must itself be a software library.
172
+
173
+ b) You must cause the files modified to carry prominent notices
174
+ stating that you changed the files and the date of any change.
175
+
176
+ c) You must cause the whole of the work to be licensed at no
177
+ charge to all third parties under the terms of this License.
178
+
179
+ d) If a facility in the modified Library refers to a function or a
180
+ table of data to be supplied by an application program that uses
181
+ the facility, other than as an argument passed when the facility
182
+ is invoked, then you must make a good faith effort to ensure that,
183
+ in the event an application does not supply such function or
184
+ table, the facility still operates, and performs whatever part of
185
+ its purpose remains meaningful.
186
+
187
+ (For example, a function in a library to compute square roots has
188
+ a purpose that is entirely well-defined independent of the
189
+ application. Therefore, Subsection 2d requires that any
190
+ application-supplied function or table used by this function must
191
+ be optional: if the application does not supply it, the square
192
+ root function must still compute square roots.)
193
+
194
+ These requirements apply to the modified work as a whole. If
195
+ identifiable sections of that work are not derived from the Library,
196
+ and can be reasonably considered independent and separate works in
197
+ themselves, then this License, and its terms, do not apply to those
198
+ sections when you distribute them as separate works. But when you
199
+ distribute the same sections as part of a whole which is a work based
200
+ on the Library, the distribution of the whole must be on the terms of
201
+ this License, whose permissions for other licensees extend to the
202
+ entire whole, and thus to each and every part regardless of who wrote
203
+ it.
204
+
205
+ Thus, it is not the intent of this section to claim rights or contest
206
+ your rights to work written entirely by you; rather, the intent is to
207
+ exercise the right to control the distribution of derivative or
208
+ collective works based on the Library.
209
+
210
+ In addition, mere aggregation of another work not based on the Library
211
+ with the Library (or with a work based on the Library) on a volume of
212
+ a storage or distribution medium does not bring the other work under
213
+ the scope of this License.
214
+
215
+ 3. You may opt to apply the terms of the ordinary GNU General Public
216
+ License instead of this License to a given copy of the Library. To do
217
+ this, you must alter all the notices that refer to this License, so
218
+ that they refer to the ordinary GNU General Public License, version 2,
219
+ instead of to this License. (If a newer version than version 2 of the
220
+ ordinary GNU General Public License has appeared, then you can specify
221
+ that version instead if you wish.) Do not make any other change in
222
+ these notices.
223
+ ^L
224
+ Once this change is made in a given copy, it is irreversible for
225
+ that copy, so the ordinary GNU General Public License applies to all
226
+ subsequent copies and derivative works made from that copy.
227
+
228
+ This option is useful when you wish to copy part of the code of
229
+ the Library into a program that is not a library.
230
+
231
+ 4. You may copy and distribute the Library (or a portion or
232
+ derivative of it, under Section 2) in object code or executable form
233
+ under the terms of Sections 1 and 2 above provided that you accompany
234
+ it with the complete corresponding machine-readable source code, which
235
+ must be distributed under the terms of Sections 1 and 2 above on a
236
+ medium customarily used for software interchange.
237
+
238
+ If distribution of object code is made by offering access to copy
239
+ from a designated place, then offering equivalent access to copy the
240
+ source code from the same place satisfies the requirement to
241
+ distribute the source code, even though third parties are not
242
+ compelled to copy the source along with the object code.
243
+
244
+ 5. A program that contains no derivative of any portion of the
245
+ Library, but is designed to work with the Library by being compiled or
246
+ linked with it, is called a "work that uses the Library". Such a
247
+ work, in isolation, is not a derivative work of the Library, and
248
+ therefore falls outside the scope of this License.
249
+
250
+ However, linking a "work that uses the Library" with the Library
251
+ creates an executable that is a derivative of the Library (because it
252
+ contains portions of the Library), rather than a "work that uses the
253
+ library". The executable is therefore covered by this License.
254
+ Section 6 states terms for distribution of such executables.
255
+
256
+ When a "work that uses the Library" uses material from a header file
257
+ that is part of the Library, the object code for the work may be a
258
+ derivative work of the Library even though the source code is not.
259
+ Whether this is true is especially significant if the work can be
260
+ linked without the Library, or if the work is itself a library. The
261
+ threshold for this to be true is not precisely defined by law.
262
+
263
+ If such an object file uses only numerical parameters, data
264
+ structure layouts and accessors, and small macros and small inline
265
+ functions (ten lines or less in length), then the use of the object
266
+ file is unrestricted, regardless of whether it is legally a derivative
267
+ work. (Executables containing this object code plus portions of the
268
+ Library will still fall under Section 6.)
269
+
270
+ Otherwise, if the work is a derivative of the Library, you may
271
+ distribute the object code for the work under the terms of Section 6.
272
+ Any executables containing that work also fall under Section 6,
273
+ whether or not they are linked directly with the Library itself.
274
+ ^L
275
+ 6. As an exception to the Sections above, you may also combine or
276
+ link a "work that uses the Library" with the Library to produce a
277
+ work containing portions of the Library, and distribute that work
278
+ under terms of your choice, provided that the terms permit
279
+ modification of the work for the customer's own use and reverse
280
+ engineering for debugging such modifications.
281
+
282
+ You must give prominent notice with each copy of the work that the
283
+ Library is used in it and that the Library and its use are covered by
284
+ this License. You must supply a copy of this License. If the work
285
+ during execution displays copyright notices, you must include the
286
+ copyright notice for the Library among them, as well as a reference
287
+ directing the user to the copy of this License. Also, you must do one
288
+ of these things:
289
+
290
+ a) Accompany the work with the complete corresponding
291
+ machine-readable source code for the Library including whatever
292
+ changes were used in the work (which must be distributed under
293
+ Sections 1 and 2 above); and, if the work is an executable linked
294
+ with the Library, with the complete machine-readable "work that
295
+ uses the Library", as object code and/or source code, so that the
296
+ user can modify the Library and then relink to produce a modified
297
+ executable containing the modified Library. (It is understood
298
+ that the user who changes the contents of definitions files in the
299
+ Library will not necessarily be able to recompile the application
300
+ to use the modified definitions.)
301
+
302
+ b) Use a suitable shared library mechanism for linking with the
303
+ Library. A suitable mechanism is one that (1) uses at run time a
304
+ copy of the library already present on the user's computer system,
305
+ rather than copying library functions into the executable, and (2)
306
+ will operate properly with a modified version of the library, if
307
+ the user installs one, as long as the modified version is
308
+ interface-compatible with the version that the work was made with.
309
+
310
+ c) Accompany the work with a written offer, valid for at
311
+ least three years, to give the same user the materials
312
+ specified in Subsection 6a, above, for a charge no more
313
+ than the cost of performing this distribution.
314
+
315
+ d) If distribution of the work is made by offering access to copy
316
+ from a designated place, offer equivalent access to copy the above
317
+ specified materials from the same place.
318
+
319
+ e) Verify that the user has already received a copy of these
320
+ materials or that you have already sent this user a copy.
321
+
322
+ For an executable, the required form of the "work that uses the
323
+ Library" must include any data and utility programs needed for
324
+ reproducing the executable from it. However, as a special exception,
325
+ the materials to be distributed need not include anything that is
326
+ normally distributed (in either source or binary form) with the major
327
+ components (compiler, kernel, and so on) of the operating system on
328
+ which the executable runs, unless that component itself accompanies
329
+ the executable.
330
+
331
+ It may happen that this requirement contradicts the license
332
+ restrictions of other proprietary libraries that do not normally
333
+ accompany the operating system. Such a contradiction means you cannot
334
+ use both them and the Library together in an executable that you
335
+ distribute.
336
+ ^L
337
+ 7. You may place library facilities that are a work based on the
338
+ Library side-by-side in a single library together with other library
339
+ facilities not covered by this License, and distribute such a combined
340
+ library, provided that the separate distribution of the work based on
341
+ the Library and of the other library facilities is otherwise
342
+ permitted, and provided that you do these two things:
343
+
344
+ a) Accompany the combined library with a copy of the same work
345
+ based on the Library, uncombined with any other library
346
+ facilities. This must be distributed under the terms of the
347
+ Sections above.
348
+
349
+ b) Give prominent notice with the combined library of the fact
350
+ that part of it is a work based on the Library, and explaining
351
+ where to find the accompanying uncombined form of the same work.
352
+
353
+ 8. You may not copy, modify, sublicense, link with, or distribute
354
+ the Library except as expressly provided under this License. Any
355
+ attempt otherwise to copy, modify, sublicense, link with, or
356
+ distribute the Library is void, and will automatically terminate your
357
+ rights under this License. However, parties who have received copies,
358
+ or rights, from you under this License will not have their licenses
359
+ terminated so long as such parties remain in full compliance.
360
+
361
+ 9. You are not required to accept this License, since you have not
362
+ signed it. However, nothing else grants you permission to modify or
363
+ distribute the Library or its derivative works. These actions are
364
+ prohibited by law if you do not accept this License. Therefore, by
365
+ modifying or distributing the Library (or any work based on the
366
+ Library), you indicate your acceptance of this License to do so, and
367
+ all its terms and conditions for copying, distributing or modifying
368
+ the Library or works based on it.
369
+
370
+ 10. Each time you redistribute the Library (or any work based on the
371
+ Library), the recipient automatically receives a license from the
372
+ original licensor to copy, distribute, link with or modify the Library
373
+ subject to these terms and conditions. You may not impose any further
374
+ restrictions on the recipients' exercise of the rights granted herein.
375
+ You are not responsible for enforcing compliance by third parties with
376
+ this License.
377
+ ^L
378
+ 11. If, as a consequence of a court judgment or allegation of patent
379
+ infringement or for any other reason (not limited to patent issues),
380
+ conditions are imposed on you (whether by court order, agreement or
381
+ otherwise) that contradict the conditions of this License, they do not
382
+ excuse you from the conditions of this License. If you cannot
383
+ distribute so as to satisfy simultaneously your obligations under this
384
+ License and any other pertinent obligations, then as a consequence you
385
+ may not distribute the Library at all. For example, if a patent
386
+ license would not permit royalty-free redistribution of the Library by
387
+ all those who receive copies directly or indirectly through you, then
388
+ the only way you could satisfy both it and this License would be to
389
+ refrain entirely from distribution of the Library.
390
+
391
+ If any portion of this section is held invalid or unenforceable under
392
+ any particular circumstance, the balance of the section is intended to
393
+ apply, and the section as a whole is intended to apply in other
394
+ circumstances.
395
+
396
+ It is not the purpose of this section to induce you to infringe any
397
+ patents or other property right claims or to contest validity of any
398
+ such claims; this section has the sole purpose of protecting the
399
+ integrity of the free software distribution system which is
400
+ implemented by public license practices. Many people have made
401
+ generous contributions to the wide range of software distributed
402
+ through that system in reliance on consistent application of that
403
+ system; it is up to the author/donor to decide if he or she is willing
404
+ to distribute software through any other system and a licensee cannot
405
+ impose that choice.
406
+
407
+ This section is intended to make thoroughly clear what is believed to
408
+ be a consequence of the rest of this License.
409
+
410
+ 12. If the distribution and/or use of the Library is restricted in
411
+ certain countries either by patents or by copyrighted interfaces, the
412
+ original copyright holder who places the Library under this License
413
+ may add an explicit geographical distribution limitation excluding those
414
+ countries, so that distribution is permitted only in or among
415
+ countries not thus excluded. In such case, this License incorporates
416
+ the limitation as if written in the body of this License.
417
+
418
+ 13. The Free Software Foundation may publish revised and/or new
419
+ versions of the Lesser General Public License from time to time.
420
+ Such new versions will be similar in spirit to the present version,
421
+ but may differ in detail to address new problems or concerns.
422
+
423
+ Each version is given a distinguishing version number. If the Library
424
+ specifies a version number of this License which applies to it and
425
+ "any later version", you have the option of following the terms and
426
+ conditions either of that version or of any later version published by
427
+ the Free Software Foundation. If the Library does not specify a
428
+ license version number, you may choose any version ever published by
429
+ the Free Software Foundation.
430
+ ^L
431
+ 14. If you wish to incorporate parts of the Library into other free
432
+ programs whose distribution conditions are incompatible with these,
433
+ write to the author to ask for permission. For software which is
434
+ copyrighted by the Free Software Foundation, write to the Free
435
+ Software Foundation; we sometimes make exceptions for this. Our
436
+ decision will be guided by the two goals of preserving the free status
437
+ of all derivatives of our free software and of promoting the sharing
438
+ and reuse of software generally.
439
+
440
+ NO WARRANTY
441
+
442
+ 15. BECAUSE THE LIBRARY IS LICENSED FREE OF CHARGE, THERE IS NO
443
+ WARRANTY FOR THE LIBRARY, TO THE EXTENT PERMITTED BY APPLICABLE LAW.
444
+ EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR
445
+ OTHER PARTIES PROVIDE THE LIBRARY "AS IS" WITHOUT WARRANTY OF ANY
446
+ KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE
447
+ IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
448
+ PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE
449
+ LIBRARY IS WITH YOU. SHOULD THE LIBRARY PROVE DEFECTIVE, YOU ASSUME
450
+ THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION.
451
+
452
+ 16. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN
453
+ WRITING WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY
454
+ AND/OR REDISTRIBUTE THE LIBRARY AS PERMITTED ABOVE, BE LIABLE TO YOU
455
+ FOR DAMAGES, INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR
456
+ CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OR INABILITY TO USE THE
457
+ LIBRARY (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR DATA BEING
458
+ RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A
459
+ FAILURE OF THE LIBRARY TO OPERATE WITH ANY OTHER SOFTWARE), EVEN IF
460
+ SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
461
+ DAMAGES.
462
+
463
+ END OF TERMS AND CONDITIONS
464
+ ^L
465
+ How to Apply These Terms to Your New Libraries
466
+
467
+ If you develop a new library, and you want it to be of the greatest
468
+ possible use to the public, we recommend making it free software that
469
+ everyone can redistribute and change. You can do so by permitting
470
+ redistribution under these terms (or, alternatively, under the terms
471
+ of the ordinary General Public License).
472
+
473
+ To apply these terms, attach the following notices to the library.
474
+ It is safest to attach them to the start of each source file to most
475
+ effectively convey the exclusion of warranty; and each file should
476
+ have at least the "copyright" line and a pointer to where the full
477
+ notice is found.
478
+
479
+
480
+ <one line to give the library's name and a brief idea of what it
481
+ does.>
482
+ Copyright (C) <year> <name of author>
483
+
484
+ This library is free software; you can redistribute it and/or
485
+ modify it under the terms of the GNU Lesser General Public
486
+ License as published by the Free Software Foundation; either
487
+ version 2 of the License, or (at your option) any later version.
488
+
489
+ This library is distributed in the hope that it will be useful,
490
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
491
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
492
+ Lesser General Public License for more details.
493
+
494
+ You should have received a copy of the GNU Lesser General Public
495
+ License along with this library; if not, write to the Free Software
496
+ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
497
+
498
+ Also add information on how to contact you by electronic and paper
499
+ mail.
500
+
501
+ You should also get your employer (if you work as a programmer) or
502
+ your
503
+ school, if any, to sign a "copyright disclaimer" for the library, if
504
+ necessary. Here is a sample; alter the names:
505
+
506
+ Yoyodyne, Inc., hereby disclaims all copyright interest in the
507
+ library `Frob' (a library for tweaking knobs) written by James
508
+ Random Hacker.
509
+
510
+ <signature of Ty Coon>, 1 April 1990
511
+ Ty Coon, President of Vice
512
+
513
+ That's all there is to it!
514
+
515
+
data/INSTALL ADDED
@@ -0,0 +1,14 @@
1
+ INSTALL
2
+
3
+ % ruby setup.rb
4
+
5
+ see also
6
+ % ruby setup.rb --help
7
+
8
+ Generating documents
9
+
10
+ % ruby setup.rb rdoc
11
+
12
+ Testing RushCheck itself (expelimentally)
13
+
14
+ % ruby -I test -I lib setup.rb test
data/LICENSE ADDED
@@ -0,0 +1,5 @@
1
+ RushCheck is distributed under MIT license.
2
+ See also copying.txt.
3
+
4
+ The installer setup.rb is distributed under GPL license.
5
+ See also COPYING
data/README ADDED
@@ -0,0 +1,49 @@
1
+ = RushCheck library - a random test library for ruby
2
+ 2006 Daisuke IKEGAMI <ikegami@madscientist.jp>
3
+ http://rushcheck.rubyforge.org/
4
+
5
+ RushCheck library is a random test tool/library for ruby where
6
+ almost features are imported from QuickCheck library in Haskell.
7
+ QuickCheck has been developed by Koen Claessen and John Hughes in 2000.
8
+ http://www.cs.chalmers.se/~rjmh/QuickCheck/
9
+ Because programs can be written functionally in ruby, like Haskell,
10
+ the implementation of RushCheck is quite similar to QuickCheck.
11
+
12
+ Check also directories data/rushcheck/doc and rdoc for details.
13
+
14
+ = LICENSE
15
+ This package has two different files for license issue.
16
+ One is the Expat/MIT license and another is the LGPL license.
17
+
18
+ RushCheck is distributed under the Expat/MIT license.
19
+
20
+ The author wish that RushCheck should be distributed under the same
21
+ license of QuickCheck, however I've never seen the license of
22
+ QuickCheck. I choose the Expat/MIT license because the license
23
+ Expat/MIT is similar to ghc's and is compatible with the GNU GPL.
24
+ I don't know whether the license of ghc is compatible or
25
+ not. (possibly yes)
26
+
27
+ This package includes 'setup.rb' for installation. The setup.rb
28
+ is distributed under LGPL. Because the RushCheck library does
29
+ not use any output of setup.rb and not linked to setup.rb,
30
+ the LGPL is applied to setup.rb only. (Let me know if I am
31
+ misunderstanding about the license issue)
32
+
33
+ = Changes from setup.rb ver 3.4.1
34
+
35
+ The installer setup.rb is distributed under LGPL by Minero Aoki.
36
+ http://raa.ruby-lang.org/project/setup/
37
+ http://i.loveruby.net/en/projects/setup/
38
+
39
+ There are two changes from the original setup.rb ver 3.4.1.
40
+
41
+ 1. change for the test command of setup.rb
42
+
43
+ I have to modify setup.rb to work with darcs. Darcs requires
44
+ the test script that it should be change the status to 1 when
45
+ any test is failed. However, the original setup.rb (ver 3.4.1)
46
+ does not change unless a test is failed.
47
+
48
+ 2. add the rdoc command to setup.rb and distclean the rdoc dir
49
+
data/Rakefile ADDED
@@ -0,0 +1,39 @@
1
+ # Rakefile for RushCheck
2
+ #
3
+ #
4
+
5
+ require 'rubygems'
6
+ require 'rake'
7
+ require 'rake/gempackagetask'
8
+
9
+ RUSHCHECK_VERSION = '0.2'
10
+
11
+ spec = Gem::Specification.new do |s|
12
+ s.name = 'rushcheck'
13
+ s.summary = "A lightweight random testing tool"
14
+ s.version = RUSHCHECK_VERSION
15
+ s.author = 'Daisuke IKEGAMI'
16
+ s.email = 'ikegami@madscientist.jp'
17
+ s.homepage = 'http://rushcheck.rubyforge.org'
18
+ s.platform = Gem::Platform::RUBY
19
+
20
+ s.has_rdoc = true
21
+ # s.test_file =
22
+
23
+ s.require_path = 'lib'
24
+ s.autorequire = 'rushcheck'
25
+ s.bindir = 'bin'
26
+ # s.executable =
27
+ # s.extra_rdoc_files =
28
+ s.files = FileList['lib/**/*', 'data/**/**/*',
29
+ '[A-Z]*', 'copying.txt'].to_a
30
+ s.description = <<-EOF
31
+ RushCheck is a random testing tool which is one of implementations
32
+ of QuichCheck in Haskell.
33
+ EOF
34
+ end
35
+
36
+ Rake::GemPackageTask.new(spec) do |pkg|
37
+ pkg.need_zip = true
38
+ pkg.need_tar = true
39
+ end
data/copying.txt ADDED
@@ -0,0 +1,23 @@
1
+ Copyright (c) RushCheck 2006 Daisuke IKEGAMI
2
+
3
+ Permission is hereby granted, free of charge, to any person obtaining
4
+ a copy of this software and associated documentation files (the
5
+ "Software"), to deal in the Software without restriction, including
6
+ without limitation the rights to use, copy, modify, merge, publish,
7
+ distribute, sublicense, and/or sell copies of the Software, and to
8
+ permit persons to whom the Software is furnished to do so, subject to
9
+ the following conditions:
10
+
11
+ The above copyright notice and this permission notice shall be included
12
+ in all copies or substantial portions of the Software.
13
+
14
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
15
+ EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
16
+ MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
17
+ IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
18
+ CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
19
+ TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
20
+ SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
21
+
22
+ The original idea is derived from QuickCheck library in Haskell which
23
+ is written by Koen Claessen and John Hughes in 2000.