veritas 0.0.1 → 0.0.2

Sign up to get free protection for your applications and to get access to all the features.
Files changed (506) hide show
  1. data/.autotest +6 -4
  2. data/Gemfile +23 -12
  3. data/LICENSE +1 -1
  4. data/README.rdoc +35 -33
  5. data/Rakefile +3 -8
  6. data/TODO +20 -1
  7. data/config/flay.yml +1 -1
  8. data/config/roodi.yml +2 -2
  9. data/lib/veritas/algebra/extension.rb +29 -0
  10. data/lib/veritas/algebra/join.rb +3 -3
  11. data/lib/veritas/algebra/product.rb +3 -3
  12. data/lib/veritas/algebra/projection.rb +31 -2
  13. data/lib/veritas/algebra/rename/aliases.rb +3 -4
  14. data/lib/veritas/algebra/rename.rb +14 -0
  15. data/lib/veritas/algebra/restriction.rb +14 -0
  16. data/lib/veritas/algebra/summarization.rb +31 -0
  17. data/lib/veritas/attribute/numeric.rb +1 -1
  18. data/lib/veritas/attribute/string.rb +1 -1
  19. data/lib/veritas/attribute.rb +4 -4
  20. data/lib/veritas/core_ext/range.rb +1 -1
  21. data/lib/veritas/logic/expression.rb +3 -3
  22. data/lib/veritas/logic/predicate/enumerable.rb +11 -0
  23. data/lib/veritas/logic/predicate/exclusion.rb +1 -1
  24. data/lib/veritas/logic/predicate/inclusion.rb +3 -3
  25. data/lib/veritas/logic/predicate/inequality.rb +1 -1
  26. data/lib/veritas/logic/proposition.rb +3 -3
  27. data/lib/veritas/optimizer/algebra/extension.rb +1 -1
  28. data/lib/veritas/optimizer/algebra/join.rb +2 -2
  29. data/lib/veritas/optimizer/algebra/product.rb +3 -3
  30. data/lib/veritas/optimizer/algebra/projection.rb +4 -4
  31. data/lib/veritas/optimizer/algebra/rename.rb +36 -12
  32. data/lib/veritas/optimizer/algebra/restriction.rb +5 -5
  33. data/lib/veritas/optimizer/algebra/summarization.rb +1 -1
  34. data/lib/veritas/optimizer/logic/connective/binary.rb +1 -1
  35. data/lib/veritas/optimizer/logic/connective/negation.rb +1 -1
  36. data/lib/veritas/optimizer/logic/predicate/comparable.rb +1 -1
  37. data/lib/veritas/optimizer/logic/predicate/enumerable.rb +1 -1
  38. data/lib/veritas/optimizer/logic/predicate/exclusion.rb +1 -1
  39. data/lib/veritas/optimizer/logic/predicate/inclusion.rb +1 -1
  40. data/lib/veritas/optimizer/relation/operation/binary.rb +1 -1
  41. data/lib/veritas/optimizer/relation/operation/{combine.rb → combination.rb} +2 -2
  42. data/lib/veritas/optimizer/relation/operation/limit.rb +9 -18
  43. data/lib/veritas/optimizer/relation/operation/offset.rb +4 -4
  44. data/lib/veritas/optimizer/relation/operation/order.rb +3 -3
  45. data/lib/veritas/optimizer/relation/operation/reverse.rb +2 -2
  46. data/lib/veritas/optimizer/relation/operation.rb +1 -1
  47. data/lib/veritas/relation/header.rb +3 -3
  48. data/lib/veritas/relation/operation/binary.rb +2 -2
  49. data/lib/veritas/relation/operation/{combine.rb → combination.rb} +2 -2
  50. data/lib/veritas/relation/operation/limit.rb +25 -17
  51. data/lib/veritas/relation/operation/offset.rb +25 -17
  52. data/lib/veritas/relation/operation/order/direction.rb +3 -3
  53. data/lib/veritas/relation/operation/order/direction_set.rb +3 -3
  54. data/lib/veritas/relation/operation/order.rb +17 -6
  55. data/lib/veritas/relation/operation/reverse.rb +1 -1
  56. data/lib/veritas/relation/operation/set.rb +1 -1
  57. data/lib/veritas/relation/operation.rb +1 -1
  58. data/lib/veritas/relation.rb +8 -6
  59. data/lib/veritas/support/immutable.rb +11 -30
  60. data/lib/veritas/support/operation/binary.rb +5 -5
  61. data/lib/veritas/support/operation/unary.rb +4 -4
  62. data/lib/veritas/support/visitable.rb +20 -0
  63. data/lib/veritas/tuple.rb +5 -4
  64. data/lib/veritas/version.rb +1 -1
  65. data/lib/veritas.rb +1 -0
  66. data/spec/integration/veritas/algebra/difference/optimize_spec.rb +19 -17
  67. data/spec/integration/veritas/algebra/intersection/optimize_spec.rb +19 -17
  68. data/spec/integration/veritas/algebra/projection/optimize_spec.rb +6 -6
  69. data/spec/integration/veritas/algebra/rename/optimize_spec.rb +5 -5
  70. data/spec/integration/veritas/algebra/restriction/optimize_spec.rb +3 -3
  71. data/spec/integration/veritas/algebra/summarization_spec.rb +35 -0
  72. data/spec/integration/veritas/logic/expression/optimize_spec.rb +8 -0
  73. data/spec/integration/veritas/relation/operation/limit/optimize_spec.rb +7 -7
  74. data/spec/integration/veritas/relation/operation/offset/optimize_spec.rb +5 -5
  75. data/spec/integration/veritas/relation/operation/reverse/optimize_spec.rb +4 -4
  76. data/spec/integration/veritas/relation/optimize_spec.rb +4 -0
  77. data/spec/shared/command_method_behavior.rb +5 -0
  78. data/spec/shared/hash_method_behavior.rb +9 -0
  79. data/spec/shared/logic_connective_binary_optimize_behavior.rb +2 -2
  80. data/spec/shared/optimize_method_behavior.rb +5 -4
  81. data/spec/unit/date/pred_spec.rb +7 -4
  82. data/spec/unit/range/overlaps_spec.rb +43 -43
  83. data/spec/unit/range/to_inclusive_spec.rb +9 -5
  84. data/spec/unit/time/pred_spec.rb +7 -4
  85. data/spec/unit/veritas/abstract_class/class_methods/new_spec.rb +9 -8
  86. data/spec/unit/veritas/algebra/difference/each_spec.rb +12 -9
  87. data/spec/unit/veritas/algebra/difference/methods/difference_spec.rb +6 -5
  88. data/spec/unit/veritas/algebra/extension/class_methods/new_spec.rb +7 -7
  89. data/spec/unit/veritas/algebra/extension/each_spec.rb +4 -2
  90. data/spec/unit/veritas/algebra/extension/eql_spec.rb +64 -0
  91. data/spec/unit/veritas/algebra/extension/extensions_spec.rb +2 -2
  92. data/spec/unit/veritas/algebra/extension/hash_spec.rb +14 -0
  93. data/spec/unit/veritas/algebra/extension/header_spec.rb +2 -2
  94. data/spec/unit/veritas/algebra/extension/methods/extend_spec.rb +4 -4
  95. data/spec/unit/veritas/algebra/extension/operand_spec.rb +2 -2
  96. data/spec/unit/veritas/algebra/intersection/each_spec.rb +9 -8
  97. data/spec/unit/veritas/algebra/intersection/methods/intersect_spec.rb +6 -5
  98. data/spec/unit/veritas/algebra/join/class_methods/new_spec.rb +5 -4
  99. data/spec/unit/veritas/algebra/join/each_spec.rb +5 -4
  100. data/spec/unit/veritas/algebra/join/methods/join_spec.rb +12 -12
  101. data/spec/unit/veritas/algebra/product/class_methods/new_spec.rb +10 -9
  102. data/spec/unit/veritas/algebra/product/each_spec.rb +9 -8
  103. data/spec/unit/veritas/algebra/product/methods/product_spec.rb +4 -3
  104. data/spec/unit/veritas/algebra/projection/directions_spec.rb +5 -9
  105. data/spec/unit/veritas/algebra/projection/each_spec.rb +5 -3
  106. data/spec/unit/veritas/algebra/projection/eql_spec.rb +65 -0
  107. data/spec/unit/veritas/algebra/projection/hash_spec.rb +15 -0
  108. data/spec/unit/veritas/algebra/projection/header_spec.rb +2 -2
  109. data/spec/unit/veritas/algebra/projection/methods/project_spec.rb +7 -3
  110. data/spec/unit/veritas/algebra/projection/methods/remove_spec.rb +5 -3
  111. data/spec/unit/veritas/algebra/rename/aliases/class_methods/coerce_spec.rb +12 -4
  112. data/spec/unit/veritas/algebra/rename/aliases/each_spec.rb +4 -2
  113. data/spec/unit/veritas/algebra/rename/aliases/eql_spec.rb +5 -4
  114. data/spec/unit/veritas/algebra/rename/aliases/equal_value_spec.rb +7 -6
  115. data/spec/unit/veritas/algebra/rename/aliases/hash_spec.rb +2 -4
  116. data/spec/unit/veritas/algebra/rename/aliases/to_hash_spec.rb +11 -7
  117. data/spec/unit/veritas/algebra/rename/aliases/union_spec.rb +5 -5
  118. data/spec/unit/veritas/algebra/rename/aliases_spec.rb +5 -5
  119. data/spec/unit/veritas/algebra/rename/directions_spec.rb +4 -4
  120. data/spec/unit/veritas/algebra/rename/each_spec.rb +6 -4
  121. data/spec/unit/veritas/algebra/rename/eql_spec.rb +24 -10
  122. data/spec/unit/veritas/algebra/rename/hash_spec.rb +14 -0
  123. data/spec/unit/veritas/algebra/rename/header_spec.rb +2 -2
  124. data/spec/unit/veritas/algebra/rename/methods/rename_spec.rb +5 -5
  125. data/spec/unit/veritas/algebra/restriction/each_spec.rb +4 -2
  126. data/spec/unit/veritas/algebra/restriction/eql_spec.rb +24 -9
  127. data/spec/unit/veritas/algebra/restriction/hash_spec.rb +14 -0
  128. data/spec/unit/veritas/algebra/restriction/methods/restrict_spec.rb +10 -10
  129. data/spec/unit/veritas/algebra/restriction/predicate_spec.rb +2 -2
  130. data/spec/unit/veritas/algebra/summarization/each_spec.rb +4 -2
  131. data/spec/unit/veritas/algebra/summarization/eql_spec.rb +80 -0
  132. data/spec/unit/veritas/algebra/summarization/hash_spec.rb +15 -0
  133. data/spec/unit/veritas/algebra/summarization/header_spec.rb +2 -2
  134. data/spec/unit/veritas/algebra/summarization/methods/summarize_spec.rb +4 -4
  135. data/spec/unit/veritas/algebra/summarization/summarize_by_spec.rb +2 -2
  136. data/spec/unit/veritas/algebra/summarization/summarizers_spec.rb +2 -2
  137. data/spec/unit/veritas/algebra/union/each_spec.rb +14 -9
  138. data/spec/unit/veritas/algebra/union/methods/union_spec.rb +6 -5
  139. data/spec/unit/veritas/aliasable/inheritable_alias_spec.rb +8 -8
  140. data/spec/unit/veritas/attribute/boolean/class_methods/primitive_spec.rb +5 -1
  141. data/spec/unit/veritas/attribute/boolean/valid_value_spec.rb +3 -2
  142. data/spec/unit/veritas/attribute/call_spec.rb +5 -4
  143. data/spec/unit/veritas/attribute/class/class_methods/primitive_spec.rb +5 -1
  144. data/spec/unit/veritas/attribute/class_methods/coerce_spec.rb +18 -12
  145. data/spec/unit/veritas/attribute/class_methods/name_from_spec.rb +11 -9
  146. data/spec/unit/veritas/attribute/class_methods/new_spec.rb +10 -10
  147. data/spec/unit/veritas/attribute/comparable/comparable_spec.rb +10 -9
  148. data/spec/unit/veritas/attribute/date/class_methods/primitive_spec.rb +5 -1
  149. data/spec/unit/veritas/attribute/date/range_spec.rb +3 -2
  150. data/spec/unit/veritas/attribute/date_time/class_methods/primitive_spec.rb +5 -1
  151. data/spec/unit/veritas/attribute/date_time/range_spec.rb +3 -2
  152. data/spec/unit/veritas/attribute/decimal/class_methods/primitive_spec.rb +5 -1
  153. data/spec/unit/veritas/attribute/eql_spec.rb +17 -15
  154. data/spec/unit/veritas/attribute/equal_value_spec.rb +19 -17
  155. data/spec/unit/veritas/attribute/float/class_methods/primitive_spec.rb +5 -1
  156. data/spec/unit/veritas/attribute/hash_spec.rb +7 -8
  157. data/spec/unit/veritas/attribute/inspect_spec.rb +3 -2
  158. data/spec/unit/veritas/attribute/integer/class_methods/primitive_spec.rb +5 -1
  159. data/spec/unit/veritas/attribute/joinable_spec.rb +9 -8
  160. data/spec/unit/veritas/attribute/name_spec.rb +4 -3
  161. data/spec/unit/veritas/attribute/numeric/class_methods/primitive_spec.rb +5 -1
  162. data/spec/unit/veritas/attribute/numeric/joinable_spec.rb +9 -7
  163. data/spec/unit/veritas/attribute/numeric/size_spec.rb +5 -3
  164. data/spec/unit/veritas/attribute/numeric/valid_value_spec.rb +3 -2
  165. data/spec/unit/veritas/attribute/object/class_methods/primitive_spec.rb +5 -1
  166. data/spec/unit/veritas/attribute/options_spec.rb +13 -8
  167. data/spec/unit/veritas/attribute/orderable/asc_spec.rb +3 -2
  168. data/spec/unit/veritas/attribute/orderable/desc_spec.rb +3 -2
  169. data/spec/unit/veritas/attribute/rename_spec.rb +8 -7
  170. data/spec/unit/veritas/attribute/required_spec.rb +6 -4
  171. data/spec/unit/veritas/attribute/string/class_methods/primitive_spec.rb +5 -1
  172. data/spec/unit/veritas/attribute/string/joinable_spec.rb +9 -8
  173. data/spec/unit/veritas/attribute/string/length_spec.rb +7 -4
  174. data/spec/unit/veritas/attribute/string/valid_value_spec.rb +3 -2
  175. data/spec/unit/veritas/attribute/time/class_methods/primitive_spec.rb +5 -1
  176. data/spec/unit/veritas/attribute/time/range_spec.rb +3 -2
  177. data/spec/unit/veritas/attribute/valid_primitive_spec.rb +3 -2
  178. data/spec/unit/veritas/attribute/valid_value_spec.rb +9 -7
  179. data/spec/unit/veritas/evaluator/expression/add_spec.rb +8 -8
  180. data/spec/unit/veritas/evaluator/expression/expressions_spec.rb +1 -1
  181. data/spec/unit/veritas/immutable/class_methods/freeze_object_spec.rb +5 -1
  182. data/spec/unit/veritas/immutable/class_methods/new_spec.rb +3 -3
  183. data/spec/unit/veritas/immutable/dup_spec.rb +4 -4
  184. data/spec/unit/veritas/immutable/memoize_methods/freeze_spec.rb +12 -10
  185. data/spec/unit/veritas/immutable/memoize_methods/memoize_spec.rb +6 -6
  186. data/spec/unit/veritas/immutable/memory/element_reference_spec.rb +4 -3
  187. data/spec/unit/veritas/immutable/memory/element_set_spec.rb +5 -4
  188. data/spec/unit/veritas/immutable/module_methods/included_spec.rb +1 -1
  189. data/spec/unit/veritas/immutable/module_methods/memoize_spec.rb +10 -15
  190. data/spec/unit/veritas/logic/connective/binary/rename_spec.rb +15 -3
  191. data/spec/unit/veritas/logic/connective/conjunction/class_methods/call_spec.rb +3 -1
  192. data/spec/unit/veritas/logic/connective/conjunction/inspect_spec.rb +6 -5
  193. data/spec/unit/veritas/logic/connective/conjunction/methods/and_spec.rb +6 -5
  194. data/spec/unit/veritas/logic/connective/disjunction/class_methods/call_spec.rb +3 -1
  195. data/spec/unit/veritas/logic/connective/disjunction/inspect_spec.rb +6 -5
  196. data/spec/unit/veritas/logic/connective/disjunction/methods/or_spec.rb +6 -5
  197. data/spec/unit/veritas/logic/connective/inverse_spec.rb +2 -2
  198. data/spec/unit/veritas/logic/connective/negation/inverse_spec.rb +2 -2
  199. data/spec/unit/veritas/logic/connective/negation/methods/not_spec.rb +1 -0
  200. data/spec/unit/veritas/logic/connective/unary/rename_spec.rb +3 -1
  201. data/spec/unit/veritas/logic/expression/class_methods/call_spec.rb +3 -9
  202. data/spec/unit/veritas/logic/expression/eql_spec.rb +4 -3
  203. data/spec/unit/veritas/logic/expression/equal_value_spec.rb +19 -24
  204. data/spec/unit/veritas/logic/expression/hash_spec.rb +4 -3
  205. data/spec/unit/veritas/logic/expression/inspect_spec.rb +4 -3
  206. data/spec/unit/veritas/logic/expression/inverse_spec.rb +4 -3
  207. data/spec/unit/veritas/logic/expression/rename_spec.rb +6 -4
  208. data/spec/unit/veritas/logic/predicate/call_spec.rb +6 -5
  209. data/spec/unit/veritas/logic/predicate/class_methods/call_spec.rb +6 -2
  210. data/spec/unit/veritas/logic/predicate/class_methods/extract_value_spec.rb +2 -1
  211. data/spec/unit/veritas/logic/predicate/comparable/class_methods/call_spec.rb +5 -1
  212. data/spec/unit/veritas/logic/predicate/comparable/inspect_spec.rb +5 -3
  213. data/spec/unit/veritas/logic/predicate/enumerable/class_methods/compare_method_spec.rb +19 -0
  214. data/spec/unit/veritas/logic/predicate/eql_spec.rb +31 -16
  215. data/spec/unit/veritas/logic/predicate/equality/class_methods/call_spec.rb +3 -1
  216. data/spec/unit/veritas/logic/predicate/equality/class_methods/inverse_spec.rb +3 -1
  217. data/spec/unit/veritas/logic/predicate/equality/class_methods/operation_spec.rb +3 -1
  218. data/spec/unit/veritas/logic/predicate/equality/class_methods/reverse_spec.rb +4 -2
  219. data/spec/unit/veritas/logic/predicate/equality/inspect_spec.rb +3 -2
  220. data/spec/unit/veritas/logic/predicate/equality/inverse_spec.rb +11 -6
  221. data/spec/unit/veritas/logic/predicate/equality/methods/eq_spec.rb +4 -2
  222. data/spec/unit/veritas/logic/predicate/exclusion/class_methods/call_spec.rb +3 -1
  223. data/spec/unit/veritas/logic/predicate/exclusion/class_methods/inverse_spec.rb +3 -1
  224. data/spec/unit/veritas/logic/predicate/exclusion/inspect_spec.rb +2 -2
  225. data/spec/unit/veritas/logic/predicate/exclusion/inverse_spec.rb +13 -7
  226. data/spec/unit/veritas/logic/predicate/exclusion/methods/exclude_spec.rb +4 -3
  227. data/spec/unit/veritas/logic/predicate/fixtures/classes.rb +0 -4
  228. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/call_spec.rb +3 -1
  229. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/inverse_spec.rb +3 -1
  230. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/operation_spec.rb +3 -1
  231. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/reverse_spec.rb +3 -1
  232. data/spec/unit/veritas/logic/predicate/greater_than/inspect_spec.rb +4 -3
  233. data/spec/unit/veritas/logic/predicate/greater_than/inverse_spec.rb +12 -7
  234. data/spec/unit/veritas/logic/predicate/greater_than/methods/gt_spec.rb +4 -2
  235. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/call_spec.rb +3 -1
  236. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/inverse_spec.rb +3 -1
  237. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/operation_spec.rb +3 -1
  238. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/reverse_spec.rb +3 -1
  239. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/inspect_spec.rb +4 -3
  240. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/inverse_spec.rb +12 -7
  241. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/methods/gte_spec.rb +4 -2
  242. data/spec/unit/veritas/logic/predicate/hash_spec.rb +7 -7
  243. data/spec/unit/veritas/logic/predicate/inclusion/class_methods/call_spec.rb +3 -1
  244. data/spec/unit/veritas/logic/predicate/inclusion/class_methods/inverse_spec.rb +3 -1
  245. data/spec/unit/veritas/logic/predicate/inclusion/inspect_spec.rb +2 -2
  246. data/spec/unit/veritas/logic/predicate/inclusion/inverse_spec.rb +13 -7
  247. data/spec/unit/veritas/logic/predicate/inclusion/methods/include_spec.rb +4 -3
  248. data/spec/unit/veritas/logic/predicate/inequality/class_methods/call_spec.rb +3 -1
  249. data/spec/unit/veritas/logic/predicate/inequality/class_methods/inverse_spec.rb +3 -1
  250. data/spec/unit/veritas/logic/predicate/inequality/class_methods/operation_spec.rb +3 -1
  251. data/spec/unit/veritas/logic/predicate/inequality/class_methods/reverse_spec.rb +3 -1
  252. data/spec/unit/veritas/logic/predicate/inequality/inspect_spec.rb +4 -3
  253. data/spec/unit/veritas/logic/predicate/inequality/inverse_spec.rb +12 -7
  254. data/spec/unit/veritas/logic/predicate/inequality/methods/ne_spec.rb +4 -2
  255. data/spec/unit/veritas/logic/predicate/inspect_spec.rb +5 -4
  256. data/spec/unit/veritas/logic/predicate/inverse_spec.rb +6 -6
  257. data/spec/unit/veritas/logic/predicate/less_than/class_methods/call_spec.rb +3 -1
  258. data/spec/unit/veritas/logic/predicate/less_than/class_methods/inverse_spec.rb +3 -1
  259. data/spec/unit/veritas/logic/predicate/less_than/class_methods/operation_spec.rb +3 -1
  260. data/spec/unit/veritas/logic/predicate/less_than/class_methods/reverse_spec.rb +3 -1
  261. data/spec/unit/veritas/logic/predicate/less_than/inspect_spec.rb +3 -2
  262. data/spec/unit/veritas/logic/predicate/less_than/inverse_spec.rb +11 -6
  263. data/spec/unit/veritas/logic/predicate/less_than/methods/lt_spec.rb +4 -2
  264. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/call_spec.rb +3 -1
  265. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/inverse_spec.rb +3 -1
  266. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/operation_spec.rb +3 -1
  267. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/reverse_spec.rb +3 -1
  268. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/inspect_spec.rb +4 -3
  269. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/inverse_spec.rb +12 -7
  270. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/methods/lte_spec.rb +4 -2
  271. data/spec/unit/veritas/logic/predicate/match/class_methods/call_spec.rb +3 -1
  272. data/spec/unit/veritas/logic/predicate/match/class_methods/inverse_spec.rb +3 -1
  273. data/spec/unit/veritas/logic/predicate/match/class_methods/operation_spec.rb +3 -1
  274. data/spec/unit/veritas/logic/predicate/match/inspect_spec.rb +4 -3
  275. data/spec/unit/veritas/logic/predicate/match/inverse_spec.rb +12 -6
  276. data/spec/unit/veritas/logic/predicate/match/methods/match_spec.rb +4 -2
  277. data/spec/unit/veritas/logic/predicate/no_match/class_methods/call_spec.rb +3 -1
  278. data/spec/unit/veritas/logic/predicate/no_match/class_methods/inverse_spec.rb +3 -1
  279. data/spec/unit/veritas/logic/predicate/no_match/class_methods/operation_spec.rb +3 -1
  280. data/spec/unit/veritas/logic/predicate/no_match/inspect_spec.rb +4 -3
  281. data/spec/unit/veritas/logic/predicate/no_match/inverse_spec.rb +13 -7
  282. data/spec/unit/veritas/logic/predicate/no_match/methods/no_match_spec.rb +4 -2
  283. data/spec/unit/veritas/logic/predicate/rename_spec.rb +13 -10
  284. data/spec/unit/veritas/logic/proposition/call_spec.rb +4 -4
  285. data/spec/unit/veritas/logic/proposition/class_methods/call_spec.rb +4 -2
  286. data/spec/unit/veritas/logic/proposition/class_methods/new_spec.rb +13 -9
  287. data/spec/unit/veritas/logic/proposition/eql_spec.rb +6 -6
  288. data/spec/unit/veritas/logic/proposition/false/and_spec.rb +5 -4
  289. data/spec/unit/veritas/logic/proposition/false/class_methods/call_spec.rb +3 -1
  290. data/spec/unit/veritas/logic/proposition/false/class_methods/inverse_spec.rb +3 -1
  291. data/spec/unit/veritas/logic/proposition/false/inspect_spec.rb +3 -2
  292. data/spec/unit/veritas/logic/proposition/false/inverse_spec.rb +6 -5
  293. data/spec/unit/veritas/logic/proposition/false/or_spec.rb +4 -3
  294. data/spec/unit/veritas/logic/proposition/hash_spec.rb +5 -12
  295. data/spec/unit/veritas/logic/proposition/inspect_spec.rb +8 -4
  296. data/spec/unit/veritas/logic/proposition/inverse_spec.rb +3 -4
  297. data/spec/unit/veritas/logic/proposition/true/and_spec.rb +4 -3
  298. data/spec/unit/veritas/logic/proposition/true/class_methods/call_spec.rb +3 -1
  299. data/spec/unit/veritas/logic/proposition/true/class_methods/inverse_spec.rb +3 -1
  300. data/spec/unit/veritas/logic/proposition/true/inspect_spec.rb +3 -2
  301. data/spec/unit/veritas/logic/proposition/true/inverse_spec.rb +6 -5
  302. data/spec/unit/veritas/logic/proposition/true/or_spec.rb +5 -4
  303. data/spec/unit/veritas/operation/binary/eql_spec.rb +29 -17
  304. data/spec/unit/veritas/operation/binary/hash_spec.rb +7 -9
  305. data/spec/unit/veritas/operation/binary/left_spec.rb +19 -6
  306. data/spec/unit/veritas/operation/binary/right_spec.rb +19 -6
  307. data/spec/unit/veritas/operation/unary/eql_spec.rb +17 -18
  308. data/spec/unit/veritas/operation/unary/hash_spec.rb +6 -8
  309. data/spec/unit/veritas/operation/unary/operand_spec.rb +18 -5
  310. data/spec/unit/veritas/optimizable/class_methods/optimizer_spec.rb +2 -4
  311. data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimizable_spec.rb +1 -1
  312. data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb +4 -2
  313. data/spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb +1 -1
  314. data/spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimize_spec.rb +3 -1
  315. data/spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimize_spec.rb +5 -1
  316. data/spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb +5 -1
  317. data/spec/unit/veritas/optimizer/algebra/rename/aliases_spec.rb +12 -7
  318. data/spec/unit/veritas/optimizer/algebra/rename/class_methods/union_aliases_spec.rb +3 -1
  319. data/spec/unit/veritas/optimizer/algebra/rename/header_spec.rb +3 -1
  320. data/spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimize_spec.rb +5 -1
  321. data/spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimize_spec.rb +5 -1
  322. data/spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimize_spec.rb +5 -1
  323. data/spec/unit/veritas/optimizer/algebra/rename/{rename_operand_and_any_aliases → rename_operand}/optimizable_spec.rb +3 -10
  324. data/spec/unit/veritas/optimizer/algebra/rename/{rename_operand_and_any_aliases → rename_operand}/optimize_spec.rb +7 -3
  325. data/spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimize_spec.rb +5 -1
  326. data/spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimizable_spec.rb +27 -0
  327. data/spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimize_spec.rb +17 -0
  328. data/spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb +3 -1
  329. data/spec/unit/veritas/optimizer/algebra/restriction/class_methods/optimize_predicate_spec.rb +5 -1
  330. data/spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimizable_spec.rb +2 -2
  331. data/spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimize_spec.rb +1 -1
  332. data/spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimizable_spec.rb +2 -2
  333. data/spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimize_spec.rb +1 -1
  334. data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimizable_spec.rb +3 -3
  335. data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb +4 -2
  336. data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimizable_spec.rb +1 -1
  337. data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb +6 -2
  338. data/spec/unit/veritas/optimizer/class_methods/chain_spec.rb +6 -7
  339. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimize_spec.rb +5 -1
  340. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimize_spec.rb +5 -1
  341. data/spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimize_spec.rb +5 -1
  342. data/spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb +11 -4
  343. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimizable_spec.rb +2 -2
  344. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimize_spec.rb +1 -1
  345. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimizable_spec.rb +2 -2
  346. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimize_spec.rb +1 -1
  347. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimizable_spec.rb +2 -2
  348. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimize_spec.rb +1 -1
  349. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimizable_spec.rb +2 -2
  350. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimize_spec.rb +1 -1
  351. data/spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb +11 -4
  352. data/spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimize_spec.rb +5 -1
  353. data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_comparable/optimizable_spec.rb +1 -1
  354. data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_equivalent/optimizable_spec.rb +1 -1
  355. data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimizable_spec.rb +1 -1
  356. data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimize_spec.rb +6 -2
  357. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/empty_right_operand/optimizable_spec.rb +1 -1
  358. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/one_right_operand/optimizable_spec.rb +1 -1
  359. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimizable_spec.rb +1 -1
  360. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimize_spec.rb +21 -5
  361. data/spec/unit/veritas/optimizer/logic/predicate/equality/always_true/optimizable_spec.rb +1 -1
  362. data/spec/unit/veritas/optimizer/logic/predicate/exclusion/empty_right_operand/optimize_spec.rb +1 -1
  363. data/spec/unit/veritas/optimizer/logic/predicate/exclusion/one_right_operand/optimize_spec.rb +26 -6
  364. data/spec/unit/veritas/optimizer/logic/predicate/greater_than/always_false/optimizable_spec.rb +1 -1
  365. data/spec/unit/veritas/optimizer/logic/predicate/greater_than/always_true/optimizable_spec.rb +1 -1
  366. data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_false/optimizable_spec.rb +1 -1
  367. data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_true/optimizable_spec.rb +1 -1
  368. data/spec/unit/veritas/optimizer/logic/predicate/inclusion/empty_right_operand/optimize_spec.rb +1 -1
  369. data/spec/unit/veritas/optimizer/logic/predicate/inclusion/one_right_operand/optimize_spec.rb +27 -6
  370. data/spec/unit/veritas/optimizer/logic/predicate/inequality/always_false/optimizable_spec.rb +1 -1
  371. data/spec/unit/veritas/optimizer/logic/predicate/left_spec.rb +19 -6
  372. data/spec/unit/veritas/optimizer/logic/predicate/less_than/always_false/optimizable_spec.rb +1 -1
  373. data/spec/unit/veritas/optimizer/logic/predicate/less_than/always_true/optimizable_spec.rb +1 -1
  374. data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_false/optimizable_spec.rb +1 -1
  375. data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_true/optimizable_spec.rb +1 -1
  376. data/spec/unit/veritas/optimizer/logic/predicate/right_spec.rb +19 -6
  377. data/spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimize_spec.rb +7 -3
  378. data/spec/unit/veritas/optimizer/relation/operation/combination/optimize_spec.rb +15 -0
  379. data/spec/unit/veritas/optimizer/relation/operation/limit/{inequal_limit_operand → limit_operand}/optimizable_spec.rb +6 -12
  380. data/spec/unit/veritas/optimizer/relation/operation/limit/{inequal_limit_operand → limit_operand}/optimize_spec.rb +15 -7
  381. data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimizable_spec.rb +1 -1
  382. data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb +4 -2
  383. data/spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb +3 -1
  384. data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimizable_spec.rb +1 -1
  385. data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb +4 -2
  386. data/spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimize_spec.rb +3 -1
  387. data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimizable_spec.rb +1 -1
  388. data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb +4 -2
  389. data/spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb +5 -1
  390. data/spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb +6 -3
  391. data/spec/unit/veritas/relation/class_methods/new_spec.rb +10 -14
  392. data/spec/unit/veritas/relation/directions_spec.rb +10 -4
  393. data/spec/unit/veritas/relation/each_spec.rb +29 -14
  394. data/spec/unit/veritas/relation/element_reference_spec.rb +9 -5
  395. data/spec/unit/veritas/relation/empty/each_spec.rb +6 -5
  396. data/spec/unit/veritas/relation/empty/empty_spec.rb +3 -2
  397. data/spec/unit/veritas/relation/empty/header_spec.rb +6 -4
  398. data/spec/unit/veritas/relation/empty_spec.rb +8 -3
  399. data/spec/unit/veritas/relation/eql_spec.rb +50 -16
  400. data/spec/unit/veritas/relation/equal_value_spec.rb +48 -39
  401. data/spec/unit/veritas/relation/hash_spec.rb +10 -5
  402. data/spec/unit/veritas/relation/header/class_methods/coerce_spec.rb +13 -9
  403. data/spec/unit/veritas/relation/header/difference_spec.rb +7 -6
  404. data/spec/unit/veritas/relation/header/each_spec.rb +18 -13
  405. data/spec/unit/veritas/relation/header/element_reference_spec.rb +3 -2
  406. data/spec/unit/veritas/relation/header/empty_spec.rb +5 -3
  407. data/spec/unit/veritas/relation/header/eql_spec.rb +23 -49
  408. data/spec/unit/veritas/relation/header/equal_value_spec.rb +33 -31
  409. data/spec/unit/veritas/relation/header/hash_spec.rb +6 -6
  410. data/spec/unit/veritas/relation/header/index_spec.rb +8 -7
  411. data/spec/unit/veritas/relation/header/inspect_spec.rb +4 -3
  412. data/spec/unit/veritas/relation/header/intersect_spec.rb +5 -4
  413. data/spec/unit/veritas/relation/header/project_spec.rb +5 -3
  414. data/spec/unit/veritas/relation/header/rename_spec.rb +7 -6
  415. data/spec/unit/veritas/relation/header/to_ary_spec.rb +5 -4
  416. data/spec/unit/veritas/relation/header/union_spec.rb +7 -6
  417. data/spec/unit/veritas/relation/header_spec.rb +9 -6
  418. data/spec/unit/veritas/relation/materialize_spec.rb +7 -2
  419. data/spec/unit/veritas/relation/materialized/class_methods/new_spec.rb +6 -7
  420. data/spec/unit/veritas/relation/materialized/empty_spec.rb +4 -3
  421. data/spec/unit/veritas/relation/materialized/materialize_spec.rb +2 -1
  422. data/spec/unit/veritas/relation/materialized/size_spec.rb +5 -4
  423. data/spec/unit/veritas/relation/operation/binary/class_methods/new_spec.rb +4 -3
  424. data/spec/unit/veritas/relation/operation/binary/directions_spec.rb +8 -7
  425. data/spec/unit/veritas/relation/operation/binary/header_spec.rb +7 -6
  426. data/spec/unit/veritas/relation/operation/{combine → combination}/class_methods/combine_tuples_spec.rb +7 -5
  427. data/spec/unit/veritas/relation/operation/{combine → combination}/fixtures/classes.rb +3 -3
  428. data/spec/unit/veritas/relation/operation/combination/header_spec.rb +19 -0
  429. data/spec/unit/veritas/relation/operation/limit/class_methods/new_spec.rb +10 -2
  430. data/spec/unit/veritas/relation/operation/limit/each_spec.rb +10 -8
  431. data/spec/unit/veritas/relation/operation/limit/eql_spec.rb +31 -17
  432. data/spec/unit/veritas/relation/operation/limit/hash_spec.rb +15 -0
  433. data/spec/unit/veritas/relation/operation/limit/limit_spec.rb +13 -0
  434. data/spec/unit/veritas/relation/operation/limit/methods/first_spec.rb +14 -9
  435. data/spec/unit/veritas/relation/operation/limit/methods/last_spec.rb +12 -11
  436. data/spec/unit/veritas/relation/operation/limit/methods/take_spec.rb +8 -4
  437. data/spec/unit/veritas/relation/operation/offset/class_methods/new_spec.rb +10 -2
  438. data/spec/unit/veritas/relation/operation/offset/each_spec.rb +10 -8
  439. data/spec/unit/veritas/relation/operation/offset/eql_spec.rb +30 -17
  440. data/spec/unit/veritas/relation/operation/offset/hash_spec.rb +15 -0
  441. data/spec/unit/veritas/relation/operation/offset/methods/drop_spec.rb +8 -4
  442. data/spec/unit/veritas/relation/operation/offset/offset_spec.rb +13 -0
  443. data/spec/unit/veritas/relation/operation/order/ascending/class_methods/call_spec.rb +3 -1
  444. data/spec/unit/veritas/relation/operation/order/ascending/class_methods/reverse_spec.rb +3 -1
  445. data/spec/unit/veritas/relation/operation/order/ascending/reverse_spec.rb +4 -3
  446. data/spec/unit/veritas/relation/operation/order/class_methods/new_spec.rb +20 -5
  447. data/spec/unit/veritas/relation/operation/order/descending/class_methods/call_spec.rb +3 -1
  448. data/spec/unit/veritas/relation/operation/order/descending/class_methods/reverse_spec.rb +3 -1
  449. data/spec/unit/veritas/relation/operation/order/descending/reverse_spec.rb +4 -3
  450. data/spec/unit/veritas/relation/operation/order/direction/attribute_spec.rb +3 -3
  451. data/spec/unit/veritas/relation/operation/order/direction/call_spec.rb +6 -11
  452. data/spec/unit/veritas/relation/operation/order/direction/class_methods/coerce_spec.rb +10 -8
  453. data/spec/unit/veritas/relation/operation/order/direction/eql_spec.rb +16 -16
  454. data/spec/unit/veritas/relation/operation/order/direction/hash_spec.rb +5 -7
  455. data/spec/unit/veritas/relation/operation/order/direction/rename_spec.rb +4 -6
  456. data/spec/unit/veritas/relation/operation/order/direction/reverse_spec.rb +7 -7
  457. data/spec/unit/veritas/relation/operation/order/direction_set/attributes_spec.rb +4 -3
  458. data/spec/unit/veritas/relation/operation/order/direction_set/class_methods/coerce_spec.rb +14 -11
  459. data/spec/unit/veritas/relation/operation/order/direction_set/each_spec.rb +18 -14
  460. data/spec/unit/veritas/relation/operation/order/direction_set/empty_spec.rb +6 -4
  461. data/spec/unit/veritas/relation/operation/order/direction_set/eql_spec.rb +17 -16
  462. data/spec/unit/veritas/relation/operation/order/direction_set/equal_value_spec.rb +37 -16
  463. data/spec/unit/veritas/relation/operation/order/direction_set/hash_spec.rb +7 -7
  464. data/spec/unit/veritas/relation/operation/order/direction_set/project_spec.rb +6 -4
  465. data/spec/unit/veritas/relation/operation/order/direction_set/rename_spec.rb +8 -7
  466. data/spec/unit/veritas/relation/operation/order/direction_set/reverse_spec.rb +6 -5
  467. data/spec/unit/veritas/relation/operation/order/direction_set/sort_tuples_spec.rb +10 -29
  468. data/spec/unit/veritas/relation/operation/order/direction_set/to_ary_spec.rb +5 -4
  469. data/spec/unit/veritas/relation/operation/order/direction_set/union_spec.rb +7 -6
  470. data/spec/unit/veritas/relation/operation/order/directions_spec.rb +6 -7
  471. data/spec/unit/veritas/relation/operation/order/each_spec.rb +7 -4
  472. data/spec/unit/veritas/relation/operation/order/eql_spec.rb +30 -16
  473. data/spec/unit/veritas/relation/operation/order/hash_spec.rb +14 -0
  474. data/spec/unit/veritas/relation/operation/order/header_spec.rb +7 -8
  475. data/spec/unit/veritas/relation/operation/order/methods/order_spec.rb +14 -12
  476. data/spec/unit/veritas/relation/operation/reverse/class_methods/new_spec.rb +13 -2
  477. data/spec/unit/veritas/relation/operation/reverse/each_spec.rb +10 -8
  478. data/spec/unit/veritas/relation/operation/reverse/methods/reverse_spec.rb +4 -3
  479. data/spec/unit/veritas/relation/operation/set/class_methods/new_spec.rb +9 -8
  480. data/spec/unit/veritas/relation/operation/set/header_spec.rb +2 -2
  481. data/spec/unit/veritas/relation/operation/unary/directions_spec.rb +8 -7
  482. data/spec/unit/veritas/relation/operation/unary/header_spec.rb +7 -7
  483. data/spec/unit/veritas/tuple/class_methods/coerce_spec.rb +17 -7
  484. data/spec/unit/veritas/tuple/element_reference_spec.rb +3 -2
  485. data/spec/unit/veritas/tuple/eql_spec.rb +23 -47
  486. data/spec/unit/veritas/tuple/equal_value_spec.rb +28 -25
  487. data/spec/unit/veritas/tuple/extend_spec.rb +3 -2
  488. data/spec/unit/veritas/tuple/hash_spec.rb +6 -6
  489. data/spec/unit/veritas/tuple/header_spec.rb +5 -4
  490. data/spec/unit/veritas/tuple/inspect_spec.rb +3 -2
  491. data/spec/unit/veritas/tuple/join_spec.rb +3 -2
  492. data/spec/unit/veritas/tuple/project_spec.rb +4 -3
  493. data/spec/unit/veritas/tuple/to_ary_spec.rb +4 -3
  494. data/spec/unit/veritas/visitable/accept_spec.rb +16 -0
  495. data/tasks/quality/heckle.rake +8 -8
  496. data/tasks/spec.rake +0 -3
  497. data/veritas.gemspec +1339 -1311
  498. metadata +95 -57
  499. data/.gitignore +0 -34
  500. data/Gemfile.lock +0 -122
  501. data/spec/unit/veritas/abstract_class/fixtures/classes.rb +0 -7
  502. data/spec/unit/veritas/logic/proposition/fixtures/classes.rb +0 -8
  503. data/spec/unit/veritas/optimizer/relation/operation/combine/optimize_spec.rb +0 -15
  504. data/spec/unit/veritas/relation/operation/combine/header_spec.rb +0 -18
  505. data/spec/unit/veritas/relation/operation/limit/to_i_spec.rb +0 -12
  506. data/spec/unit/veritas/relation/operation/offset/to_i_spec.rb +0 -12
