veritas 0.0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (724) hide show
  1. data/.autotest +42 -0
  2. data/.document +5 -0
  3. data/.gitignore +34 -0
  4. data/Gemfile +25 -0
  5. data/Gemfile.lock +122 -0
  6. data/LICENSE +20 -0
  7. data/README.rdoc +143 -0
  8. data/Rakefile +31 -0
  9. data/TODO +126 -0
  10. data/benchmarks/memory.rb +175 -0
  11. data/benchmarks/speed.rb +101 -0
  12. data/config/flay.yml +3 -0
  13. data/config/flog.yml +2 -0
  14. data/config/roodi.yml +18 -0
  15. data/config/site.reek +96 -0
  16. data/config/yardstick.yml +2 -0
  17. data/lib/veritas/algebra/difference.rb +53 -0
  18. data/lib/veritas/algebra/extension.rb +121 -0
  19. data/lib/veritas/algebra/intersection.rb +53 -0
  20. data/lib/veritas/algebra/join.rb +198 -0
  21. data/lib/veritas/algebra/product.rb +90 -0
  22. data/lib/veritas/algebra/projection.rb +113 -0
  23. data/lib/veritas/algebra/rename/aliases.rb +199 -0
  24. data/lib/veritas/algebra/rename.rb +91 -0
  25. data/lib/veritas/algebra/restriction.rb +96 -0
  26. data/lib/veritas/algebra/summarization.rb +166 -0
  27. data/lib/veritas/algebra/union.rb +54 -0
  28. data/lib/veritas/algebra.rb +10 -0
  29. data/lib/veritas/attribute/boolean.rb +39 -0
  30. data/lib/veritas/attribute/class.rb +21 -0
  31. data/lib/veritas/attribute/comparable.rb +32 -0
  32. data/lib/veritas/attribute/date.rb +36 -0
  33. data/lib/veritas/attribute/date_time.rb +36 -0
  34. data/lib/veritas/attribute/decimal.rb +21 -0
  35. data/lib/veritas/attribute/float.rb +21 -0
  36. data/lib/veritas/attribute/integer.rb +21 -0
  37. data/lib/veritas/attribute/numeric.rb +86 -0
  38. data/lib/veritas/attribute/object.rb +25 -0
  39. data/lib/veritas/attribute/orderable.rb +33 -0
  40. data/lib/veritas/attribute/string.rb +88 -0
  41. data/lib/veritas/attribute/time.rb +36 -0
  42. data/lib/veritas/attribute.rb +256 -0
  43. data/lib/veritas/core_ext/date.rb +16 -0
  44. data/lib/veritas/core_ext/range.rb +35 -0
  45. data/lib/veritas/core_ext/time.rb +16 -0
  46. data/lib/veritas/logic/connective/binary.rb +54 -0
  47. data/lib/veritas/logic/connective/conjunction.rb +70 -0
  48. data/lib/veritas/logic/connective/disjunction.rb +70 -0
  49. data/lib/veritas/logic/connective/negation.rb +78 -0
  50. data/lib/veritas/logic/connective/unary.rb +52 -0
  51. data/lib/veritas/logic/connective.rb +31 -0
  52. data/lib/veritas/logic/expression.rb +99 -0
  53. data/lib/veritas/logic/predicate/comparable.rb +57 -0
  54. data/lib/veritas/logic/predicate/enumerable.rb +25 -0
  55. data/lib/veritas/logic/predicate/equality.rb +65 -0
  56. data/lib/veritas/logic/predicate/exclusion.rb +72 -0
  57. data/lib/veritas/logic/predicate/greater_than.rb +65 -0
  58. data/lib/veritas/logic/predicate/greater_than_or_equal_to.rb +65 -0
  59. data/lib/veritas/logic/predicate/inclusion.rb +72 -0
  60. data/lib/veritas/logic/predicate/inequality.rb +80 -0
  61. data/lib/veritas/logic/predicate/less_than.rb +65 -0
  62. data/lib/veritas/logic/predicate/less_than_or_equal_to.rb +65 -0
  63. data/lib/veritas/logic/predicate/match.rb +53 -0
  64. data/lib/veritas/logic/predicate/no_match.rb +68 -0
  65. data/lib/veritas/logic/predicate.rb +97 -0
  66. data/lib/veritas/logic/proposition/false.rb +63 -0
  67. data/lib/veritas/logic/proposition/true.rb +63 -0
  68. data/lib/veritas/logic/proposition.rb +110 -0
  69. data/lib/veritas/logic.rb +5 -0
  70. data/lib/veritas/optimizer/algebra/difference.rb +64 -0
  71. data/lib/veritas/optimizer/algebra/extension.rb +40 -0
  72. data/lib/veritas/optimizer/algebra/intersection.rb +64 -0
  73. data/lib/veritas/optimizer/algebra/join.rb +42 -0
  74. data/lib/veritas/optimizer/algebra/product.rb +68 -0
  75. data/lib/veritas/optimizer/algebra/projection.rb +172 -0
  76. data/lib/veritas/optimizer/algebra/rename.rb +370 -0
  77. data/lib/veritas/optimizer/algebra/restriction.rb +257 -0
  78. data/lib/veritas/optimizer/algebra/summarization.rb +40 -0
  79. data/lib/veritas/optimizer/algebra/union.rb +64 -0
  80. data/lib/veritas/optimizer/algebra.rb +10 -0
  81. data/lib/veritas/optimizer/logic/connective/binary.rb +252 -0
  82. data/lib/veritas/optimizer/logic/connective/conjunction.rb +120 -0
  83. data/lib/veritas/optimizer/logic/connective/disjunction.rb +120 -0
  84. data/lib/veritas/optimizer/logic/connective/negation.rb +69 -0
  85. data/lib/veritas/optimizer/logic/connective.rb +5 -0
  86. data/lib/veritas/optimizer/logic/predicate/comparable.rb +132 -0
  87. data/lib/veritas/optimizer/logic/predicate/enumerable.rb +139 -0
  88. data/lib/veritas/optimizer/logic/predicate/equality.rb +42 -0
  89. data/lib/veritas/optimizer/logic/predicate/exclusion.rb +51 -0
  90. data/lib/veritas/optimizer/logic/predicate/greater_than.rb +52 -0
  91. data/lib/veritas/optimizer/logic/predicate/greater_than_or_equal_to.rb +54 -0
  92. data/lib/veritas/optimizer/logic/predicate/inclusion.rb +51 -0
  93. data/lib/veritas/optimizer/logic/predicate/inequality.rb +42 -0
  94. data/lib/veritas/optimizer/logic/predicate/less_than.rb +52 -0
  95. data/lib/veritas/optimizer/logic/predicate/less_than_or_equal_to.rb +54 -0
  96. data/lib/veritas/optimizer/logic/predicate/match.rb +17 -0
  97. data/lib/veritas/optimizer/logic/predicate/no_match.rb +17 -0
  98. data/lib/veritas/optimizer/logic/predicate.rb +187 -0
  99. data/lib/veritas/optimizer/logic.rb +2 -0
  100. data/lib/veritas/optimizer/relation/materialized.rb +38 -0
  101. data/lib/veritas/optimizer/relation/operation/binary.rb +166 -0
  102. data/lib/veritas/optimizer/relation/operation/combine.rb +31 -0
  103. data/lib/veritas/optimizer/relation/operation/limit.rb +156 -0
  104. data/lib/veritas/optimizer/relation/operation/offset.rb +112 -0
  105. data/lib/veritas/optimizer/relation/operation/order.rb +94 -0
  106. data/lib/veritas/optimizer/relation/operation/reverse.rb +92 -0
  107. data/lib/veritas/optimizer/relation/operation/unary.rb +86 -0
  108. data/lib/veritas/optimizer/relation/operation.rb +8 -0
  109. data/lib/veritas/optimizer/relation.rb +2 -0
  110. data/lib/veritas/optimizer.rb +94 -0
  111. data/lib/veritas/relation/empty.rb +22 -0
  112. data/lib/veritas/relation/header.rb +267 -0
  113. data/lib/veritas/relation/materialized.rb +62 -0
  114. data/lib/veritas/relation/operation/binary.rb +77 -0
  115. data/lib/veritas/relation/operation/combine.rb +35 -0
  116. data/lib/veritas/relation/operation/limit.rb +190 -0
  117. data/lib/veritas/relation/operation/offset.rb +153 -0
  118. data/lib/veritas/relation/operation/order/direction.rb +209 -0
  119. data/lib/veritas/relation/operation/order/direction_set.rb +246 -0
  120. data/lib/veritas/relation/operation/order.rb +138 -0
  121. data/lib/veritas/relation/operation/reverse.rb +85 -0
  122. data/lib/veritas/relation/operation/set.rb +76 -0
  123. data/lib/veritas/relation/operation/unary.rb +25 -0
  124. data/lib/veritas/relation/operation.rb +10 -0
  125. data/lib/veritas/relation.rb +210 -0
  126. data/lib/veritas/support/abstract_class.rb +40 -0
  127. data/lib/veritas/support/aliasable.rb +29 -0
  128. data/lib/veritas/support/evaluator.rb +52 -0
  129. data/lib/veritas/support/immutable.rb +299 -0
  130. data/lib/veritas/support/operation/binary.rb +73 -0
  131. data/lib/veritas/support/operation/unary.rb +59 -0
  132. data/lib/veritas/support/optimizable.rb +51 -0
  133. data/lib/veritas/tuple.rb +181 -0
  134. data/lib/veritas/version.rb +3 -0
  135. data/lib/veritas.rb +54 -0
  136. data/spec/integration/veritas/algebra/difference/optimize_spec.rb +151 -0
  137. data/spec/integration/veritas/algebra/intersection/optimize_spec.rb +151 -0
  138. data/spec/integration/veritas/algebra/join/optimize_spec.rb +111 -0
  139. data/spec/integration/veritas/algebra/join_spec.rb +14 -0
  140. data/spec/integration/veritas/algebra/product/optimize_spec.rb +177 -0
  141. data/spec/integration/veritas/algebra/product_spec.rb +14 -0
  142. data/spec/integration/veritas/algebra/projection/optimize_spec.rb +238 -0
  143. data/spec/integration/veritas/algebra/projection_spec.rb +16 -0
  144. data/spec/integration/veritas/algebra/rename/optimize_spec.rb +441 -0
  145. data/spec/integration/veritas/algebra/restriction/optimize_spec.rb +301 -0
  146. data/spec/integration/veritas/algebra/union/optimize_spec.rb +193 -0
  147. data/spec/integration/veritas/logic/connective/conjunction/optimize_spec.rb +235 -0
  148. data/spec/integration/veritas/logic/connective/disjunction/optimize_spec.rb +236 -0
  149. data/spec/integration/veritas/logic/connective/negation/optimize_spec.rb +42 -0
  150. data/spec/integration/veritas/logic/expression/optimize_spec.rb +34 -0
  151. data/spec/integration/veritas/logic/predicate/equality/optimize_spec.rb +91 -0
  152. data/spec/integration/veritas/logic/predicate/exclusion/optimize_spec.rb +132 -0
  153. data/spec/integration/veritas/logic/predicate/greater_than/optimize_spec.rb +101 -0
  154. data/spec/integration/veritas/logic/predicate/greater_than_or_equal_to/optimize_spec.rb +101 -0
  155. data/spec/integration/veritas/logic/predicate/inclusion/optimize_spec.rb +132 -0
  156. data/spec/integration/veritas/logic/predicate/inequality/optimize_spec.rb +91 -0
  157. data/spec/integration/veritas/logic/predicate/less_than/optimize_spec.rb +101 -0
  158. data/spec/integration/veritas/logic/predicate/less_than_or_equal_to/optimize_spec.rb +101 -0
  159. data/spec/integration/veritas/relation/efficient_enumerable_spec.rb +56 -0
  160. data/spec/integration/veritas/relation/empty/optimize_spec.rb +12 -0
  161. data/spec/integration/veritas/relation/materialized/optimize_spec.rb +38 -0
  162. data/spec/integration/veritas/relation/operation/limit/optimize_spec.rb +141 -0
  163. data/spec/integration/veritas/relation/operation/offset/optimize_spec.rb +99 -0
  164. data/spec/integration/veritas/relation/operation/order/optimize_spec.rb +104 -0
  165. data/spec/integration/veritas/relation/operation/reverse/optimize_spec.rb +114 -0
  166. data/spec/integration/veritas/relation/optimize_spec.rb +30 -0
  167. data/spec/rcov.opts +6 -0
  168. data/spec/shared/idempotent_method_behavior.rb +5 -0
  169. data/spec/shared/logic_connective_binary_optimize_behavior.rb +100 -0
  170. data/spec/shared/optimize_method_behavior.rb +13 -0
  171. data/spec/spec.opts +3 -0
  172. data/spec/spec_helper.rb +14 -0
  173. data/spec/support/add_method_missing.rb +13 -0
  174. data/spec/unit/date/pred_spec.rb +15 -0
  175. data/spec/unit/range/overlaps_spec.rb +190 -0
  176. data/spec/unit/range/to_inclusive_spec.rb +29 -0
  177. data/spec/unit/time/pred_spec.rb +15 -0
  178. data/spec/unit/veritas/abstract_class/class_methods/new_spec.rb +18 -0
  179. data/spec/unit/veritas/abstract_class/fixtures/classes.rb +7 -0
  180. data/spec/unit/veritas/algebra/difference/each_spec.rb +30 -0
  181. data/spec/unit/veritas/algebra/difference/methods/difference_spec.rb +17 -0
  182. data/spec/unit/veritas/algebra/extension/class_methods/new_spec.rb +20 -0
  183. data/spec/unit/veritas/algebra/extension/each_spec.rb +17 -0
  184. data/spec/unit/veritas/algebra/extension/extensions_spec.rb +14 -0
  185. data/spec/unit/veritas/algebra/extension/header_spec.rb +16 -0
  186. data/spec/unit/veritas/algebra/extension/methods/extend_spec.rb +14 -0
  187. data/spec/unit/veritas/algebra/extension/operand_spec.rb +14 -0
  188. data/spec/unit/veritas/algebra/intersection/each_spec.rb +30 -0
  189. data/spec/unit/veritas/algebra/intersection/methods/intersect_spec.rb +17 -0
  190. data/spec/unit/veritas/algebra/join/class_methods/new_spec.rb +26 -0
  191. data/spec/unit/veritas/algebra/join/each_spec.rb +18 -0
  192. data/spec/unit/veritas/algebra/join/methods/join_spec.rb +46 -0
  193. data/spec/unit/veritas/algebra/product/class_methods/new_spec.rb +26 -0
  194. data/spec/unit/veritas/algebra/product/each_spec.rb +19 -0
  195. data/spec/unit/veritas/algebra/product/methods/product_spec.rb +12 -0
  196. data/spec/unit/veritas/algebra/projection/directions_spec.rb +29 -0
  197. data/spec/unit/veritas/algebra/projection/each_spec.rb +17 -0
  198. data/spec/unit/veritas/algebra/projection/header_spec.rb +15 -0
  199. data/spec/unit/veritas/algebra/projection/methods/project_spec.rb +13 -0
  200. data/spec/unit/veritas/algebra/projection/methods/remove_spec.rb +15 -0
  201. data/spec/unit/veritas/algebra/rename/aliases/class_methods/coerce_spec.rb +49 -0
  202. data/spec/unit/veritas/algebra/rename/aliases/each_spec.rb +17 -0
  203. data/spec/unit/veritas/algebra/rename/aliases/element_reference_spec.rb +22 -0
  204. data/spec/unit/veritas/algebra/rename/aliases/empty_spec.rb +21 -0
  205. data/spec/unit/veritas/algebra/rename/aliases/eql_spec.rb +50 -0
  206. data/spec/unit/veritas/algebra/rename/aliases/equal_value_spec.rb +50 -0
  207. data/spec/unit/veritas/algebra/rename/aliases/hash_spec.rb +16 -0
  208. data/spec/unit/veritas/algebra/rename/aliases/to_hash_spec.rb +27 -0
  209. data/spec/unit/veritas/algebra/rename/aliases/union_spec.rb +65 -0
  210. data/spec/unit/veritas/algebra/rename/aliases_spec.rb +12 -0
  211. data/spec/unit/veritas/algebra/rename/directions_spec.rb +29 -0
  212. data/spec/unit/veritas/algebra/rename/each_spec.rb +21 -0
  213. data/spec/unit/veritas/algebra/rename/eql_spec.rb +50 -0
  214. data/spec/unit/veritas/algebra/rename/header_spec.rb +15 -0
  215. data/spec/unit/veritas/algebra/rename/methods/rename_spec.rb +12 -0
  216. data/spec/unit/veritas/algebra/restriction/each_spec.rb +16 -0
  217. data/spec/unit/veritas/algebra/restriction/eql_spec.rb +49 -0
  218. data/spec/unit/veritas/algebra/restriction/methods/restrict_spec.rb +38 -0
  219. data/spec/unit/veritas/algebra/restriction/predicate_spec.rb +14 -0
  220. data/spec/unit/veritas/algebra/summarization/class_methods/summarize_spec.rb +26 -0
  221. data/spec/unit/veritas/algebra/summarization/each_spec.rb +17 -0
  222. data/spec/unit/veritas/algebra/summarization/header_spec.rb +16 -0
  223. data/spec/unit/veritas/algebra/summarization/methods/summarize_spec.rb +30 -0
  224. data/spec/unit/veritas/algebra/summarization/summarize_by_spec.rb +14 -0
  225. data/spec/unit/veritas/algebra/summarization/summarizers_spec.rb +14 -0
  226. data/spec/unit/veritas/algebra/union/each_spec.rb +30 -0
  227. data/spec/unit/veritas/algebra/union/methods/union_spec.rb +17 -0
  228. data/spec/unit/veritas/aliasable/fixtures/classes.rb +7 -0
  229. data/spec/unit/veritas/aliasable/inheritable_alias_spec.rb +48 -0
  230. data/spec/unit/veritas/attribute/boolean/class_methods/primitive_spec.rb +7 -0
  231. data/spec/unit/veritas/attribute/boolean/valid_value_spec.rb +25 -0
  232. data/spec/unit/veritas/attribute/call_spec.rb +11 -0
  233. data/spec/unit/veritas/attribute/class/class_methods/primitive_spec.rb +7 -0
  234. data/spec/unit/veritas/attribute/class_methods/coerce_spec.rb +29 -0
  235. data/spec/unit/veritas/attribute/class_methods/name_from_spec.rb +29 -0
  236. data/spec/unit/veritas/attribute/class_methods/new_spec.rb +33 -0
  237. data/spec/unit/veritas/attribute/comparable/comparable_spec.rb +49 -0
  238. data/spec/unit/veritas/attribute/comparable/fixtures/classes.rb +5 -0
  239. data/spec/unit/veritas/attribute/date/class_methods/primitive_spec.rb +7 -0
  240. data/spec/unit/veritas/attribute/date/range_spec.rb +9 -0
  241. data/spec/unit/veritas/attribute/date_time/class_methods/primitive_spec.rb +7 -0
  242. data/spec/unit/veritas/attribute/date_time/range_spec.rb +9 -0
  243. data/spec/unit/veritas/attribute/decimal/class_methods/primitive_spec.rb +7 -0
  244. data/spec/unit/veritas/attribute/eql_spec.rb +48 -0
  245. data/spec/unit/veritas/attribute/equal_value_spec.rb +48 -0
  246. data/spec/unit/veritas/attribute/float/class_methods/primitive_spec.rb +7 -0
  247. data/spec/unit/veritas/attribute/hash_spec.rb +15 -0
  248. data/spec/unit/veritas/attribute/inspect_spec.rb +11 -0
  249. data/spec/unit/veritas/attribute/integer/class_methods/primitive_spec.rb +7 -0
  250. data/spec/unit/veritas/attribute/joinable_spec.rb +47 -0
  251. data/spec/unit/veritas/attribute/name_spec.rb +10 -0
  252. data/spec/unit/veritas/attribute/numeric/class_methods/primitive_spec.rb +7 -0
  253. data/spec/unit/veritas/attribute/numeric/joinable_spec.rb +37 -0
  254. data/spec/unit/veritas/attribute/numeric/size_spec.rb +19 -0
  255. data/spec/unit/veritas/attribute/numeric/valid_value_spec.rb +33 -0
  256. data/spec/unit/veritas/attribute/object/class_methods/primitive_spec.rb +7 -0
  257. data/spec/unit/veritas/attribute/options_spec.rb +32 -0
  258. data/spec/unit/veritas/attribute/orderable/asc_spec.rb +10 -0
  259. data/spec/unit/veritas/attribute/orderable/desc_spec.rb +10 -0
  260. data/spec/unit/veritas/attribute/orderable/fixtures/classes.rb +5 -0
  261. data/spec/unit/veritas/attribute/rename_spec.rb +25 -0
  262. data/spec/unit/veritas/attribute/required_spec.rb +23 -0
  263. data/spec/unit/veritas/attribute/string/class_methods/primitive_spec.rb +7 -0
  264. data/spec/unit/veritas/attribute/string/joinable_spec.rb +37 -0
  265. data/spec/unit/veritas/attribute/string/length_spec.rb +19 -0
  266. data/spec/unit/veritas/attribute/string/valid_value_spec.rb +33 -0
  267. data/spec/unit/veritas/attribute/time/class_methods/primitive_spec.rb +7 -0
  268. data/spec/unit/veritas/attribute/time/range_spec.rb +9 -0
  269. data/spec/unit/veritas/attribute/valid_primitive_spec.rb +19 -0
  270. data/spec/unit/veritas/attribute/valid_value_spec.rb +35 -0
  271. data/spec/unit/veritas/evaluator/expression/add_spec.rb +22 -0
  272. data/spec/unit/veritas/evaluator/expression/expressions_spec.rb +14 -0
  273. data/spec/unit/veritas/immutable/class_methods/freeze_object_spec.rb +45 -0
  274. data/spec/unit/veritas/immutable/class_methods/new_spec.rb +12 -0
  275. data/spec/unit/veritas/immutable/dup_spec.rb +11 -0
  276. data/spec/unit/veritas/immutable/fixtures/classes.rb +26 -0
  277. data/spec/unit/veritas/immutable/memoize_methods/freeze_spec.rb +46 -0
  278. data/spec/unit/veritas/immutable/memoize_methods/memoize_spec.rb +20 -0
  279. data/spec/unit/veritas/immutable/memoize_methods/memoized_spec.rb +27 -0
  280. data/spec/unit/veritas/immutable/memoize_spec.rb +13 -0
  281. data/spec/unit/veritas/immutable/memory/element_reference_spec.rb +24 -0
  282. data/spec/unit/veritas/immutable/memory/element_set_spec.rb +17 -0
  283. data/spec/unit/veritas/immutable/module_methods/included_spec.rb +14 -0
  284. data/spec/unit/veritas/immutable/module_methods/memoize_spec.rb +78 -0
  285. data/spec/unit/veritas/logic/connective/binary/call_spec.rb +20 -0
  286. data/spec/unit/veritas/logic/connective/binary/fixtures/classes.rb +8 -0
  287. data/spec/unit/veritas/logic/connective/binary/rename_spec.rb +41 -0
  288. data/spec/unit/veritas/logic/connective/conjunction/class_methods/call_spec.rb +33 -0
  289. data/spec/unit/veritas/logic/connective/conjunction/inspect_spec.rb +12 -0
  290. data/spec/unit/veritas/logic/connective/conjunction/methods/and_spec.rb +16 -0
  291. data/spec/unit/veritas/logic/connective/conjunction/methods/fixtures/classes.rb +5 -0
  292. data/spec/unit/veritas/logic/connective/disjunction/class_methods/call_spec.rb +33 -0
  293. data/spec/unit/veritas/logic/connective/disjunction/inspect_spec.rb +12 -0
  294. data/spec/unit/veritas/logic/connective/disjunction/methods/fixtures/classes.rb +5 -0
  295. data/spec/unit/veritas/logic/connective/disjunction/methods/or_spec.rb +16 -0
  296. data/spec/unit/veritas/logic/connective/inspect_spec.rb +10 -0
  297. data/spec/unit/veritas/logic/connective/inverse_spec.rb +26 -0
  298. data/spec/unit/veritas/logic/connective/negation/class_methods/call_spec.rb +19 -0
  299. data/spec/unit/veritas/logic/connective/negation/inspect_spec.rb +12 -0
  300. data/spec/unit/veritas/logic/connective/negation/inverse_spec.rb +20 -0
  301. data/spec/unit/veritas/logic/connective/negation/methods/fixtures/classes.rb +6 -0
  302. data/spec/unit/veritas/logic/connective/negation/methods/not_spec.rb +23 -0
  303. data/spec/unit/veritas/logic/connective/unary/call_spec.rb +19 -0
  304. data/spec/unit/veritas/logic/connective/unary/fixtures/classes.rb +8 -0
  305. data/spec/unit/veritas/logic/connective/unary/rename_spec.rb +25 -0
  306. data/spec/unit/veritas/logic/expression/class_methods/call_spec.rb +15 -0
  307. data/spec/unit/veritas/logic/expression/eql_spec.rb +11 -0
  308. data/spec/unit/veritas/logic/expression/equal_value_spec.rb +65 -0
  309. data/spec/unit/veritas/logic/expression/fixtures/classes.rb +4 -0
  310. data/spec/unit/veritas/logic/expression/hash_spec.rb +10 -0
  311. data/spec/unit/veritas/logic/expression/inspect_spec.rb +10 -0
  312. data/spec/unit/veritas/logic/expression/inverse_spec.rb +15 -0
  313. data/spec/unit/veritas/logic/expression/rename_spec.rb +13 -0
  314. data/spec/unit/veritas/logic/predicate/call_spec.rb +16 -0
  315. data/spec/unit/veritas/logic/predicate/class_methods/call_spec.rb +7 -0
  316. data/spec/unit/veritas/logic/predicate/class_methods/extract_value_spec.rb +20 -0
  317. data/spec/unit/veritas/logic/predicate/comparable/class_methods/call_spec.rb +8 -0
  318. data/spec/unit/veritas/logic/predicate/comparable/fixtures/classes.rb +21 -0
  319. data/spec/unit/veritas/logic/predicate/comparable/inspect_spec.rb +11 -0
  320. data/spec/unit/veritas/logic/predicate/eql_spec.rb +50 -0
  321. data/spec/unit/veritas/logic/predicate/equality/class_methods/call_spec.rb +19 -0
  322. data/spec/unit/veritas/logic/predicate/equality/class_methods/inverse_spec.rb +7 -0
  323. data/spec/unit/veritas/logic/predicate/equality/class_methods/operation_spec.rb +7 -0
  324. data/spec/unit/veritas/logic/predicate/equality/class_methods/reverse_spec.rb +7 -0
  325. data/spec/unit/veritas/logic/predicate/equality/inspect_spec.rb +10 -0
  326. data/spec/unit/veritas/logic/predicate/equality/inverse_spec.rb +16 -0
  327. data/spec/unit/veritas/logic/predicate/equality/methods/eq_spec.rb +10 -0
  328. data/spec/unit/veritas/logic/predicate/equality/methods/fixtures/classes.rb +5 -0
  329. data/spec/unit/veritas/logic/predicate/exclusion/class_methods/call_spec.rb +19 -0
  330. data/spec/unit/veritas/logic/predicate/exclusion/class_methods/inverse_spec.rb +7 -0
  331. data/spec/unit/veritas/logic/predicate/exclusion/inspect_spec.rb +13 -0
  332. data/spec/unit/veritas/logic/predicate/exclusion/inverse_spec.rb +16 -0
  333. data/spec/unit/veritas/logic/predicate/exclusion/methods/exclude_spec.rb +11 -0
  334. data/spec/unit/veritas/logic/predicate/exclusion/methods/fixtures/classes.rb +5 -0
  335. data/spec/unit/veritas/logic/predicate/fixtures/classes.rb +12 -0
  336. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/call_spec.rb +26 -0
  337. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/inverse_spec.rb +7 -0
  338. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/operation_spec.rb +7 -0
  339. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/reverse_spec.rb +7 -0
  340. data/spec/unit/veritas/logic/predicate/greater_than/inspect_spec.rb +10 -0
  341. data/spec/unit/veritas/logic/predicate/greater_than/inverse_spec.rb +16 -0
  342. data/spec/unit/veritas/logic/predicate/greater_than/methods/fixtures/classes.rb +5 -0
  343. data/spec/unit/veritas/logic/predicate/greater_than/methods/gt_spec.rb +10 -0
  344. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/call_spec.rb +26 -0
  345. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/inverse_spec.rb +7 -0
  346. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/operation_spec.rb +7 -0
  347. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/reverse_spec.rb +7 -0
  348. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/inspect_spec.rb +10 -0
  349. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/inverse_spec.rb +16 -0
  350. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/methods/fixtures/classes.rb +5 -0
  351. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/methods/gte_spec.rb +10 -0
  352. data/spec/unit/veritas/logic/predicate/hash_spec.rb +15 -0
  353. data/spec/unit/veritas/logic/predicate/inclusion/class_methods/call_spec.rb +19 -0
  354. data/spec/unit/veritas/logic/predicate/inclusion/class_methods/inverse_spec.rb +7 -0
  355. data/spec/unit/veritas/logic/predicate/inclusion/inspect_spec.rb +13 -0
  356. data/spec/unit/veritas/logic/predicate/inclusion/inverse_spec.rb +16 -0
  357. data/spec/unit/veritas/logic/predicate/inclusion/methods/fixtures/classes.rb +5 -0
  358. data/spec/unit/veritas/logic/predicate/inclusion/methods/include_spec.rb +11 -0
  359. data/spec/unit/veritas/logic/predicate/inequality/class_methods/call_spec.rb +19 -0
  360. data/spec/unit/veritas/logic/predicate/inequality/class_methods/inverse_spec.rb +7 -0
  361. data/spec/unit/veritas/logic/predicate/inequality/class_methods/operation_spec.rb +7 -0
  362. data/spec/unit/veritas/logic/predicate/inequality/class_methods/reverse_spec.rb +7 -0
  363. data/spec/unit/veritas/logic/predicate/inequality/inspect_spec.rb +10 -0
  364. data/spec/unit/veritas/logic/predicate/inequality/inverse_spec.rb +16 -0
  365. data/spec/unit/veritas/logic/predicate/inequality/methods/fixtures/classes.rb +5 -0
  366. data/spec/unit/veritas/logic/predicate/inequality/methods/ne_spec.rb +10 -0
  367. data/spec/unit/veritas/logic/predicate/inspect_spec.rb +11 -0
  368. data/spec/unit/veritas/logic/predicate/inverse_spec.rb +31 -0
  369. data/spec/unit/veritas/logic/predicate/less_than/class_methods/call_spec.rb +26 -0
  370. data/spec/unit/veritas/logic/predicate/less_than/class_methods/inverse_spec.rb +7 -0
  371. data/spec/unit/veritas/logic/predicate/less_than/class_methods/operation_spec.rb +7 -0
  372. data/spec/unit/veritas/logic/predicate/less_than/class_methods/reverse_spec.rb +7 -0
  373. data/spec/unit/veritas/logic/predicate/less_than/inspect_spec.rb +10 -0
  374. data/spec/unit/veritas/logic/predicate/less_than/inverse_spec.rb +16 -0
  375. data/spec/unit/veritas/logic/predicate/less_than/methods/fixtures/classes.rb +5 -0
  376. data/spec/unit/veritas/logic/predicate/less_than/methods/lt_spec.rb +10 -0
  377. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/call_spec.rb +26 -0
  378. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/inverse_spec.rb +7 -0
  379. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/operation_spec.rb +7 -0
  380. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/reverse_spec.rb +7 -0
  381. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/inspect_spec.rb +10 -0
  382. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/inverse_spec.rb +16 -0
  383. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/methods/fixtures/classes.rb +5 -0
  384. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/methods/lte_spec.rb +10 -0
  385. data/spec/unit/veritas/logic/predicate/match/class_methods/call_spec.rb +19 -0
  386. data/spec/unit/veritas/logic/predicate/match/class_methods/inverse_spec.rb +7 -0
  387. data/spec/unit/veritas/logic/predicate/match/class_methods/operation_spec.rb +7 -0
  388. data/spec/unit/veritas/logic/predicate/match/inspect_spec.rb +10 -0
  389. data/spec/unit/veritas/logic/predicate/match/inverse_spec.rb +16 -0
  390. data/spec/unit/veritas/logic/predicate/match/methods/fixtures/classes.rb +5 -0
  391. data/spec/unit/veritas/logic/predicate/match/methods/match_spec.rb +10 -0
  392. data/spec/unit/veritas/logic/predicate/no_match/class_methods/call_spec.rb +19 -0
  393. data/spec/unit/veritas/logic/predicate/no_match/class_methods/inverse_spec.rb +7 -0
  394. data/spec/unit/veritas/logic/predicate/no_match/class_methods/operation_spec.rb +7 -0
  395. data/spec/unit/veritas/logic/predicate/no_match/inspect_spec.rb +10 -0
  396. data/spec/unit/veritas/logic/predicate/no_match/inverse_spec.rb +16 -0
  397. data/spec/unit/veritas/logic/predicate/no_match/methods/fixtures/classes.rb +5 -0
  398. data/spec/unit/veritas/logic/predicate/no_match/methods/no_match_spec.rb +10 -0
  399. data/spec/unit/veritas/logic/predicate/rename_spec.rb +43 -0
  400. data/spec/unit/veritas/logic/proposition/call_spec.rb +14 -0
  401. data/spec/unit/veritas/logic/proposition/class_methods/call_spec.rb +7 -0
  402. data/spec/unit/veritas/logic/proposition/class_methods/new_spec.rb +23 -0
  403. data/spec/unit/veritas/logic/proposition/eql_spec.rb +28 -0
  404. data/spec/unit/veritas/logic/proposition/false/and_spec.rb +10 -0
  405. data/spec/unit/veritas/logic/proposition/false/class_methods/call_spec.rb +7 -0
  406. data/spec/unit/veritas/logic/proposition/false/class_methods/inverse_spec.rb +7 -0
  407. data/spec/unit/veritas/logic/proposition/false/inspect_spec.rb +9 -0
  408. data/spec/unit/veritas/logic/proposition/false/inverse_spec.rb +15 -0
  409. data/spec/unit/veritas/logic/proposition/false/or_spec.rb +10 -0
  410. data/spec/unit/veritas/logic/proposition/fixtures/classes.rb +8 -0
  411. data/spec/unit/veritas/logic/proposition/hash_spec.rb +19 -0
  412. data/spec/unit/veritas/logic/proposition/inspect_spec.rb +10 -0
  413. data/spec/unit/veritas/logic/proposition/inverse_spec.rb +27 -0
  414. data/spec/unit/veritas/logic/proposition/true/and_spec.rb +10 -0
  415. data/spec/unit/veritas/logic/proposition/true/class_methods/call_spec.rb +7 -0
  416. data/spec/unit/veritas/logic/proposition/true/class_methods/inverse_spec.rb +7 -0
  417. data/spec/unit/veritas/logic/proposition/true/inspect_spec.rb +9 -0
  418. data/spec/unit/veritas/logic/proposition/true/inverse_spec.rb +15 -0
  419. data/spec/unit/veritas/logic/proposition/true/or_spec.rb +10 -0
  420. data/spec/unit/veritas/operation/binary/eql_spec.rb +52 -0
  421. data/spec/unit/veritas/operation/binary/hash_spec.rb +16 -0
  422. data/spec/unit/veritas/operation/binary/left_spec.rb +12 -0
  423. data/spec/unit/veritas/operation/binary/right_spec.rb +12 -0
  424. data/spec/unit/veritas/operation/unary/eql_spec.rb +51 -0
  425. data/spec/unit/veritas/operation/unary/hash_spec.rb +15 -0
  426. data/spec/unit/veritas/operation/unary/operand_spec.rb +11 -0
  427. data/spec/unit/veritas/optimizable/class_methods/optimizer_spec.rb +34 -0
  428. data/spec/unit/veritas/optimizable/optimize_spec.rb +36 -0
  429. data/spec/unit/veritas/optimizer/algebra/difference/empty_left/optimize_spec.rb +18 -0
  430. data/spec/unit/veritas/optimizer/algebra/difference/empty_right/optimize_spec.rb +18 -0
  431. data/spec/unit/veritas/optimizer/algebra/difference/equal_operands/optimize_spec.rb +20 -0
  432. data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimizable_spec.rb +28 -0
  433. data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb +24 -0
  434. data/spec/unit/veritas/optimizer/algebra/intersection/empty_left/optimize_spec.rb +18 -0
  435. data/spec/unit/veritas/optimizer/algebra/intersection/empty_right/optimize_spec.rb +18 -0
  436. data/spec/unit/veritas/optimizer/algebra/intersection/equal_operands/optimize_spec.rb +18 -0
  437. data/spec/unit/veritas/optimizer/algebra/join/equal_headers/optimizable_spec.rb +28 -0
  438. data/spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb +22 -0
  439. data/spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimizable_spec.rb +26 -0
  440. data/spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimize_spec.rb +17 -0
  441. data/spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimizable_spec.rb +26 -0
  442. data/spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimize_spec.rb +17 -0
  443. data/spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimizable_spec.rb +26 -0
  444. data/spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimize_spec.rb +17 -0
  445. data/spec/unit/veritas/optimizer/algebra/projection/header_spec.rb +17 -0
  446. data/spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimizable_spec.rb +27 -0
  447. data/spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimize_spec.rb +17 -0
  448. data/spec/unit/veritas/optimizer/algebra/projection/set_operand/optimizable_spec.rb +28 -0
  449. data/spec/unit/veritas/optimizer/algebra/projection/set_operand/optimize_spec.rb +39 -0
  450. data/spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimizable_spec.rb +27 -0
  451. data/spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimize_spec.rb +17 -0
  452. data/spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimizable_spec.rb +27 -0
  453. data/spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb +17 -0
  454. data/spec/unit/veritas/optimizer/algebra/rename/aliases_spec.rb +27 -0
  455. data/spec/unit/veritas/optimizer/algebra/rename/class_methods/union_aliases_spec.rb +25 -0
  456. data/spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimizable_spec.rb +26 -0
  457. data/spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimize_spec.rb +19 -0
  458. data/spec/unit/veritas/optimizer/algebra/rename/header_spec.rb +18 -0
  459. data/spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimizable_spec.rb +27 -0
  460. data/spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimize_spec.rb +18 -0
  461. data/spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimizable_spec.rb +27 -0
  462. data/spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimize_spec.rb +18 -0
  463. data/spec/unit/veritas/optimizer/algebra/rename/order_operand/optimizable_spec.rb +27 -0
  464. data/spec/unit/veritas/optimizer/algebra/rename/order_operand/optimize_spec.rb +36 -0
  465. data/spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimizable_spec.rb +27 -0
  466. data/spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimize_spec.rb +18 -0
  467. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_any_aliases/optimizable_spec.rb +36 -0
  468. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_any_aliases/optimize_spec.rb +18 -0
  469. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_spec.rb +36 -0
  470. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb +18 -0
  471. data/spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimizable_spec.rb +28 -0
  472. data/spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimize_spec.rb +19 -0
  473. data/spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimizable_spec.rb +26 -0
  474. data/spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimize_spec.rb +37 -0
  475. data/spec/unit/veritas/optimizer/algebra/rename/set_operand/optimizable_spec.rb +28 -0
  476. data/spec/unit/veritas/optimizer/algebra/rename/set_operand/optimize_spec.rb +23 -0
  477. data/spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimizable_spec.rb +43 -0
  478. data/spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb +20 -0
  479. data/spec/unit/veritas/optimizer/algebra/restriction/class_methods/optimize_predicate_spec.rb +27 -0
  480. data/spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimizable_spec.rb +27 -0
  481. data/spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimize_spec.rb +20 -0
  482. data/spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimizable_spec.rb +27 -0
  483. data/spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimize_spec.rb +31 -0
  484. data/spec/unit/veritas/optimizer/algebra/restriction/predicate_spec.rb +17 -0
  485. data/spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimizable_spec.rb +29 -0
  486. data/spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb +24 -0
  487. data/spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimizable_spec.rb +27 -0
  488. data/spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimize_spec.rb +31 -0
  489. data/spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimizable_spec.rb +29 -0
  490. data/spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimize_spec.rb +24 -0
  491. data/spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimizable_spec.rb +26 -0
  492. data/spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimize_spec.rb +18 -0
  493. data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimizable_spec.rb +43 -0
  494. data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb +21 -0
  495. data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimizable_spec.rb +28 -0
  496. data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb +24 -0
  497. data/spec/unit/veritas/optimizer/algebra/union/empty_left/optimize_spec.rb +18 -0
  498. data/spec/unit/veritas/optimizer/algebra/union/empty_right/optimize_spec.rb +18 -0
  499. data/spec/unit/veritas/optimizer/algebra/union/equal_operands/optimize_spec.rb +18 -0
  500. data/spec/unit/veritas/optimizer/class_methods/chain_spec.rb +55 -0
  501. data/spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimizable_spec.rb +28 -0
  502. data/spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimize_spec.rb +18 -0
  503. data/spec/unit/veritas/optimizer/logic/connective/binary/left_spec.rb +15 -0
  504. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimizable_spec.rb +27 -0
  505. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimize_spec.rb +18 -0
  506. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimizable_spec.rb +27 -0
  507. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimize_spec.rb +18 -0
  508. data/spec/unit/veritas/optimizer/logic/connective/binary/right_spec.rb +15 -0
  509. data/spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimizable_spec.rb +35 -0
  510. data/spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimize_spec.rb +18 -0
  511. data/spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimizable_spec.rb +42 -0
  512. data/spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimize_spec.rb +18 -0
  513. data/spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimizable_spec.rb +28 -0
  514. data/spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb +30 -0
  515. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimizable_spec.rb +28 -0
  516. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimize_spec.rb +18 -0
  517. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimizable_spec.rb +28 -0
  518. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimize_spec.rb +18 -0
  519. data/spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimizable_spec.rb +42 -0
  520. data/spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimize_spec.rb +18 -0
  521. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimizable_spec.rb +28 -0
  522. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimize_spec.rb +18 -0
  523. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimizable_spec.rb +28 -0
  524. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimize_spec.rb +18 -0
  525. data/spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimizable_spec.rb +28 -0
  526. data/spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb +30 -0
  527. data/spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimizable_spec.rb +27 -0
  528. data/spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimize_spec.rb +17 -0
  529. data/spec/unit/veritas/optimizer/logic/connective/negation/operand_spec.rb +13 -0
  530. data/spec/unit/veritas/optimizer/logic/predicate/always_false/optimize_spec.rb +16 -0
  531. data/spec/unit/veritas/optimizer/logic/predicate/always_true/optimize_spec.rb +16 -0
  532. data/spec/unit/veritas/optimizer/logic/predicate/class_methods/optimize_operand_spec.rb +20 -0
  533. data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_comparable/optimizable_spec.rb +58 -0
  534. data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_equivalent/optimizable_spec.rb +58 -0
  535. data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimizable_spec.rb +42 -0
  536. data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimize_spec.rb +16 -0
  537. data/spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimizable_spec.rb +30 -0
  538. data/spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimize_spec.rb +11 -0
  539. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/empty_right_operand/optimizable_spec.rb +76 -0
  540. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/one_right_operand/optimizable_spec.rb +76 -0
  541. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimizable_spec.rb +50 -0
  542. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimize_spec.rb +38 -0
  543. data/spec/unit/veritas/optimizer/logic/predicate/equality/always_true/optimizable_spec.rb +28 -0
  544. data/spec/unit/veritas/optimizer/logic/predicate/exclusion/empty_right_operand/optimize_spec.rb +44 -0
  545. data/spec/unit/veritas/optimizer/logic/predicate/exclusion/one_right_operand/optimize_spec.rb +44 -0
  546. data/spec/unit/veritas/optimizer/logic/predicate/greater_than/always_false/optimizable_spec.rb +42 -0
  547. data/spec/unit/veritas/optimizer/logic/predicate/greater_than/always_true/optimizable_spec.rb +27 -0
  548. data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_false/optimizable_spec.rb +42 -0
  549. data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_true/optimizable_spec.rb +42 -0
  550. data/spec/unit/veritas/optimizer/logic/predicate/inclusion/empty_right_operand/optimize_spec.rb +44 -0
  551. data/spec/unit/veritas/optimizer/logic/predicate/inclusion/one_right_operand/optimize_spec.rb +44 -0
  552. data/spec/unit/veritas/optimizer/logic/predicate/inequality/always_false/optimizable_spec.rb +28 -0
  553. data/spec/unit/veritas/optimizer/logic/predicate/left_spec.rb +13 -0
  554. data/spec/unit/veritas/optimizer/logic/predicate/less_than/always_false/optimizable_spec.rb +42 -0
  555. data/spec/unit/veritas/optimizer/logic/predicate/less_than/always_true/optimizable_spec.rb +27 -0
  556. data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_false/optimizable_spec.rb +42 -0
  557. data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_true/optimizable_spec.rb +42 -0
  558. data/spec/unit/veritas/optimizer/logic/predicate/right_spec.rb +13 -0
  559. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/attribute_spec.rb +19 -0
  560. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/constant_spec.rb +19 -0
  561. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/max_spec.rb +19 -0
  562. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/min_spec.rb +19 -0
  563. data/spec/unit/veritas/optimizer/operation_spec.rb +11 -0
  564. data/spec/unit/veritas/optimizer/optimizable_spec.rb +15 -0
  565. data/spec/unit/veritas/optimizer/optimize_spec.rb +15 -0
  566. data/spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimizable_spec.rb +21 -0
  567. data/spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimize_spec.rb +14 -0
  568. data/spec/unit/veritas/optimizer/relation/operation/binary/empty_left/optimizable_spec.rb +30 -0
  569. data/spec/unit/veritas/optimizer/relation/operation/binary/empty_right/optimizable_spec.rb +30 -0
  570. data/spec/unit/veritas/optimizer/relation/operation/binary/equal_operands/optimizable_spec.rb +34 -0
  571. data/spec/unit/veritas/optimizer/relation/operation/binary/left_spec.rb +18 -0
  572. data/spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimizable_spec.rb +36 -0
  573. data/spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimize_spec.rb +17 -0
  574. data/spec/unit/veritas/optimizer/relation/operation/binary/right_spec.rb +18 -0
  575. data/spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimizable_spec.rb +39 -0
  576. data/spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimize_spec.rb +15 -0
  577. data/spec/unit/veritas/optimizer/relation/operation/combine/optimize_spec.rb +15 -0
  578. data/spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimizable_spec.rb +32 -0
  579. data/spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb +18 -0
  580. data/spec/unit/veritas/optimizer/relation/operation/limit/inequal_limit_operand/optimizable_spec.rb +32 -0
  581. data/spec/unit/veritas/optimizer/relation/operation/limit/inequal_limit_operand/optimize_spec.rb +27 -0
  582. data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimizable_spec.rb +27 -0
  583. data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb +19 -0
  584. data/spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimizable_spec.rb +26 -0
  585. data/spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb +19 -0
  586. data/spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimizable_spec.rb +26 -0
  587. data/spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb +18 -0
  588. data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimizable_spec.rb +27 -0
  589. data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb +19 -0
  590. data/spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimizable_spec.rb +26 -0
  591. data/spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb +16 -0
  592. data/spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimizable_spec.rb +32 -0
  593. data/spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb +18 -0
  594. data/spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimizable_spec.rb +26 -0
  595. data/spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimize_spec.rb +19 -0
  596. data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimizable_spec.rb +27 -0
  597. data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb +20 -0
  598. data/spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimizable_spec.rb +26 -0
  599. data/spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb +17 -0
  600. data/spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimizable_spec.rb +26 -0
  601. data/spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb +17 -0
  602. data/spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_spec.rb +26 -0
  603. data/spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb +20 -0
  604. data/spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimizable_spec.rb +21 -0
  605. data/spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb +16 -0
  606. data/spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimizable_spec.rb +21 -0
  607. data/spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb +15 -0
  608. data/spec/unit/veritas/optimizer/relation/operation/unary/operand_spec.rb +13 -0
  609. data/spec/unit/veritas/relation/class_methods/new_spec.rb +36 -0
  610. data/spec/unit/veritas/relation/directions_spec.rb +13 -0
  611. data/spec/unit/veritas/relation/each_spec.rb +26 -0
  612. data/spec/unit/veritas/relation/element_reference_spec.rb +12 -0
  613. data/spec/unit/veritas/relation/empty/each_spec.rb +14 -0
  614. data/spec/unit/veritas/relation/empty/empty_spec.rb +9 -0
  615. data/spec/unit/veritas/relation/empty/header_spec.rb +11 -0
  616. data/spec/unit/veritas/relation/empty_spec.rb +20 -0
  617. data/spec/unit/veritas/relation/eql_spec.rb +49 -0
  618. data/spec/unit/veritas/relation/equal_value_spec.rb +96 -0
  619. data/spec/unit/veritas/relation/hash_spec.rb +13 -0
  620. data/spec/unit/veritas/relation/header/class_methods/coerce_spec.rb +23 -0
  621. data/spec/unit/veritas/relation/header/difference_spec.rb +16 -0
  622. data/spec/unit/veritas/relation/header/each_spec.rb +25 -0
  623. data/spec/unit/veritas/relation/header/element_reference_spec.rb +19 -0
  624. data/spec/unit/veritas/relation/header/empty_spec.rb +17 -0
  625. data/spec/unit/veritas/relation/header/eql_spec.rb +89 -0
  626. data/spec/unit/veritas/relation/header/equal_value_spec.rb +81 -0
  627. data/spec/unit/veritas/relation/header/hash_spec.rb +13 -0
  628. data/spec/unit/veritas/relation/header/index_spec.rb +20 -0
  629. data/spec/unit/veritas/relation/header/inspect_spec.rb +12 -0
  630. data/spec/unit/veritas/relation/header/intersect_spec.rb +14 -0
  631. data/spec/unit/veritas/relation/header/project_spec.rb +11 -0
  632. data/spec/unit/veritas/relation/header/rename_spec.rb +14 -0
  633. data/spec/unit/veritas/relation/header/to_ary_spec.rb +14 -0
  634. data/spec/unit/veritas/relation/header/union_spec.rb +16 -0
  635. data/spec/unit/veritas/relation/header_spec.rb +14 -0
  636. data/spec/unit/veritas/relation/materialize_spec.rb +18 -0
  637. data/spec/unit/veritas/relation/materialized/class_methods/new_spec.rb +34 -0
  638. data/spec/unit/veritas/relation/materialized/empty_spec.rb +30 -0
  639. data/spec/unit/veritas/relation/materialized/materialize_spec.rb +9 -0
  640. data/spec/unit/veritas/relation/materialized/size_spec.rb +11 -0
  641. data/spec/unit/veritas/relation/operation/binary/class_methods/new_spec.rb +37 -0
  642. data/spec/unit/veritas/relation/operation/binary/directions_spec.rb +16 -0
  643. data/spec/unit/veritas/relation/operation/binary/fixtures/classes.rb +12 -0
  644. data/spec/unit/veritas/relation/operation/binary/header_spec.rb +16 -0
  645. data/spec/unit/veritas/relation/operation/combine/class_methods/combine_tuples_spec.rb +17 -0
  646. data/spec/unit/veritas/relation/operation/combine/fixtures/classes.rb +12 -0
  647. data/spec/unit/veritas/relation/operation/combine/header_spec.rb +18 -0
  648. data/spec/unit/veritas/relation/operation/limit/class_methods/new_spec.rb +28 -0
  649. data/spec/unit/veritas/relation/operation/limit/each_spec.rb +17 -0
  650. data/spec/unit/veritas/relation/operation/limit/eql_spec.rb +50 -0
  651. data/spec/unit/veritas/relation/operation/limit/methods/first_spec.rb +36 -0
  652. data/spec/unit/veritas/relation/operation/limit/methods/last_spec.rb +36 -0
  653. data/spec/unit/veritas/relation/operation/limit/methods/take_spec.rb +14 -0
  654. data/spec/unit/veritas/relation/operation/limit/to_i_spec.rb +12 -0
  655. data/spec/unit/veritas/relation/operation/offset/class_methods/new_spec.rb +28 -0
  656. data/spec/unit/veritas/relation/operation/offset/each_spec.rb +17 -0
  657. data/spec/unit/veritas/relation/operation/offset/eql_spec.rb +51 -0
  658. data/spec/unit/veritas/relation/operation/offset/methods/drop_spec.rb +14 -0
  659. data/spec/unit/veritas/relation/operation/offset/to_i_spec.rb +12 -0
  660. data/spec/unit/veritas/relation/operation/order/ascending/class_methods/call_spec.rb +26 -0
  661. data/spec/unit/veritas/relation/operation/order/ascending/class_methods/reverse_spec.rb +7 -0
  662. data/spec/unit/veritas/relation/operation/order/ascending/reverse_spec.rb +12 -0
  663. data/spec/unit/veritas/relation/operation/order/class_methods/new_spec.rb +21 -0
  664. data/spec/unit/veritas/relation/operation/order/descending/class_methods/call_spec.rb +26 -0
  665. data/spec/unit/veritas/relation/operation/order/descending/class_methods/reverse_spec.rb +7 -0
  666. data/spec/unit/veritas/relation/operation/order/descending/reverse_spec.rb +12 -0
  667. data/spec/unit/veritas/relation/operation/order/direction/attribute_spec.rb +11 -0
  668. data/spec/unit/veritas/relation/operation/order/direction/call_spec.rb +22 -0
  669. data/spec/unit/veritas/relation/operation/order/direction/class_methods/coerce_spec.rb +20 -0
  670. data/spec/unit/veritas/relation/operation/order/direction/eql_spec.rb +52 -0
  671. data/spec/unit/veritas/relation/operation/order/direction/hash_spec.rb +15 -0
  672. data/spec/unit/veritas/relation/operation/order/direction/rename_spec.rb +28 -0
  673. data/spec/unit/veritas/relation/operation/order/direction/reverse_spec.rb +27 -0
  674. data/spec/unit/veritas/relation/operation/order/direction_set/attributes_spec.rb +12 -0
  675. data/spec/unit/veritas/relation/operation/order/direction_set/class_methods/coerce_spec.rb +26 -0
  676. data/spec/unit/veritas/relation/operation/order/direction_set/each_spec.rb +27 -0
  677. data/spec/unit/veritas/relation/operation/order/direction_set/empty_spec.rb +18 -0
  678. data/spec/unit/veritas/relation/operation/order/direction_set/eql_spec.rb +49 -0
  679. data/spec/unit/veritas/relation/operation/order/direction_set/equal_value_spec.rb +49 -0
  680. data/spec/unit/veritas/relation/operation/order/direction_set/hash_spec.rb +14 -0
  681. data/spec/unit/veritas/relation/operation/order/direction_set/project_spec.rb +14 -0
  682. data/spec/unit/veritas/relation/operation/order/direction_set/rename_spec.rb +16 -0
  683. data/spec/unit/veritas/relation/operation/order/direction_set/reverse_spec.rb +19 -0
  684. data/spec/unit/veritas/relation/operation/order/direction_set/sort_tuples_spec.rb +62 -0
  685. data/spec/unit/veritas/relation/operation/order/direction_set/to_ary_spec.rb +12 -0
  686. data/spec/unit/veritas/relation/operation/order/direction_set/union_spec.rb +16 -0
  687. data/spec/unit/veritas/relation/operation/order/directions_spec.rb +15 -0
  688. data/spec/unit/veritas/relation/operation/order/each_spec.rb +16 -0
  689. data/spec/unit/veritas/relation/operation/order/eql_spec.rb +50 -0
  690. data/spec/unit/veritas/relation/operation/order/header_spec.rb +15 -0
  691. data/spec/unit/veritas/relation/operation/order/methods/order_spec.rb +44 -0
  692. data/spec/unit/veritas/relation/operation/reverse/class_methods/new_spec.rb +23 -0
  693. data/spec/unit/veritas/relation/operation/reverse/each_spec.rb +17 -0
  694. data/spec/unit/veritas/relation/operation/reverse/methods/reverse_spec.rb +14 -0
  695. data/spec/unit/veritas/relation/operation/set/class_methods/new_spec.rb +27 -0
  696. data/spec/unit/veritas/relation/operation/set/fixtures/classes.rb +12 -0
  697. data/spec/unit/veritas/relation/operation/set/header_spec.rb +15 -0
  698. data/spec/unit/veritas/relation/operation/unary/directions_spec.rb +15 -0
  699. data/spec/unit/veritas/relation/operation/unary/fixtures/classes.rb +15 -0
  700. data/spec/unit/veritas/relation/operation/unary/header_spec.rb +15 -0
  701. data/spec/unit/veritas/tuple/class_methods/coerce_spec.rb +19 -0
  702. data/spec/unit/veritas/tuple/element_reference_spec.rb +20 -0
  703. data/spec/unit/veritas/tuple/eql_spec.rb +88 -0
  704. data/spec/unit/veritas/tuple/equal_value_spec.rb +81 -0
  705. data/spec/unit/veritas/tuple/extend_spec.rb +16 -0
  706. data/spec/unit/veritas/tuple/hash_spec.rb +14 -0
  707. data/spec/unit/veritas/tuple/header_spec.rb +12 -0
  708. data/spec/unit/veritas/tuple/inspect_spec.rb +12 -0
  709. data/spec/unit/veritas/tuple/join_spec.rb +16 -0
  710. data/spec/unit/veritas/tuple/project_spec.rb +15 -0
  711. data/spec/unit/veritas/tuple/to_ary_spec.rb +12 -0
  712. data/tasks/ci.rake +2 -0
  713. data/tasks/clean.rake +6 -0
  714. data/tasks/quality/flay.rake +41 -0
  715. data/tasks/quality/flog.rake +43 -0
  716. data/tasks/quality/heckle.rake +239 -0
  717. data/tasks/quality/metric_fu.rake +26 -0
  718. data/tasks/quality/reek.rake +9 -0
  719. data/tasks/quality/roodi.rake +15 -0
  720. data/tasks/quality/yardstick.rake +23 -0
  721. data/tasks/spec.rake +41 -0
  722. data/tasks/yard.rake +9 -0
  723. data/veritas.gemspec +1350 -0
  724. metadata +1420 -0