@@ -1,30 +1,35 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Algebra::Union#each' do
4
- subject { union.each { |tuple| yields << tuple } }
4
+ subject { object.each { |tuple| yields << tuple } }
5
5
 
6
+ let(:klass) { Algebra::Union }
6
7
  let(:header) { [ [ :id, Integer ] ] }
7
8
  let(:left) { Relation.new(header, [ [ 1 ] ]) }
9
+ let(:object) { klass.new(left, right) }
8
10
  let(:yields) { [] }
9
11
 
10
12
  context 'with relations having similar bodies' do
11
- let(:union) { Algebra::Union.new(left, left.dup) }
13
+ let(:right) { left.dup }
12
14
 
13
- it { should equal(union) }
15
+ it_should_behave_like 'a command method'
14
16
 
15
- it 'yields the union' do
16
- expect { subject }.to change { yields.dup }.from([]).to([ [ 1 ] ])
17
+ it 'yields each tuple' do
18
+ expect { subject }.to change { yields.dup }.
19
+ from([]).
20
+ to([ [ 1 ] ])
17
21
  end
18
22
  end
19
23
 
20
24
  context 'with relations having different bodies' do
21
25
  let(:right) { Relation.new(header, [ [ 2 ] ]) }
22
- let(:union) { Algebra::Union.new(left, right) }
23
26
 
24
- it { should equal(union) }
27
+ it_should_behave_like 'a command method'
25
28
 
26
- it 'yields the union' do
27
- expect { subject }.to change { yields.dup }.from([]).to([ [ 1 ], [ 2 ] ])
29
+ it 'yields each tuple' do
30
+ expect { subject }.to change { yields.dup }.
31
+ from([]).
32
+ to([ [ 1 ], [ 2 ] ])
28
33
  end
29
34
  end
30
35
  end
@@ -2,16 +2,17 @@ require 'spec_helper'
2
2
 
3
3
  [ :union, :| ].each do |method|
4
4
  describe "Veritas::Algebra::Union::Methods##{method}" do
5
- subject { relation.send(method, other) }
5
+ subject { object.send(method, other) }
6
6
 
7
- let(:header) { [ [ :id, Integer ] ] }
8
- let(:relation) { Relation.new(header, [ [ 1 ] ]) }
9
- let(:other) { Relation.new(header, [ [ 2 ] ]) }
7
+ let(:klass) { Relation }
8
+ let(:header) { [ [ :id, Integer ] ] }
9
+ let(:other) { klass.new(header, [ [ 2 ] ].each) }
10
+ let(:object) { klass.new(header, [ [ 1 ] ].each) }
10
11
 
11
12
  it { should be_kind_of(Algebra::Union) }