@@ -0,0 +1,62 @@
1
+ module Veritas
2
+ class Relation
3
+
4
+ # A materialized relation
5
+ class Materialized < Relation
6
+
7
+ # Initialize a materialized Relation
8
+ #
9
+ # @param [Header, #to_ary] header
10
+ # the relation header
11
+ # @param [Enumerable] tuples
12
+ # the relation tuples
13
+ # @param [Operation::Order::DirectionSet] directions
14
+ # optional directions to sort the relation by
15
+ #
16
+ # @return [undefined]
17
+ #
18
+ # @api private
19
+ def initialize(header, tuples, directions = Operation::Order::DirectionSet::EMPTY)
20
+ super(header, tuples)
21
+ @directions = Operation::Order::DirectionSet.coerce(directions)
22
+ end
23
+
24
+ # A noop for Materialized relations
25
+ #
26
+ # @example
27
+ # materialized.materialize # (Always returns self)
28
+ #
29
+ # @return [self]
30
+ #
31
+ # @api public
32
+ def materialize
33
+ self
34
+ end
35
+
36
+ # Test if there are no tuples
37
+ #
38
+ # @example
39
+ # materialized.empty? # => true or false
40
+ #
41
+ # @return [Boolean]
42
+ #
43
+ # @api public
44
+ def empty?
45
+ tuples.empty?
46
+ end
47
+
48
+ # Return the number of tuples
49
+ #
50
+ # @example
51
+ # materialized.size # => 10
52
+ #
53
+ # @return [Integer]
54
+ #
55
+ # @api public
56
+ def size
57
+ tuples.size
58
+ end
59
+
60
+ end # class Materialized
61
+ end # class Relation
62
+ end # module Veritas
@@ -0,0 +1,77 @@
1
+ module Veritas
2
+ class Relation
3
+ module Operation
4
+
5
+ # A mixin for Binary relations
6
+ module Binary
7
+ include Veritas::Operation::Binary
8
+
9
+ # Hook called when module is included
10
+ #
11
+ # @param [Module] descendant
12
+ # the module or class including Binary
13
+ #
14
+ # @return [self]
15
+ #
16
+ # @api private
17
+ def self.included(descendant)
18
+ descendant.extend ClassMethods
19
+ self
20
+ end
21
+
22
+ # Initialize a Binary relation
23
+ #
24
+ # @param [Relation] left
25
+ # @param [Relation] right
26
+ #
27
+ # @return [undefined]
28
+ #
29
+ # @api private
30
+ def initialize(left, right)
31
+ super
32
+ @header = left.header | right.header
33
+ @directions = left.directions | right.directions
34
+ end
35
+
36
+ module ClassMethods
37
+
38
+ # Instantiate a new Binary relation
39
+ #
40
+ # @example
41
+ # binary = BinaryRelation.new(left, right)
42
+ #
43
+ # @param [Relation] left
44
+ # @param [Relation] right
45
+ #
46
+ # @return [Binary]
47
+ #
48
+ # @api public
49
+ def new(left, right)
50
+ assert_ordered_match(left, right)
51
+ super
52
+ end
53
+
54
+ private
55
+
56
+ # Assert that ordered and unordered relations are not mixed
57
+ #
58
+ # @param [Relation] left
59
+ # @param [Relation] right
60
+ #
61
+ # @return [undefined]
62
+ #
63
+ # @raise [RelationMismatchError]
64
+ # raised if one relation is ordered and the other is not
65
+ #
66
+ # @api private
67
+ def assert_ordered_match(left, right)
68
+ if left.directions.empty? != right.directions.empty?
69
+ raise RelationMismatchError, 'both relations must be ordered or neither may be ordered'
70
+ end
71
+ end
72
+
73
+ end # module ClassMethods
74
+ end # module Binary
75
+ end # module Operation
76
+ end # class Relation
77
+ end # module Veritas
@@ -0,0 +1,35 @@
1
+ module Veritas
2
+ class Relation
3
+ module Operation
4
+
5
+ # A mixin for relations that combine their operands
6
+ module Combine
7
+ include Binary
8
+
9
+ # Combine tuples together and yield the joined tuple
10
+ #
11
+ # @param [Header] header
12
+ # the header to use for the resulting tuples
13
+ # @param [Tuple] left_tuple
14
+ # the left tuple to join with
15
+ # @param [Enumerable<Tuple>] right_tuples
16
+ # the tuples to join to the left tuple
17
+ #
18
+ # @yield [tuple]
19
+ #
20
+ # @yieldparam [Tuple] tuple
21
+ # each joined tuple
22
+ #
23
+ # @return [undefined]
24
+ #
25
+ # @api private
26
+ def self.combine_tuples(header, left_tuple, right_tuples)
27
+ right_tuples.each do |right_tuple|
28
+ yield left_tuple.join(header, right_tuple)
29
+ end
30
+ end
31
+
32
+ end # module Combine
33
+ end # module Operation
34
+ end # class Relation
35
+ end # module Veritas
@@ -0,0 +1,190 @@
1
+ module Veritas
2
+ class Relation
3
+ module Operation
4
+
5
+ # A class representing a limited relation
6
+ class Limit < Relation
7
+ include Unary
8
+
9
+ # Instantiate a new Limit
10
+ #
11
+ # @example
12
+ # limited_relation = Limit.new(operand, limit)
13
+ #
14
+ # @param [Relation] operand
15
+ # the relation to limit
16
+ # @param [Integer] limit
17
+ # the maximum number of tuples in the limited relation
18
+ #
19
+ # @return [Limit]
20
+ #
21
+ # @api public
22
+ def self.new(operand, limit)
23
+ assert_ordered_operand(operand)
24
+ assert_valid_limit(limit)
25
+ super
26
+ end
27
+
28
+ # Assert the operand is ordered
29
+ #
30
+ # @param [Relation] operand
31
+ #
32
+ # @return [undefined]
33
+ #
34
+ # @raise [OrderedRelationRequiredError]
35
+ # raised if the operand is unordered
36
+ #
37
+ # @api private
38
+ def self.assert_ordered_operand(operand)
39
+ if operand.directions.empty?
40
+ raise OrderedRelationRequiredError, 'can only limit an ordered operand'
41
+ end
42
+ end
43
+
44
+ # Assert the limit is valid
45
+ #
46
+ # @param [Integer] limit
47
+ #
48
+ # @return [undefined]
49
+ #
50
+ # @raise [InvalidLimitError]
51
+ # raised if the limit is less than 0
52
+ #
53
+ # @api private
54
+ def self.assert_valid_limit(limit)
55
+ if limit < 0
56
+ raise InvalidLimitError, "limit must be greater than or equal to 0, but was #{limit.inspect}"
57
+ end
58
+ end
59
+
60
+ private_class_method :assert_ordered_operand, :assert_valid_limit
61
+
62
+ # Initialize a Limit
63
+ #
64
+ # @param [Relation] operand
65
+ # the relation to limit
66
+ # @param [Integer] limit
67
+ # the maximum number of tuples in the limited relation
68
+ #
69
+ # @return [undefined]
70
+ #
71
+ # @api private
72
+ def initialize(operand, limit)
73
+ super(operand)
74
+ @limit = limit.to_int
75
+ end
76
+
77
+ # Iterate over each tuple in the set
78
+ #
79
+ # @example
80
+ # limited_relation = Limit.new(operand, limit)
81
+ # limited_relation.each { |tuple| ... }
82
+ #
83
+ # @yield [tuple]
84
+ #
85
+ # @yieldparam [Tuple] tuple
86
+ # each tuple in the set
87
+ #
88
+ # @return [self]
89
+ #
90
+ # @api public
91
+ def each
92
+ operand.each_with_index do |tuple, index|
93
+ break if @limit == index
94
+ yield tuple
95
+ end
96
+ self
97
+ end
98
+
99
+ # Return the limit
100
+ #
101
+ # @example
102
+ # limit = limited_relation.to_i
103
+ #
104
+ # @return [Integer]
105
+ #
106
+ # @api public
107
+ def to_i
108
+ @limit
109
+ end
110
+
111
+ # Compare the Limit with other relation for equality
112
+ #
113
+ # @example
114
+ # limited_relation.eql?(other) # => true or false
115
+ #
116
+ # @param [Relation] other
117
+ # the other relation to compare with
118
+ #
119
+ # @return [Boolean]
120
+ #
121
+ # @api public
122
+ def eql?(other)
123
+ instance_of?(other.class) &&
124
+ to_i.eql?(other.to_i) &&
125
+ operand.eql?(other.operand)
126
+ end
127
+
128
+ private
129
+
130
+ module Methods
131
+
132
+ # Return a relation with n tuples
133
+ #
134
+ # @example
135
+ # limited_relation = relation.take(5)
136
+ #
137
+ # @param [Integer] limit
138
+ # the maximum number of tuples in the limited relation
139
+ #
140
+ # @return [Limit]
141
+ #
142
+ # @api public
143
+ def take(limit)
144
+ Limit.new(self, limit)
145
+ end
146
+
147
+ # Return a relation with the first n tuples
148
+ #
149
+ # @example with no limit
150
+ # limited_relation = relation.first
151
+ #
152
+ # @example with a limit
153
+ # limited_relation = relation.first(5)
154
+ #
155
+ # @param [Integer] limit
156
+ # optional number of tuples from the beginning of the relation
157
+ #
158
+ # @return [Limit]
159
+ #
160
+ # @api public
161
+ def first(limit = 1)
162
+ take(limit)
163
+ end
164
+
165
+ # Return a relation with the last n tuples
166
+ #
167
+ # @example with no limit
168
+ # limited_relation = relation.last
169
+ #
170
+ # @example with a limit
171
+ # limited_relation = relation.last(5)
172
+ #
173
+ # @param [Integer] limit
174
+ # optional number of tuples from the end of the relation
175
+ #
176
+ # @return [Limit]
177
+ #
178
+ # @api public
179
+ def last(limit = 1)
180
+ reverse.take(limit).reverse
181
+ end
182
+
183
+ end # module Methods
184
+
185
+ Relation.class_eval { include Methods }
186
+
187
+ end # class Limit
188
+ end # module Operation
189
+ end # class Relation
190
+ end # module Veritas
@@ -0,0 +1,153 @@
1
+ module Veritas
2
+ class Relation
3
+ module Operation
4
+
5
+ # A class representing an offset relation
6
+ class Offset < Relation
7
+ include Unary
8
+
9
+ # Instantiate a new Offset
10
+ #
11
+ # @example
12
+ # offset_relation = Offset.new(operand, offset)
13
+ #
14
+ # @param [Relation] operand
15
+ # the relation to offset
16
+ # @param [Integer] offset
17
+ # the offset of the operand to drop
18
+ #
19
+ # @return [Offset]
20
+ #
21
+ # @api public
22
+ def self.new(operand, offset)
23
+ assert_ordered_operand(operand)
24
+ assert_valid_offset(offset)
25
+ super
26
+ end
27
+
28
+ # Assert the operand is ordered
29
+ #
30
+ # @param [Relation] operand
31
+ #
32
+ # @return [undefined]
33
+ #
34
+ # @raise [OrderedRelationRequiredError]
35
+ # raised if the operand is unordered
36
+ #
37
+ # @api private
38
+ def self.assert_ordered_operand(operand)
39
+ if operand.directions.empty?
40
+ raise OrderedRelationRequiredError, 'can only offset an ordered operand'
41
+ end
42
+ end
43
+
44
+ # Assert the offset is valid
45
+ #
46
+ # @param [Integer] offset
47
+ #
48
+ # @return [undefined]
49
+ #
50
+ # @raise [InvalidOffsetError]
51
+ # raised if the offset is less than 0
52
+ #
53
+ # @api private
54
+ def self.assert_valid_offset(offset)
55
+ if offset < 0
56
+ raise InvalidOffsetError, "offset must be greater than or equal to 0, but was #{offset.inspect}"
57
+ end
58
+ end
59
+
60
+ private_class_method :assert_ordered_operand, :assert_valid_offset
61
+
62
+ # Initialize an Offset
63
+ #
64
+ # @param [Relation] operand
65
+ # the relation to offset
66
+ # @param [Integer] offset
67
+ # the offset of the operand to drop
68
+ #
69
+ # @return [undefined]
70
+ #
71
+ # @api private
72
+ def initialize(operand, offset)
73
+ super(operand)
74
+ @offset = offset.to_int
75
+ end
76
+
77
+ # Iterate over each tuple in the set
78
+ #
79
+ # @example
80
+ # offset_relation = Offset.new(operand, offset)
81
+ # offset_relation.each { |tuple| ... }
82
+ #
83
+ # @yield [tuple]
84
+ #
85
+ # @yieldparam [Tuple] tuple
86
+ # each tuple in the set
87
+ #
88
+ # @return [self]
89
+ #
90
+ # @api public
91
+ def each
92
+ operand.each_with_index do |tuple, index|
93
+ yield tuple if index >= @offset
94
+ end
95
+ self
96
+ end
97
+
98
+ # Return the offset
99
+ #
100
+ # @example
101
+ # offset = offset_relation.to_i
102
+ #
103
+ # @return [Integer]
104
+ #
105
+ # @api public
106
+ def to_i
107
+ @offset
108
+ end
109
+
110
+ # Compare the Offset with other relation for equality
111
+ #
112
+ # @example
113
+ # offset_relation.eql?(other) # => true or false
114
+ #
115
+ # @param [Relation] other
116
+ # the other relation to compare with
117
+ #
118
+ # @return [Boolean]
119
+ #
120
+ # @api public
121
+ def eql?(other)
122
+ instance_of?(other.class) &&
123
+ to_i.eql?(other.to_i) &&
124
+ operand.eql?(other.operand)
125
+ end
126
+
127
+ private
128
+
129
+ module Methods
130
+
131
+ # Return a relation with n tuples
132
+ #
133
+ # @example
134
+ # offset_relation = relation.drop(5)
135
+ #
136
+ # @param [Integer] offset
137
+ # the offset of the relation to drop
138
+ #
139
+ # @return [Offset]
140
+ #
141
+ # @api public
142
+ def drop(offset)
143
+ Offset.new(self, offset)
144
+ end
145
+
146
+ end # module Methods
147
+
148
+ Relation.class_eval { include Methods }
149
+
150
+ end # class Offset
151
+ end # module Operation
152
+ end # class Relation
153
+ end # module Veritas