12
13
 
13
14
  it 'behaves the same as Array#|' do
14
- should == (relation.to_a | other.to_a)
15
+ should == (object.to_a | other.to_a)
15
16
  end
16
17
  end
17
18
  end
@@ -2,18 +2,18 @@ require 'spec_helper'
2
2
  require File.expand_path('../fixtures/classes', __FILE__)
3
3
 
4
4
  describe 'Veritas::Aliasable#inheritable_alias' do
5
- subject { klass.inheritable_alias(aliases) }
5
+ subject { object.inheritable_alias(aliases) }
6
6
 
7
- let(:klass) { Class.new(AliasableSpecs::Object) }
8
- let(:aliasable) { klass.new }
9
7
  let(:aliases) { { :other => :test } }
8
+ let(:object) { Class.new(AliasableSpecs::Object) }
9
+ let(:aliasable) { object.new }
10
10
 
11
- it 'returns the class' do
12
- should equal(klass)
13
- end
11
+ it_should_behave_like 'a command method'
14
12
 
15
13
  it 'creates a method #other' do
16
- expect { subject }.to change { aliasable.respond_to?(:other) }.from(false).to(true)
14
+ expect { subject }.to change { aliasable.respond_to?(:other) }.
15
+ from(false).
16
+ to(true)
17
17
  end
18
18
 
19
19
  it 'aliases #other to #test' do
@@ -24,7 +24,7 @@ describe 'Veritas::Aliasable#inheritable_alias' do
24
24
  end
25
25
 
26
26
  specification = proc do
27
- klass.class_eval do
27
+ object.class_eval do
28
28
  def test
29
29
  caller
30
30
  end
@@ -1,7 +1,11 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::Boolean.primitive' do
4
- subject { Attribute::Boolean.primitive }
4
+ subject { object.primitive }
5
+
6
+ let(:object) { Attribute::Boolean }
7
+
8
+ it_should_behave_like 'an idempotent method'
5
9
 
6
10
  it { should equal(TrueClass) }
7
11
  end
@@ -1,9 +1,10 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::Boolean#valid_value?' do
4
- subject { attribute.valid_value?(value) }
4
+ subject { object.valid_value?(value) }
5
5
 
6
- let(:attribute) { Veritas::Attribute::Boolean.new(:boolean) }
6
+ let(:klass) { Attribute::Boolean }
7
+ let(:object) { klass.new(:boolean) }
7
8
 
8
9
  context 'with a true value' do
9
10
  let(:value) { true }
@@ -1,11 +1,12 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute#call' do
4
- subject { attribute.call(tuple) }
4
+ subject { object.call(tuple) }
5
5
 
6
- let(:attribute) { Attribute::Integer.new(:id) }
7
- let(:header) { Relation::Header.new([ attribute ]) }
8
- let(:tuple) { Tuple.new(header, [ 1 ]) }
6
+ let(:klass) { Attribute::Integer }
7
+ let(:object) { klass.new(:id) }
8
+ let(:header) { Relation::Header.new([ object ]) }
9
+ let(:tuple) { Tuple.new(header, [ 1 ]) }
9
10
 
10
11
  it { should == 1 }
11
12
  end
@@ -1,7 +1,11 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::Class.primitive' do
4
- subject { Attribute::Class.primitive }
4
+ subject { object.primitive }
5
+
6
+ let(:object) { Attribute::Class }
7
+
8
+ it_should_behave_like 'an idempotent method'
5
9
 
6
10
  it { should equal(Class) }
7
11
  end
@@ -1,28 +1,34 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute.coerce' do
4
- subject { Attribute.coerce(object) }
4
+ subject { object.coerce(argument) }
5
5
 
6
- context 'when the object is an Attribute' do
7
- let(:object) { Attribute::Integer.new(:id) }
6
+ let(:object) { Attribute }
8
7
 
9
- it { should equal(object) }
8
+ context 'when the argument is an Attribute' do
9
+ let(:argument) { Attribute::Integer.new(:id) }
10
+
11
+ it { should equal(argument) }
10
12
  end
11
13
 
12
- context 'when the object responds to #to_ary' do
13
- let(:object) { [ :id, Integer ] }
14
+ context 'when the argument responds to #to_ary' do
15
+ let(:argument) { [ :id, Integer ] }
16
+
17
+ it { should be_kind_of(Attribute::Integer) }
14
18
 
15
- it { should eql(Attribute::Integer.new(:id)) }
19
+ its(:name) { should == :id }
16
20
  end
17
21
 
18
- context 'when the object does not respond to #to_ary, but does respond to #to_sym' do
19
- let(:object) { :id }
22
+ context 'when the argument does not respond to #to_ary, but does respond to #to_sym' do
23
+ let(:argument) { :id }
24
+
25
+ it { should be_kind_of(Attribute::Object) }
20
26
 
21
- it { should eql(Attribute::Object.new(:id)) }
27
+ its(:name) { should == :id }
22
28
  end
23
29
 
24
- context 'when the object does not respond to #to_ary or #to_sym' do
25
- let(:object) { Integer }
30
+ context 'when the argument does not respond to #to_ary or #to_sym' do
31
+ let(:argument) { Integer }
26
32
 
27
33
  specify { expect { subject }.to raise_error(NoMethodError) }
28
34
  end
@@ -1,28 +1,30 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute.name_from' do
4
- subject { Attribute.name_from(object) }
4
+ subject { object.name_from(argument) }
5
5
 
6
- context 'object is an Attribute' do
7
- let(:object) { Attribute::Integer.new(:id) }
6
+ let(:object) { Attribute }
7
+
8
+ context 'argument is an Attribute' do
9
+ let(:argument) { Attribute::Integer.new(:id) }
8
10
 
9
11
  it { should == :id }
10
12
  end
11
13
 
12
- context 'object that responds to #to_ary' do
13
- let(:object) { [ :id, Integer ] }
14
+ context 'argument that responds to #to_ary' do
15
+ let(:argument) { [ :id, Integer ] }
14
16
 
15
17
  it { should == :id }
16
18
  end
17
19
 
18
- context 'object that responds to #to_sym' do
19
- let(:object) { 'id' }
20
+ context 'argument that responds to #to_sym' do
21
+ let(:argument) { 'id' }
20
22
 
21
23
  it { should == :id }
22
24
  end
23
25
 
24
- context 'object that is not an Attribute, does not respond to #to_ary or #to_sym' do
25
- let(:object) { Object.new }
26
+ context 'argument that is not an Attribute, does not respond to #to_ary or #to_sym' do
27
+ let(:argument) { Object.new }
26
28
 
27
29
  specify { expect { subject }.to raise_error(NoMethodError) }
28
30
  end
@@ -1,13 +1,9 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute.new' do
4
- subject { klass.new(:id) }
4
+ subject { object.new(name) }
5
5
 
6
- context 'when called on the Attribute class' do
7
- let(:klass) { Attribute }
8
-
9
- specify { expect { subject }.to raise_error(NotImplementedError, 'Veritas::Attribute is an abstract class') }
10
- end
6
+ let(:name) { :id }
11
7
 
12
8
  [
13
9
  Attribute::Boolean,
@@ -23,11 +19,15 @@ describe 'Veritas::Attribute.new' do
23
19
  Attribute::Time,
24
20
  ].each do |klass|
25
21
  context "when called on the Attribute subclass #{klass}" do
26
- let(:klass) { klass }
27
-
28
- it { should be_kind_of(Attribute) }
22
+ let(:object) { klass }
29
23
 
30
- it { should be_kind_of(klass) }
24
+ it { should be_kind_of(object) }
31
25
  end
32
26
  end
27
+
28
+ context 'when called on the Attribute class' do
29
+ let(:object) { Attribute }
30
+
31
+ specify { expect { subject }.to raise_error(NotImplementedError, "#{object} is an abstract class") }
32
+ end
33
33
  end
@@ -1,17 +1,18 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::Comparable#comparable?' do
4
- subject { attribute.comparable?(other) }
4
+ subject { object.comparable?(other) }
5
5
 
6
- let(:attribute) { Attribute::Integer.new(:id) }
6
+ let(:klass) { Attribute::Integer }
7
+ let(:object) { klass.new(:id) }
7
8
 
8
9
  context 'when the other attribute is the same type' do
9
- let(:other) { attribute.dup }
10
+ let(:other) { object.dup }
10
11
 
11
12
  it { should be(true) }
12
13
 
13
14
  it 'is symmetric' do
14
- should == other.comparable?(attribute)
15
+ should == other.comparable?(object)
15
16
  end
16
17
  end
17
18
 
@@ -22,28 +23,28 @@ describe 'Veritas::Attribute::Comparable#comparable?' do
22
23
 
23
24
  it 'is not be symmetric' do
24
25
  expect {
25
- other.comparable?(attribute)
26
+ other.comparable?(object)
26
27
  }.to raise_error(NoMethodError)
27
28
  end
28
29
  end
29
30
 
30
31
  context 'when the other attribute is a descendant type' do
31
- let(:other) { Class.new(Attribute::Integer).new(:descendant) }
32
+ let(:other) { Class.new(klass).new(:descendant) }
32
33
 
33
34
  it { should be(true) }
34
35
 
35
36
  it 'is symmetric' do
36
- should == other.comparable?(attribute)
37
+ should == other.comparable?(object)
37
38
  end
38
39
  end
39
40
 
40
41
  context 'when the other attribute shares a common type' do
41
- let(:other) { Attribute::Numeric.new(:ancestor) }
42
+ let(:other) { klass.superclass.new(:ancestor) }
42
43
 
43
44
  it { should be(true) }
44
45
 
45
46
  it 'is symmetric' do
46
- should == other.comparable?(attribute)
47
+ should == other.comparable?(object)
47
48
  end
48
49
  end
49
50
  end
@@ -1,7 +1,11 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::Date.primitive' do
4
- subject { Attribute::Date.primitive }
4
+ subject { object.primitive }
5
+
6
+ let(:object) { Attribute::Date }
7
+
8
+ it_should_behave_like 'an idempotent method'
5
9
 
6
10
  it { should equal(Date) }
7
11
  end
@@ -1,9 +1,10 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::Date#range' do
4
- subject { attribute.range }
4
+ subject { object.range }
5
5
 
6
- let(:attribute) { Veritas::Attribute::Date.new(:date) }
6
+ let(:klass) { Attribute::Date }
7
+ let(:object) { klass.new(:date) }
7
8
 
8
9
  it { should == (Date.new..Date::Infinity.new) }
9
10
  end
@@ -1,7 +1,11 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::DateTime.primitive' do
4
- subject { Attribute::DateTime.primitive }
4
+ subject { object.primitive }
5
+
6
+ let(:object) { Attribute::DateTime }
7
+
8
+ it_should_behave_like 'an idempotent method'
5
9
 
6
10
  it { should equal(DateTime) }
7
11
  end
@@ -1,9 +1,10 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::DateTime#range' do
4
- subject { attribute.range }
4
+ subject { object.range }
5
5
 
6
- let(:attribute) { Veritas::Attribute::DateTime.new(:datetime) }
6
+ let(:klass) { Attribute::DateTime }
7
+ let(:object) { klass.new(:datetime) }
7
8
 
8
9
  it { should == (DateTime.new..DateTime::Infinity.new) }
9
10
  end
@@ -1,7 +1,11 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::Decimal.primitive' do
4
- subject { Attribute::Decimal.primitive }
4
+ subject { object.primitive }
5
+
6
+ let(:object) { Attribute::Decimal }
7
+
8
+ it_should_behave_like 'an idempotent method'
5
9
 
6
10
  it { should equal(BigDecimal) }
7
11
  end
@@ -1,48 +1,50 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute#eql?' do
4
- subject { attribute.eql?(other) }
4
+ subject { object.eql?(other) }
5
5
 
6
- let(:name) { :id }
7
- let(:attribute) { Attribute::Integer.new(name) }
6
+ let(:klass) { Attribute::Integer }
7
+ let(:name) { :id }
8
+ let(:object) { klass.new(name) }
8
9
 
9
- context 'with the same attribute' do
10
- let(:other) { attribute }
10
+ context 'with the same object' do
11
+ let(:other) { object }
11
12
 
12
13
  it { should be(true) }
13
14
 
14
15
  it 'is symmetric' do
15
- should == other.eql?(attribute)
16
+ should == other.eql?(object)
16
17
  end
17
18
  end
18
19
 
19
- context 'with an equivalent attribute' do
20
- let(:other) { attribute.dup }
20
+ context 'with an equivalent object' do
21
+ let(:other) { object.dup }
21
22
 
22
23
  it { should be(true) }
23
24
 
24
25
  it 'is symmetric' do
25
- should == other.eql?(attribute)
26
+ should == other.eql?(object)
26
27
  end
27
28
  end
28
29
 
29
- context 'with a different attribute' do
30
- let(:other) { Attribute::String.new(:name) }
30
+ context 'with an equivalent object of a subclass' do
31
+ let(:other) { Class.new(klass).new(name) }
31
32
 
32
33
  it { should be(false) }
33
34
 
34
35
  it 'is symmetric' do
35
- should == other.eql?(attribute)
36
+ should == other.eql?(object)
36
37
  end
37
38
  end
38
39
 
39
- context 'with an equivalent attribute of a different class' do
40
- let(:other) { Class.new(Attribute::Integer).new(name) }
40
+ context 'with an object having a different name' do
41
+ let(:other_name) { :other_id }
42
+ let(:other) { klass.new(other_name) }
41
43
 
42
44
  it { should be(false) }
43
45
 
44
46
  it 'is symmetric' do
45
- should == other.eql?(attribute)
47
+ should == other.eql?(object)
46
48
  end
47
49
  end
48
50
  end
@@ -1,48 +1,50 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute#==' do
4
- subject { attribute == other }
4
+ subject { object == other }
5
5
 
6
- let(:name) { :id }
7
- let(:attribute) { Attribute::Integer.new(name) }
6
+ let(:klass) { Attribute::Integer }
7
+ let(:name) { :id }
8
+ let(:object) { klass.new(name) }
8
9
 
9
- context 'with the same attribute' do
10
- let(:other) { attribute }
10
+ context 'with the same object' do
11
+ let(:other) { object }
11
12
 
12
13
  it { should be(true) }
13
14
 
14
15
  it 'is symmetric' do
15
- should == (other == attribute)
16
+ should == (other == object)
16
17
  end
17
18
  end
18
19
 
19
- context 'with an equivalent attribute' do
20
- let(:other) { attribute.dup }
20
+ context 'with an equivalent object' do
21
+ let(:other) { object.dup }
21
22
 
22
23
  it { should be(true) }
23
24
 
24
25
  it 'is symmetric' do
25
- should == (other == attribute)
26
+ should == (other == object)
26
27
  end
27
28
  end
28
29
 
29
- context 'with a different attribute' do
30
- let(:other) { Attribute::String.new(:name) }
30
+ context 'with an equivalent object of a subclass' do
31
+ let(:other) { Class.new(klass).new(name) }
31
32
 
32
- it { should be(false) }
33
+ it { should be(true) }
33
34
 
34
35
  it 'is symmetric' do
35
- should == (other == attribute)
36
+ should == (other == object)
36
37
  end
37
38
  end
38
39
 
39
- context 'with an equivalent attribute of a different class' do
40
- let(:other) { Class.new(Attribute::Integer).new(name) }
40
+ context 'with an object having a different name' do
41
+ let(:other_name) { :other_id }
42
+ let(:other) { klass.new(other_name) }
41
43
 
42
- it { should be(true) }
44
+ it { should be(false) }
43
45
 
44
46
  it 'is symmetric' do
45
- should == (other == attribute)
47
+ should == (other == object)
46
48
  end
47
49
  end
48
50
  end
@@ -1,7 +1,11 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::Float.primitive' do
4
- subject { Attribute::Float.primitive }
4
+ subject { object.primitive }
5
+
6
+ let(:object) { Attribute::Float }
7
+
8
+ it_should_behave_like 'an idempotent method'
5
9
 
6
10
  it { should equal(Float) }
7
11
  end
@@ -1,15 +1,14 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute#hash' do
4
- subject { attribute.hash }
4
+ subject { object.hash }
5
5
 
6
- let(:name) { :id }
7
- let(:options) { { :size => 1..10 } }
8
- let(:attribute) { Attribute::Integer.new(name, options) }
6
+ let(:klass) { Attribute::Integer }
7
+ let(:name) { :id }
8
+ let(:options) { { :size => 1..10 } }
9
+ let(:object) { klass.new(name, options) }
9
10
 
10
- it { should be_kind_of(Integer) }
11
+ it_should_behave_like 'a hash method'
11
12
 
12
- it { should == name.hash ^ options.hash }
13
-
14
- it_should_behave_like 'an idempotent method'
13
+ it { should == klass.hash ^ name.hash ^ options.hash }
15
14
  end
@@ -1,9 +1,10 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute#inspect' do
4
- subject { attribute.inspect }
4
+ subject { object.inspect }
5
5
 
6
- let(:attribute) { Attribute::Integer.new(:id) }
6
+ let(:klass) { Attribute::Integer }
7
+ let(:object) { klass.new(:id) }
7
8
 
8
9
  it { should be_kind_of(String) }
9
10
 
@@ -1,7 +1,11 @@
1
1
  require 'spec_helper'
2
2
 
3
3
  describe 'Veritas::Attribute::Integer.primitive' do
4
- subject { Attribute::Integer.primitive }
4
+ subject { object.primitive }
5
+
6
+ let(:object) { Attribute::Integer }
7
+
8
+ it_should_behave_like 'an idempotent method'
5
9
 
6
10
  it { should equal(Integer) }
7
11
  end