axiom 0.1.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (648) hide show
  1. checksums.yaml +7 -0
  2. data/.gitignore +37 -0
  3. data/.rspec +4 -0
  4. data/.rvmrc +1 -0
  5. data/.travis.yml +35 -0
  6. data/.yardopts +4 -0
  7. data/CONTRIBUTING.md +11 -0
  8. data/Gemfile +8 -0
  9. data/Gemfile.devtools +57 -0
  10. data/Guardfile +23 -0
  11. data/LICENSE +20 -0
  12. data/README.md +187 -0
  13. data/Rakefile +5 -0
  14. data/TODO +107 -0
  15. data/axiom.gemspec +28 -0
  16. data/benchmarks/memory.rb +173 -0
  17. data/benchmarks/speed.rb +100 -0
  18. data/config/flay.yml +3 -0
  19. data/config/flog.yml +2 -0
  20. data/config/mutant.yml +3 -0
  21. data/config/reek.yml +171 -0
  22. data/config/roodi.yml +18 -0
  23. data/config/yardstick.yml +2 -0
  24. data/lib/axiom.rb +216 -0
  25. data/lib/axiom/aggregate.rb +94 -0
  26. data/lib/axiom/aggregate/count.rb +58 -0
  27. data/lib/axiom/aggregate/maximum.rb +62 -0
  28. data/lib/axiom/aggregate/mean.rb +84 -0
  29. data/lib/axiom/aggregate/minimum.rb +62 -0
  30. data/lib/axiom/aggregate/standard_deviation.rb +61 -0
  31. data/lib/axiom/aggregate/sum.rb +83 -0
  32. data/lib/axiom/aggregate/variance.rb +84 -0
  33. data/lib/axiom/algebra/difference.rb +89 -0
  34. data/lib/axiom/algebra/extension.rb +174 -0
  35. data/lib/axiom/algebra/intersection.rb +83 -0
  36. data/lib/axiom/algebra/join.rb +204 -0
  37. data/lib/axiom/algebra/product.rb +124 -0
  38. data/lib/axiom/algebra/projection.rb +196 -0
  39. data/lib/axiom/algebra/rename.rb +115 -0
  40. data/lib/axiom/algebra/rename/aliases.rb +221 -0
  41. data/lib/axiom/algebra/restriction.rb +166 -0
  42. data/lib/axiom/algebra/summarization.rb +244 -0
  43. data/lib/axiom/algebra/summarization/summaries.rb +60 -0
  44. data/lib/axiom/algebra/summarization/summary.rb +83 -0
  45. data/lib/axiom/algebra/union.rb +85 -0
  46. data/lib/axiom/attribute.rb +207 -0
  47. data/lib/axiom/attribute/boolean.rb +41 -0
  48. data/lib/axiom/attribute/class.rb +23 -0
  49. data/lib/axiom/attribute/comparable.rb +44 -0
  50. data/lib/axiom/attribute/date.rb +38 -0
  51. data/lib/axiom/attribute/date_time.rb +38 -0
  52. data/lib/axiom/attribute/decimal.rb +23 -0
  53. data/lib/axiom/attribute/float.rb +25 -0
  54. data/lib/axiom/attribute/integer.rb +23 -0
  55. data/lib/axiom/attribute/numeric.rb +74 -0
  56. data/lib/axiom/attribute/object.rb +28 -0
  57. data/lib/axiom/attribute/string.rb +100 -0
  58. data/lib/axiom/attribute/time.rb +38 -0
  59. data/lib/axiom/core_ext/date.rb +20 -0
  60. data/lib/axiom/core_ext/range.rb +41 -0
  61. data/lib/axiom/core_ext/time.rb +20 -0
  62. data/lib/axiom/function.rb +46 -0
  63. data/lib/axiom/function/binary.rb +90 -0
  64. data/lib/axiom/function/comparable.rb +44 -0
  65. data/lib/axiom/function/connective.rb +21 -0
  66. data/lib/axiom/function/connective/conjunction.rb +78 -0
  67. data/lib/axiom/function/connective/disjunction.rb +78 -0
  68. data/lib/axiom/function/connective/negation.rb +103 -0
  69. data/lib/axiom/function/numeric.rb +11 -0
  70. data/lib/axiom/function/numeric/absolute.rb +48 -0
  71. data/lib/axiom/function/numeric/addition.rb +62 -0
  72. data/lib/axiom/function/numeric/binary.rb +26 -0
  73. data/lib/axiom/function/numeric/division.rb +71 -0
  74. data/lib/axiom/function/numeric/exponentiation.rb +69 -0
  75. data/lib/axiom/function/numeric/modulo.rb +53 -0
  76. data/lib/axiom/function/numeric/multiplication.rb +62 -0
  77. data/lib/axiom/function/numeric/square_root.rb +75 -0
  78. data/lib/axiom/function/numeric/subtraction.rb +62 -0
  79. data/lib/axiom/function/numeric/unary.rb +26 -0
  80. data/lib/axiom/function/numeric/unary_minus.rb +60 -0
  81. data/lib/axiom/function/numeric/unary_plus.rb +60 -0
  82. data/lib/axiom/function/predicate.rb +26 -0
  83. data/lib/axiom/function/predicate/enumerable.rb +57 -0
  84. data/lib/axiom/function/predicate/equality.rb +67 -0
  85. data/lib/axiom/function/predicate/exclusion.rb +60 -0
  86. data/lib/axiom/function/predicate/greater_than.rb +67 -0
  87. data/lib/axiom/function/predicate/greater_than_or_equal_to.rb +67 -0
  88. data/lib/axiom/function/predicate/inclusion.rb +60 -0
  89. data/lib/axiom/function/predicate/inequality.rb +82 -0
  90. data/lib/axiom/function/predicate/less_than.rb +67 -0
  91. data/lib/axiom/function/predicate/less_than_or_equal_to.rb +67 -0
  92. data/lib/axiom/function/predicate/match.rb +67 -0
  93. data/lib/axiom/function/predicate/no_match.rb +70 -0
  94. data/lib/axiom/function/proposition.rb +97 -0
  95. data/lib/axiom/function/proposition/contradiction.rb +66 -0
  96. data/lib/axiom/function/proposition/tautology.rb +66 -0
  97. data/lib/axiom/function/string/length.rb +55 -0
  98. data/lib/axiom/function/unary.rb +124 -0
  99. data/lib/axiom/relation.rb +268 -0
  100. data/lib/axiom/relation/base.rb +39 -0
  101. data/lib/axiom/relation/empty.rb +52 -0
  102. data/lib/axiom/relation/header.rb +349 -0
  103. data/lib/axiom/relation/keys.rb +282 -0
  104. data/lib/axiom/relation/materialized.rb +71 -0
  105. data/lib/axiom/relation/operation/binary.rb +77 -0
  106. data/lib/axiom/relation/operation/combination.rb +37 -0
  107. data/lib/axiom/relation/operation/deletion.rb +45 -0
  108. data/lib/axiom/relation/operation/insertion.rb +45 -0
  109. data/lib/axiom/relation/operation/limit.rb +211 -0
  110. data/lib/axiom/relation/operation/offset.rb +174 -0
  111. data/lib/axiom/relation/operation/order.rb +204 -0
  112. data/lib/axiom/relation/operation/order/direction.rb +182 -0
  113. data/lib/axiom/relation/operation/order/direction_set.rb +107 -0
  114. data/lib/axiom/relation/operation/reverse.rb +86 -0
  115. data/lib/axiom/relation/operation/set.rb +79 -0
  116. data/lib/axiom/relation/operation/unary.rb +24 -0
  117. data/lib/axiom/relation/proxy.rb +84 -0
  118. data/lib/axiom/support/aliasable.rb +44 -0
  119. data/lib/axiom/support/equalizer.rb +22 -0
  120. data/lib/axiom/support/evaluator.rb +122 -0
  121. data/lib/axiom/support/operation/binary.rb +45 -0
  122. data/lib/axiom/support/operation/unary.rb +32 -0
  123. data/lib/axiom/support/visitable.rb +25 -0
  124. data/lib/axiom/tuple.rb +161 -0
  125. data/lib/axiom/version.rb +8 -0
  126. data/spec/integration/axiom/algebra/join_spec.rb +16 -0
  127. data/spec/integration/axiom/algebra/product_spec.rb +16 -0
  128. data/spec/integration/axiom/algebra/projection_spec.rb +18 -0
  129. data/spec/integration/axiom/algebra/summarization_spec.rb +35 -0
  130. data/spec/integration/axiom/relation/efficient_enumerable_spec.rb +83 -0
  131. data/spec/integration/axiom/relation/writable_relations_spec.rb +68 -0
  132. data/spec/shared/invertible_method_behaviour.rb +9 -0
  133. data/spec/spec_helper.rb +46 -0
  134. data/spec/support/config_alias.rb +3 -0
  135. data/spec/support/ice_nine_config.rb +6 -0
  136. data/spec/support/lazy_enumerable.rb +18 -0
  137. data/spec/unit/axiom/aggregate/call_spec.rb +43 -0
  138. data/spec/unit/axiom/aggregate/class_methods/call_spec.rb +11 -0
  139. data/spec/unit/axiom/aggregate/class_methods/default_spec.rb +11 -0
  140. data/spec/unit/axiom/aggregate/class_methods/finalize_spec.rb +12 -0
  141. data/spec/unit/axiom/aggregate/count/class_methods/call_spec.rb +30 -0
  142. data/spec/unit/axiom/aggregate/count/class_methods/default_spec.rb +13 -0
  143. data/spec/unit/axiom/aggregate/count/methods/count_spec.rb +14 -0
  144. data/spec/unit/axiom/aggregate/count/type_spec.rb +12 -0
  145. data/spec/unit/axiom/aggregate/default_spec.rb +17 -0
  146. data/spec/unit/axiom/aggregate/equality_operator_spec.rb +52 -0
  147. data/spec/unit/axiom/aggregate/finalize_spec.rb +18 -0
  148. data/spec/unit/axiom/aggregate/hash_spec.rb +15 -0
  149. data/spec/unit/axiom/aggregate/maximum/class_methods/call_spec.rb +36 -0
  150. data/spec/unit/axiom/aggregate/maximum/class_methods/default_spec.rb +13 -0
  151. data/spec/unit/axiom/aggregate/maximum/methods/maximum_spec.rb +16 -0
  152. data/spec/unit/axiom/aggregate/maximum/type_spec.rb +20 -0
  153. data/spec/unit/axiom/aggregate/mean/class_methods/call_spec.rb +38 -0
  154. data/spec/unit/axiom/aggregate/mean/class_methods/default_spec.rb +15 -0
  155. data/spec/unit/axiom/aggregate/mean/class_methods/finalize_spec.rb +16 -0
  156. data/spec/unit/axiom/aggregate/mean/methods/mean_spec.rb +16 -0
  157. data/spec/unit/axiom/aggregate/mean/type_spec.rb +12 -0
  158. data/spec/unit/axiom/aggregate/minimum/class_methods/call_spec.rb +36 -0
  159. data/spec/unit/axiom/aggregate/minimum/class_methods/default_spec.rb +13 -0
  160. data/spec/unit/axiom/aggregate/minimum/methods/minimum_spec.rb +16 -0
  161. data/spec/unit/axiom/aggregate/minimum/type_spec.rb +20 -0
  162. data/spec/unit/axiom/aggregate/standard_deviation/class_methods/finalize_spec.rb +34 -0
  163. data/spec/unit/axiom/aggregate/standard_deviation/methods/standard_deviation_spec.rb +16 -0
  164. data/spec/unit/axiom/aggregate/standard_deviation/type_spec.rb +12 -0
  165. data/spec/unit/axiom/aggregate/sum/class_methods/call_spec.rb +30 -0
  166. data/spec/unit/axiom/aggregate/sum/class_methods/default_spec.rb +13 -0
  167. data/spec/unit/axiom/aggregate/sum/default_spec.rb +33 -0
  168. data/spec/unit/axiom/aggregate/sum/methods/sum_spec.rb +14 -0
  169. data/spec/unit/axiom/aggregate/sum/type_spec.rb +20 -0
  170. data/spec/unit/axiom/aggregate/type_spec.rb +13 -0
  171. data/spec/unit/axiom/aggregate/variance/class_methods/call_spec.rb +52 -0
  172. data/spec/unit/axiom/aggregate/variance/class_methods/default_spec.rb +15 -0
  173. data/spec/unit/axiom/aggregate/variance/class_methods/finalize_spec.rb +26 -0
  174. data/spec/unit/axiom/aggregate/variance/methods/variance_spec.rb +16 -0
  175. data/spec/unit/axiom/aggregate/variance/type_spec.rb +12 -0
  176. data/spec/unit/axiom/algebra/difference/delete_spec.rb +44 -0
  177. data/spec/unit/axiom/algebra/difference/each_spec.rb +45 -0
  178. data/spec/unit/axiom/algebra/difference/insert_spec.rb +44 -0
  179. data/spec/unit/axiom/algebra/difference/methods/difference_spec.rb +20 -0
  180. data/spec/unit/axiom/algebra/extension/class_methods/new_spec.rb +22 -0
  181. data/spec/unit/axiom/algebra/extension/delete_spec.rb +47 -0
  182. data/spec/unit/axiom/algebra/extension/each_spec.rb +30 -0
  183. data/spec/unit/axiom/algebra/extension/eql_spec.rb +65 -0
  184. data/spec/unit/axiom/algebra/extension/extensions_spec.rb +15 -0
  185. data/spec/unit/axiom/algebra/extension/hash_spec.rb +15 -0
  186. data/spec/unit/axiom/algebra/extension/header_spec.rb +17 -0
  187. data/spec/unit/axiom/algebra/extension/insert_spec.rb +47 -0
  188. data/spec/unit/axiom/algebra/extension/methods/extend_spec.rb +34 -0
  189. data/spec/unit/axiom/algebra/extension/operand_spec.rb +15 -0
  190. data/spec/unit/axiom/algebra/intersection/delete_spec.rb +44 -0
  191. data/spec/unit/axiom/algebra/intersection/each_spec.rb +45 -0
  192. data/spec/unit/axiom/algebra/intersection/insert_spec.rb +44 -0
  193. data/spec/unit/axiom/algebra/intersection/methods/intersect_spec.rb +20 -0
  194. data/spec/unit/axiom/algebra/join/class_methods/new_spec.rb +29 -0
  195. data/spec/unit/axiom/algebra/join/delete_spec.rb +43 -0
  196. data/spec/unit/axiom/algebra/join/each_spec.rb +77 -0
  197. data/spec/unit/axiom/algebra/join/insert_spec.rb +43 -0
  198. data/spec/unit/axiom/algebra/join/join_header_spec.rb +17 -0
  199. data/spec/unit/axiom/algebra/join/methods/join_spec.rb +35 -0
  200. data/spec/unit/axiom/algebra/product/class_methods/new_spec.rb +29 -0
  201. data/spec/unit/axiom/algebra/product/delete_spec.rb +14 -0
  202. data/spec/unit/axiom/algebra/product/each_spec.rb +31 -0
  203. data/spec/unit/axiom/algebra/product/insert_spec.rb +14 -0
  204. data/spec/unit/axiom/algebra/product/methods/product_spec.rb +15 -0
  205. data/spec/unit/axiom/algebra/projection/delete_spec.rb +58 -0
  206. data/spec/unit/axiom/algebra/projection/each_spec.rb +30 -0
  207. data/spec/unit/axiom/algebra/projection/eql_spec.rb +66 -0
  208. data/spec/unit/axiom/algebra/projection/hash_spec.rb +16 -0
  209. data/spec/unit/axiom/algebra/projection/header_spec.rb +16 -0
  210. data/spec/unit/axiom/algebra/projection/insert_spec.rb +66 -0
  211. data/spec/unit/axiom/algebra/projection/methods/project_spec.rb +19 -0
  212. data/spec/unit/axiom/algebra/projection/methods/remove_spec.rb +19 -0
  213. data/spec/unit/axiom/algebra/rename/aliases/class_methods/coerce_spec.rb +59 -0
  214. data/spec/unit/axiom/algebra/rename/aliases/class_methods/new_spec.rb +23 -0
  215. data/spec/unit/axiom/algebra/rename/aliases/each_spec.rb +20 -0
  216. data/spec/unit/axiom/algebra/rename/aliases/element_reader_spec.rb +23 -0
  217. data/spec/unit/axiom/algebra/rename/aliases/empty_predicate_spec.rb +22 -0
  218. data/spec/unit/axiom/algebra/rename/aliases/eql_spec.rb +52 -0
  219. data/spec/unit/axiom/algebra/rename/aliases/equality_operator_spec.rb +52 -0
  220. data/spec/unit/axiom/algebra/rename/aliases/hash_spec.rb +15 -0
  221. data/spec/unit/axiom/algebra/rename/aliases/inverse_spec.rb +30 -0
  222. data/spec/unit/axiom/algebra/rename/aliases/to_hash_spec.rb +32 -0
  223. data/spec/unit/axiom/algebra/rename/aliases/union_spec.rb +66 -0
  224. data/spec/unit/axiom/algebra/rename/aliases_spec.rb +13 -0
  225. data/spec/unit/axiom/algebra/rename/delete_spec.rb +45 -0
  226. data/spec/unit/axiom/algebra/rename/directions_spec.rb +30 -0
  227. data/spec/unit/axiom/algebra/rename/each_spec.rb +29 -0
  228. data/spec/unit/axiom/algebra/rename/eql_spec.rb +65 -0
  229. data/spec/unit/axiom/algebra/rename/hash_spec.rb +15 -0
  230. data/spec/unit/axiom/algebra/rename/header_spec.rb +16 -0
  231. data/spec/unit/axiom/algebra/rename/insert_spec.rb +45 -0
  232. data/spec/unit/axiom/algebra/rename/methods/rename_spec.rb +14 -0
  233. data/spec/unit/axiom/algebra/restriction/delete_spec.rb +50 -0
  234. data/spec/unit/axiom/algebra/restriction/each_spec.rb +88 -0
  235. data/spec/unit/axiom/algebra/restriction/eql_spec.rb +65 -0
  236. data/spec/unit/axiom/algebra/restriction/hash_spec.rb +15 -0
  237. data/spec/unit/axiom/algebra/restriction/insert_spec.rb +50 -0
  238. data/spec/unit/axiom/algebra/restriction/methods/restrict_spec.rb +78 -0
  239. data/spec/unit/axiom/algebra/restriction/predicate_spec.rb +15 -0
  240. data/spec/unit/axiom/algebra/summarization/class_methods/new_spec.rb +30 -0
  241. data/spec/unit/axiom/algebra/summarization/delete_spec.rb +15 -0
  242. data/spec/unit/axiom/algebra/summarization/each_spec.rb +30 -0
  243. data/spec/unit/axiom/algebra/summarization/eql_spec.rb +81 -0
  244. data/spec/unit/axiom/algebra/summarization/hash_spec.rb +16 -0
  245. data/spec/unit/axiom/algebra/summarization/header_spec.rb +17 -0
  246. data/spec/unit/axiom/algebra/summarization/insert_spec.rb +15 -0
  247. data/spec/unit/axiom/algebra/summarization/methods/summarize_spec.rb +81 -0
  248. data/spec/unit/axiom/algebra/summarization/summaries/summarize_by_spec.rb +28 -0
  249. data/spec/unit/axiom/algebra/summarization/summaries/to_hash_spec.rb +17 -0
  250. data/spec/unit/axiom/algebra/summarization/summarize_per_spec.rb +15 -0
  251. data/spec/unit/axiom/algebra/summarization/summarizers_spec.rb +15 -0
  252. data/spec/unit/axiom/algebra/summarization/summary/call_spec.rb +43 -0
  253. data/spec/unit/axiom/algebra/summarization/summary/summarize_by_spec.rb +20 -0
  254. data/spec/unit/axiom/algebra/union/delete_spec.rb +44 -0
  255. data/spec/unit/axiom/algebra/union/each_spec.rb +56 -0
  256. data/spec/unit/axiom/algebra/union/insert_spec.rb +44 -0
  257. data/spec/unit/axiom/algebra/union/methods/union_spec.rb +20 -0
  258. data/spec/unit/axiom/aliasable/fixtures/classes.rb +9 -0
  259. data/spec/unit/axiom/aliasable/inheritable_alias_spec.rb +50 -0
  260. data/spec/unit/axiom/attribute/boolean/class_methods/primitive_spec.rb +13 -0
  261. data/spec/unit/axiom/attribute/boolean/valid_value_predicate_spec.rb +27 -0
  262. data/spec/unit/axiom/attribute/call_spec.rb +14 -0
  263. data/spec/unit/axiom/attribute/class/class_methods/primitive_spec.rb +13 -0
  264. data/spec/unit/axiom/attribute/class_methods/coerce_spec.rb +91 -0
  265. data/spec/unit/axiom/attribute/class_methods/infer_type_spec.rb +121 -0
  266. data/spec/unit/axiom/attribute/class_methods/name_from_spec.rb +33 -0
  267. data/spec/unit/axiom/attribute/class_methods/new_spec.rb +41 -0
  268. data/spec/unit/axiom/attribute/comparable/asc_spec.rb +13 -0
  269. data/spec/unit/axiom/attribute/comparable/desc_spec.rb +13 -0
  270. data/spec/unit/axiom/attribute/comparable/fixtures/classes.rb +7 -0
  271. data/spec/unit/axiom/attribute/date/class_methods/primitive_spec.rb +13 -0
  272. data/spec/unit/axiom/attribute/date/range_spec.rb +11 -0
  273. data/spec/unit/axiom/attribute/date_time/class_methods/primitive_spec.rb +13 -0
  274. data/spec/unit/axiom/attribute/date_time/range_spec.rb +11 -0
  275. data/spec/unit/axiom/attribute/decimal/class_methods/primitive_spec.rb +13 -0
  276. data/spec/unit/axiom/attribute/eql_spec.rb +61 -0
  277. data/spec/unit/axiom/attribute/equality_operator_spec.rb +61 -0
  278. data/spec/unit/axiom/attribute/float/class_methods/primitive_spec.rb +13 -0
  279. data/spec/unit/axiom/attribute/float/size_spec.rb +21 -0
  280. data/spec/unit/axiom/attribute/hash_spec.rb +17 -0
  281. data/spec/unit/axiom/attribute/integer/class_methods/primitive_spec.rb +13 -0
  282. data/spec/unit/axiom/attribute/name_spec.rb +24 -0
  283. data/spec/unit/axiom/attribute/numeric/class_methods/primitive_spec.rb +13 -0
  284. data/spec/unit/axiom/attribute/numeric/eql_spec.rb +71 -0
  285. data/spec/unit/axiom/attribute/numeric/equality_operator_spec.rb +71 -0
  286. data/spec/unit/axiom/attribute/numeric/hash_spec.rb +17 -0
  287. data/spec/unit/axiom/attribute/numeric/size_spec.rb +33 -0
  288. data/spec/unit/axiom/attribute/numeric/valid_value_predicate_spec.rb +35 -0
  289. data/spec/unit/axiom/attribute/object/class_methods/primitive_spec.rb +13 -0
  290. data/spec/unit/axiom/attribute/rename_spec.rb +28 -0
  291. data/spec/unit/axiom/attribute/required_predicate_spec.rb +27 -0
  292. data/spec/unit/axiom/attribute/string/class_methods/primitive_spec.rb +13 -0
  293. data/spec/unit/axiom/attribute/string/eql_spec.rb +81 -0
  294. data/spec/unit/axiom/attribute/string/equality_operator_spec.rb +81 -0
  295. data/spec/unit/axiom/attribute/string/hash_spec.rb +25 -0
  296. data/spec/unit/axiom/attribute/string/max_length_spec.rb +20 -0
  297. data/spec/unit/axiom/attribute/string/min_length_spec.rb +20 -0
  298. data/spec/unit/axiom/attribute/string/valid_value_predicate_spec.rb +35 -0
  299. data/spec/unit/axiom/attribute/time/class_methods/primitive_spec.rb +13 -0
  300. data/spec/unit/axiom/attribute/time/range_spec.rb +11 -0
  301. data/spec/unit/axiom/attribute/type_spec.rb +12 -0
  302. data/spec/unit/axiom/attribute/valid_primitive_predicate_spec.rb +30 -0
  303. data/spec/unit/axiom/attribute/valid_value_predicate_spec.rb +47 -0
  304. data/spec/unit/axiom/equalizer/class_method/new_spec.rb +137 -0
  305. data/spec/unit/axiom/equalizer/methods/eql_spec.rb +49 -0
  306. data/spec/unit/axiom/equalizer/methods/equality_operator_spec.rb +85 -0
  307. data/spec/unit/axiom/evaluator/context/add_spec.rb +66 -0
  308. data/spec/unit/axiom/evaluator/context/element_reader_spec.rb +14 -0
  309. data/spec/unit/axiom/evaluator/context/functions_spec.rb +16 -0
  310. data/spec/unit/axiom/evaluator/context/method_missing_spec.rb +29 -0
  311. data/spec/unit/axiom/evaluator/context/respond_to_predicate_spec.rb +39 -0
  312. data/spec/unit/axiom/evaluator/context/send_spec.rb +28 -0
  313. data/spec/unit/axiom/evaluator/context/yield_spec.rb +14 -0
  314. data/spec/unit/axiom/function/binary/call_spec.rb +22 -0
  315. data/spec/unit/axiom/function/binary/equality_operator_spec.rb +67 -0
  316. data/spec/unit/axiom/function/binary/fixtures/classes.rb +12 -0
  317. data/spec/unit/axiom/function/binary/invertible/class_methods/included_spec.rb +29 -0
  318. data/spec/unit/axiom/function/binary/invertible/inverse_spec.rb +47 -0
  319. data/spec/unit/axiom/function/binary/rename_spec.rb +55 -0
  320. data/spec/unit/axiom/function/class_methods/call_spec.rb +11 -0
  321. data/spec/unit/axiom/function/class_methods/extract_value_spec.rb +23 -0
  322. data/spec/unit/axiom/function/class_methods/rename_attributes_spec.rb +29 -0
  323. data/spec/unit/axiom/function/comparable/class_methods/call_spec.rb +14 -0
  324. data/spec/unit/axiom/function/comparable/class_methods/included_spec.rb +26 -0
  325. data/spec/unit/axiom/function/comparable/fixtures/classes.rb +23 -0
  326. data/spec/unit/axiom/function/connective/conjunction/class_methods/call_spec.rb +37 -0
  327. data/spec/unit/axiom/function/connective/conjunction/inverse_spec.rb +20 -0
  328. data/spec/unit/axiom/function/connective/conjunction/methods/and_spec.rb +19 -0
  329. data/spec/unit/axiom/function/connective/conjunction/methods/fixtures/classes.rb +7 -0
  330. data/spec/unit/axiom/function/connective/disjunction/class_methods/call_spec.rb +37 -0
  331. data/spec/unit/axiom/function/connective/disjunction/inverse_spec.rb +20 -0
  332. data/spec/unit/axiom/function/connective/disjunction/methods/fixtures/classes.rb +7 -0
  333. data/spec/unit/axiom/function/connective/disjunction/methods/or_spec.rb +19 -0
  334. data/spec/unit/axiom/function/connective/negation/class_methods/call_spec.rb +21 -0
  335. data/spec/unit/axiom/function/connective/negation/class_methods/operation_spec.rb +11 -0
  336. data/spec/unit/axiom/function/connective/negation/inverse_spec.rb +21 -0
  337. data/spec/unit/axiom/function/connective/negation/methods/fixtures/classes.rb +8 -0
  338. data/spec/unit/axiom/function/connective/negation/methods/not_spec.rb +39 -0
  339. data/spec/unit/axiom/function/connective/type_spec.rb +12 -0
  340. data/spec/unit/axiom/function/fixtures/classes.rb +6 -0
  341. data/spec/unit/axiom/function/numeric/absolute/class_methods/call_spec.rb +21 -0
  342. data/spec/unit/axiom/function/numeric/absolute/class_methods/operation_spec.rb +11 -0
  343. data/spec/unit/axiom/function/numeric/absolute/methods/absolute_spec.rb +16 -0
  344. data/spec/unit/axiom/function/numeric/addition/class_methods/call_spec.rb +13 -0
  345. data/spec/unit/axiom/function/numeric/addition/class_methods/inverse_spec.rb +13 -0
  346. data/spec/unit/axiom/function/numeric/addition/class_methods/operation_spec.rb +11 -0
  347. data/spec/unit/axiom/function/numeric/addition/methods/add_spec.rb +19 -0
  348. data/spec/unit/axiom/function/numeric/binary/type_spec.rb +33 -0
  349. data/spec/unit/axiom/function/numeric/division/class_methods/call_spec.rb +13 -0
  350. data/spec/unit/axiom/function/numeric/division/class_methods/inverse_spec.rb +13 -0
  351. data/spec/unit/axiom/function/numeric/division/class_methods/operation_spec.rb +11 -0
  352. data/spec/unit/axiom/function/numeric/division/methods/divide_spec.rb +19 -0
  353. data/spec/unit/axiom/function/numeric/division/type_spec.rb +11 -0
  354. data/spec/unit/axiom/function/numeric/exponentiation/class_methods/call_spec.rb +13 -0
  355. data/spec/unit/axiom/function/numeric/exponentiation/class_methods/operation_spec.rb +11 -0
  356. data/spec/unit/axiom/function/numeric/exponentiation/inverse_spec.rb +18 -0
  357. data/spec/unit/axiom/function/numeric/exponentiation/methods/exponent_spec.rb +19 -0
  358. data/spec/unit/axiom/function/numeric/modulo/class_methods/call_spec.rb +13 -0
  359. data/spec/unit/axiom/function/numeric/modulo/class_methods/operation_spec.rb +11 -0
  360. data/spec/unit/axiom/function/numeric/modulo/methods/modulo_spec.rb +19 -0
  361. data/spec/unit/axiom/function/numeric/multiplication/class_methods/call_spec.rb +13 -0
  362. data/spec/unit/axiom/function/numeric/multiplication/class_methods/inverse_spec.rb +13 -0
  363. data/spec/unit/axiom/function/numeric/multiplication/class_methods/operation_spec.rb +11 -0
  364. data/spec/unit/axiom/function/numeric/multiplication/methods/multiply_spec.rb +19 -0
  365. data/spec/unit/axiom/function/numeric/square_root/class_methods/call_spec.rb +12 -0
  366. data/spec/unit/axiom/function/numeric/square_root/inverse_spec.rb +18 -0
  367. data/spec/unit/axiom/function/numeric/square_root/methods/square_root_spec.rb +16 -0
  368. data/spec/unit/axiom/function/numeric/square_root/type_spec.rb +11 -0
  369. data/spec/unit/axiom/function/numeric/subtraction/class_methods/call_spec.rb +13 -0
  370. data/spec/unit/axiom/function/numeric/subtraction/class_methods/inverse_spec.rb +13 -0
  371. data/spec/unit/axiom/function/numeric/subtraction/class_methods/operation_spec.rb +11 -0
  372. data/spec/unit/axiom/function/numeric/subtraction/methods/subtract_spec.rb +19 -0
  373. data/spec/unit/axiom/function/numeric/unary/type_spec.rb +21 -0
  374. data/spec/unit/axiom/function/numeric/unary_minus/class_methods/call_spec.rb +21 -0
  375. data/spec/unit/axiom/function/numeric/unary_minus/class_methods/inverse_spec.rb +13 -0
  376. data/spec/unit/axiom/function/numeric/unary_minus/class_methods/operation_spec.rb +11 -0
  377. data/spec/unit/axiom/function/numeric/unary_minus/methods/unary_minus_spec.rb +16 -0
  378. data/spec/unit/axiom/function/numeric/unary_plus/class_methods/call_spec.rb +21 -0
  379. data/spec/unit/axiom/function/numeric/unary_plus/class_methods/inverse_spec.rb +13 -0
  380. data/spec/unit/axiom/function/numeric/unary_plus/class_methods/operation_spec.rb +11 -0
  381. data/spec/unit/axiom/function/numeric/unary_plus/methods/unary_plus_spec.rb +16 -0
  382. data/spec/unit/axiom/function/predicate/call_spec.rb +18 -0
  383. data/spec/unit/axiom/function/predicate/class_methods/call_spec.rb +13 -0
  384. data/spec/unit/axiom/function/predicate/enumerable/call_spec.rb +36 -0
  385. data/spec/unit/axiom/function/predicate/enumerable/class_methods/compare_method_spec.rb +21 -0
  386. data/spec/unit/axiom/function/predicate/eql_spec.rb +66 -0
  387. data/spec/unit/axiom/function/predicate/equality/class_methods/call_spec.rb +23 -0
  388. data/spec/unit/axiom/function/predicate/equality/class_methods/inverse_spec.rb +13 -0
  389. data/spec/unit/axiom/function/predicate/equality/class_methods/operation_spec.rb +11 -0
  390. data/spec/unit/axiom/function/predicate/equality/class_methods/reverse_spec.rb +11 -0
  391. data/spec/unit/axiom/function/predicate/equality/inverse_spec.rb +18 -0
  392. data/spec/unit/axiom/function/predicate/equality/methods/eq_spec.rb +14 -0
  393. data/spec/unit/axiom/function/predicate/equality/methods/fixtures/classes.rb +7 -0
  394. data/spec/unit/axiom/function/predicate/exclusion/class_methods/call_spec.rb +23 -0
  395. data/spec/unit/axiom/function/predicate/exclusion/class_methods/inverse_spec.rb +13 -0
  396. data/spec/unit/axiom/function/predicate/exclusion/inverse_spec.rb +19 -0
  397. data/spec/unit/axiom/function/predicate/exclusion/methods/exclude_spec.rb +14 -0
  398. data/spec/unit/axiom/function/predicate/exclusion/methods/fixtures/classes.rb +7 -0
  399. data/spec/unit/axiom/function/predicate/fixtures/classes.rb +10 -0
  400. data/spec/unit/axiom/function/predicate/greater_than/class_methods/call_spec.rb +30 -0
  401. data/spec/unit/axiom/function/predicate/greater_than/class_methods/inverse_spec.rb +13 -0
  402. data/spec/unit/axiom/function/predicate/greater_than/class_methods/operation_spec.rb +11 -0
  403. data/spec/unit/axiom/function/predicate/greater_than/class_methods/reverse_spec.rb +11 -0
  404. data/spec/unit/axiom/function/predicate/greater_than/inverse_spec.rb +18 -0
  405. data/spec/unit/axiom/function/predicate/greater_than/methods/fixtures/classes.rb +7 -0
  406. data/spec/unit/axiom/function/predicate/greater_than/methods/gt_spec.rb +14 -0
  407. data/spec/unit/axiom/function/predicate/greater_than_or_equal_to/class_methods/call_spec.rb +30 -0
  408. data/spec/unit/axiom/function/predicate/greater_than_or_equal_to/class_methods/inverse_spec.rb +13 -0
  409. data/spec/unit/axiom/function/predicate/greater_than_or_equal_to/class_methods/operation_spec.rb +11 -0
  410. data/spec/unit/axiom/function/predicate/greater_than_or_equal_to/class_methods/reverse_spec.rb +11 -0
  411. data/spec/unit/axiom/function/predicate/greater_than_or_equal_to/inverse_spec.rb +18 -0
  412. data/spec/unit/axiom/function/predicate/greater_than_or_equal_to/methods/fixtures/classes.rb +7 -0
  413. data/spec/unit/axiom/function/predicate/greater_than_or_equal_to/methods/gte_spec.rb +14 -0
  414. data/spec/unit/axiom/function/predicate/hash_spec.rb +16 -0
  415. data/spec/unit/axiom/function/predicate/inclusion/class_methods/call_spec.rb +23 -0
  416. data/spec/unit/axiom/function/predicate/inclusion/class_methods/inverse_spec.rb +13 -0
  417. data/spec/unit/axiom/function/predicate/inclusion/inverse_spec.rb +19 -0
  418. data/spec/unit/axiom/function/predicate/inclusion/methods/fixtures/classes.rb +7 -0
  419. data/spec/unit/axiom/function/predicate/inclusion/methods/include_spec.rb +14 -0
  420. data/spec/unit/axiom/function/predicate/inequality/class_methods/call_spec.rb +23 -0
  421. data/spec/unit/axiom/function/predicate/inequality/class_methods/inverse_spec.rb +13 -0
  422. data/spec/unit/axiom/function/predicate/inequality/class_methods/operation_spec.rb +11 -0
  423. data/spec/unit/axiom/function/predicate/inequality/class_methods/reverse_spec.rb +11 -0
  424. data/spec/unit/axiom/function/predicate/inequality/inverse_spec.rb +18 -0
  425. data/spec/unit/axiom/function/predicate/inequality/methods/fixtures/classes.rb +7 -0
  426. data/spec/unit/axiom/function/predicate/inequality/methods/ne_spec.rb +14 -0
  427. data/spec/unit/axiom/function/predicate/inverse_spec.rb +17 -0
  428. data/spec/unit/axiom/function/predicate/less_than/class_methods/call_spec.rb +30 -0
  429. data/spec/unit/axiom/function/predicate/less_than/class_methods/inverse_spec.rb +13 -0
  430. data/spec/unit/axiom/function/predicate/less_than/class_methods/operation_spec.rb +11 -0
  431. data/spec/unit/axiom/function/predicate/less_than/class_methods/reverse_spec.rb +11 -0
  432. data/spec/unit/axiom/function/predicate/less_than/inverse_spec.rb +18 -0
  433. data/spec/unit/axiom/function/predicate/less_than/methods/fixtures/classes.rb +7 -0
  434. data/spec/unit/axiom/function/predicate/less_than/methods/lt_spec.rb +14 -0
  435. data/spec/unit/axiom/function/predicate/less_than_or_equal_to/class_methods/call_spec.rb +30 -0
  436. data/spec/unit/axiom/function/predicate/less_than_or_equal_to/class_methods/inverse_spec.rb +13 -0
  437. data/spec/unit/axiom/function/predicate/less_than_or_equal_to/class_methods/operation_spec.rb +11 -0
  438. data/spec/unit/axiom/function/predicate/less_than_or_equal_to/class_methods/reverse_spec.rb +11 -0
  439. data/spec/unit/axiom/function/predicate/less_than_or_equal_to/inverse_spec.rb +18 -0
  440. data/spec/unit/axiom/function/predicate/less_than_or_equal_to/methods/fixtures/classes.rb +7 -0
  441. data/spec/unit/axiom/function/predicate/less_than_or_equal_to/methods/lte_spec.rb +14 -0
  442. data/spec/unit/axiom/function/predicate/match/class_methods/call_spec.rb +23 -0
  443. data/spec/unit/axiom/function/predicate/match/class_methods/inverse_spec.rb +13 -0
  444. data/spec/unit/axiom/function/predicate/match/class_methods/operation_spec.rb +11 -0
  445. data/spec/unit/axiom/function/predicate/match/inverse_spec.rb +19 -0
  446. data/spec/unit/axiom/function/predicate/match/methods/fixtures/classes.rb +7 -0
  447. data/spec/unit/axiom/function/predicate/match/methods/match_spec.rb +14 -0
  448. data/spec/unit/axiom/function/predicate/no_match/class_methods/call_spec.rb +23 -0
  449. data/spec/unit/axiom/function/predicate/no_match/class_methods/inverse_spec.rb +13 -0
  450. data/spec/unit/axiom/function/predicate/no_match/class_methods/operation_spec.rb +11 -0
  451. data/spec/unit/axiom/function/predicate/no_match/inverse_spec.rb +19 -0
  452. data/spec/unit/axiom/function/predicate/no_match/methods/fixtures/classes.rb +7 -0
  453. data/spec/unit/axiom/function/predicate/no_match/methods/no_match_spec.rb +14 -0
  454. data/spec/unit/axiom/function/predicate/type_spec.rb +14 -0
  455. data/spec/unit/axiom/function/proposition/call_spec.rb +16 -0
  456. data/spec/unit/axiom/function/proposition/class_methods/call_spec.rb +11 -0
  457. data/spec/unit/axiom/function/proposition/class_methods/new_spec.rb +45 -0
  458. data/spec/unit/axiom/function/proposition/contradiction/and_spec.rb +12 -0
  459. data/spec/unit/axiom/function/proposition/contradiction/class_methods/call_spec.rb +11 -0
  460. data/spec/unit/axiom/function/proposition/contradiction/class_methods/inverse_spec.rb +13 -0
  461. data/spec/unit/axiom/function/proposition/contradiction/inverse_spec.rb +13 -0
  462. data/spec/unit/axiom/function/proposition/contradiction/or_spec.rb +12 -0
  463. data/spec/unit/axiom/function/proposition/eql_spec.rb +40 -0
  464. data/spec/unit/axiom/function/proposition/equality_operator_spec.rb +40 -0
  465. data/spec/unit/axiom/function/proposition/hash_spec.rb +14 -0
  466. data/spec/unit/axiom/function/proposition/inverse_spec.rb +28 -0
  467. data/spec/unit/axiom/function/proposition/rename_spec.rb +16 -0
  468. data/spec/unit/axiom/function/proposition/tautology/and_spec.rb +12 -0
  469. data/spec/unit/axiom/function/proposition/tautology/class_methods/call_spec.rb +11 -0
  470. data/spec/unit/axiom/function/proposition/tautology/class_methods/inverse_spec.rb +13 -0
  471. data/spec/unit/axiom/function/proposition/tautology/inverse_spec.rb +13 -0
  472. data/spec/unit/axiom/function/proposition/tautology/or_spec.rb +12 -0
  473. data/spec/unit/axiom/function/proposition/type_spec.rb +12 -0
  474. data/spec/unit/axiom/function/rename_spec.rb +14 -0
  475. data/spec/unit/axiom/function/string/length/class_methods/call_spec.rb +12 -0
  476. data/spec/unit/axiom/function/string/length/methods/length_spec.rb +14 -0
  477. data/spec/unit/axiom/function/string/length/type_spec.rb +11 -0
  478. data/spec/unit/axiom/function/type_spec.rb +13 -0
  479. data/spec/unit/axiom/function/unary/call_spec.rb +21 -0
  480. data/spec/unit/axiom/function/unary/callable/call_spec.rb +23 -0
  481. data/spec/unit/axiom/function/unary/callable/included_spec.rb +23 -0
  482. data/spec/unit/axiom/function/unary/equality_operator_spec.rb +55 -0
  483. data/spec/unit/axiom/function/unary/fixtures/classes.rb +12 -0
  484. data/spec/unit/axiom/function/unary/hash_spec.rb +18 -0
  485. data/spec/unit/axiom/function/unary/invertible/class_methods/included_spec.rb +29 -0
  486. data/spec/unit/axiom/function/unary/invertible/inverse_spec.rb +45 -0
  487. data/spec/unit/axiom/function/unary/rename_spec.rb +29 -0
  488. data/spec/unit/axiom/operation/binary/eql_spec.rb +66 -0
  489. data/spec/unit/axiom/operation/binary/hash_spec.rb +16 -0
  490. data/spec/unit/axiom/operation/binary/left_spec.rb +27 -0
  491. data/spec/unit/axiom/operation/binary/right_spec.rb +27 -0
  492. data/spec/unit/axiom/operation/unary/eql_spec.rb +52 -0
  493. data/spec/unit/axiom/operation/unary/hash_spec.rb +15 -0
  494. data/spec/unit/axiom/operation/unary/operand_spec.rb +26 -0
  495. data/spec/unit/axiom/relation/base/class_methods/new_spec.rb +35 -0
  496. data/spec/unit/axiom/relation/base/eql_spec.rb +100 -0
  497. data/spec/unit/axiom/relation/base/hash_spec.rb +16 -0
  498. data/spec/unit/axiom/relation/base/name_spec.rb +45 -0
  499. data/spec/unit/axiom/relation/class_methods/coerce_spec.rb +23 -0
  500. data/spec/unit/axiom/relation/class_methods/new_spec.rb +69 -0
  501. data/spec/unit/axiom/relation/directions_spec.rb +20 -0
  502. data/spec/unit/axiom/relation/each_spec.rb +52 -0
  503. data/spec/unit/axiom/relation/element_reader_spec.rb +17 -0
  504. data/spec/unit/axiom/relation/empty/class_methods/new_spec.rb +30 -0
  505. data/spec/unit/axiom/relation/empty/each_spec.rb +33 -0
  506. data/spec/unit/axiom/relation/empty/empty_predicate_spec.rb +11 -0
  507. data/spec/unit/axiom/relation/empty/header_spec.rb +14 -0
  508. data/spec/unit/axiom/relation/empty/size_spec.rb +11 -0
  509. data/spec/unit/axiom/relation/empty_predicate_spec.rb +26 -0
  510. data/spec/unit/axiom/relation/eql_spec.rb +84 -0
  511. data/spec/unit/axiom/relation/equality_operator_spec.rb +118 -0
  512. data/spec/unit/axiom/relation/hash_spec.rb +19 -0
  513. data/spec/unit/axiom/relation/header/call_spec.rb +36 -0
  514. data/spec/unit/axiom/relation/header/class_methods/coerce_spec.rb +101 -0
  515. data/spec/unit/axiom/relation/header/class_methods/new_spec.rb +66 -0
  516. data/spec/unit/axiom/relation/header/difference_spec.rb +100 -0
  517. data/spec/unit/axiom/relation/header/each_spec.rb +36 -0
  518. data/spec/unit/axiom/relation/header/empty_predicate_spec.rb +21 -0
  519. data/spec/unit/axiom/relation/header/eql_spec.rb +64 -0
  520. data/spec/unit/axiom/relation/header/equality_operator_spec.rb +94 -0
  521. data/spec/unit/axiom/relation/header/extend_spec.rb +35 -0
  522. data/spec/unit/axiom/relation/header/hash_spec.rb +15 -0
  523. data/spec/unit/axiom/relation/header/intersect_spec.rb +100 -0
  524. data/spec/unit/axiom/relation/header/keys_spec.rb +35 -0
  525. data/spec/unit/axiom/relation/header/project_spec.rb +46 -0
  526. data/spec/unit/axiom/relation/header/rename_spec.rb +19 -0
  527. data/spec/unit/axiom/relation/header/to_ary_spec.rb +16 -0
  528. data/spec/unit/axiom/relation/header/union_spec.rb +100 -0
  529. data/spec/unit/axiom/relation/header_spec.rb +18 -0
  530. data/spec/unit/axiom/relation/include_predicate_spec.rb +22 -0
  531. data/spec/unit/axiom/relation/keys/class_methods/coerce_spec.rb +29 -0
  532. data/spec/unit/axiom/relation/keys/class_methods/new_spec.rb +46 -0
  533. data/spec/unit/axiom/relation/keys/difference_spec.rb +27 -0
  534. data/spec/unit/axiom/relation/keys/each_spec.rb +36 -0
  535. data/spec/unit/axiom/relation/keys/empty_predicate_spec.rb +21 -0
  536. data/spec/unit/axiom/relation/keys/extend_spec.rb +33 -0
  537. data/spec/unit/axiom/relation/keys/intersect_spec.rb +27 -0
  538. data/spec/unit/axiom/relation/keys/project_spec.rb +34 -0
  539. data/spec/unit/axiom/relation/keys/rename_spec.rb +16 -0
  540. data/spec/unit/axiom/relation/keys/to_ary_spec.rb +16 -0
  541. data/spec/unit/axiom/relation/keys/union_spec.rb +27 -0
  542. data/spec/unit/axiom/relation/materialize_spec.rb +24 -0
  543. data/spec/unit/axiom/relation/materialized/class_methods/new_spec.rb +38 -0
  544. data/spec/unit/axiom/relation/materialized/directions_spec.rb +27 -0
  545. data/spec/unit/axiom/relation/materialized/empty_predicate_spec.rb +22 -0
  546. data/spec/unit/axiom/relation/materialized/materialize_spec.rb +11 -0
  547. data/spec/unit/axiom/relation/materialized/materialized_predicate_spec.rb +15 -0
  548. data/spec/unit/axiom/relation/materialized/size_spec.rb +13 -0
  549. data/spec/unit/axiom/relation/materialized_predicate_spec.rb +15 -0
  550. data/spec/unit/axiom/relation/one_spec.rb +36 -0
  551. data/spec/unit/axiom/relation/operation/binary/class_methods/included_spec.rb +26 -0
  552. data/spec/unit/axiom/relation/operation/binary/class_methods/new_spec.rb +40 -0
  553. data/spec/unit/axiom/relation/operation/binary/fixtures/classes.rb +14 -0
  554. data/spec/unit/axiom/relation/operation/binary/header_spec.rb +19 -0
  555. data/spec/unit/axiom/relation/operation/combination/class_methods/combine_tuples_spec.rb +21 -0
  556. data/spec/unit/axiom/relation/operation/combination/fixtures/classes.rb +14 -0
  557. data/spec/unit/axiom/relation/operation/combination/header_spec.rb +21 -0
  558. data/spec/unit/axiom/relation/operation/deletion/initialize_spec.rb +16 -0
  559. data/spec/unit/axiom/relation/operation/deletion/methods/delete_spec.rb +42 -0
  560. data/spec/unit/axiom/relation/operation/insertion/initialize_spec.rb +16 -0
  561. data/spec/unit/axiom/relation/operation/insertion/methods/insert_spec.rb +42 -0
  562. data/spec/unit/axiom/relation/operation/limit/class_methods/new_spec.rb +45 -0
  563. data/spec/unit/axiom/relation/operation/limit/delete_spec.rb +14 -0
  564. data/spec/unit/axiom/relation/operation/limit/directions_spec.rb +15 -0
  565. data/spec/unit/axiom/relation/operation/limit/each_spec.rb +30 -0
  566. data/spec/unit/axiom/relation/operation/limit/eql_spec.rb +65 -0
  567. data/spec/unit/axiom/relation/operation/limit/hash_spec.rb +16 -0
  568. data/spec/unit/axiom/relation/operation/limit/insert_spec.rb +14 -0
  569. data/spec/unit/axiom/relation/operation/limit/limit_spec.rb +14 -0
  570. data/spec/unit/axiom/relation/operation/limit/methods/first_spec.rb +43 -0
  571. data/spec/unit/axiom/relation/operation/limit/methods/last_spec.rb +39 -0
  572. data/spec/unit/axiom/relation/operation/limit/methods/take_spec.rb +20 -0
  573. data/spec/unit/axiom/relation/operation/offset/class_methods/new_spec.rb +45 -0
  574. data/spec/unit/axiom/relation/operation/offset/delete_spec.rb +14 -0
  575. data/spec/unit/axiom/relation/operation/offset/directions_spec.rb +15 -0
  576. data/spec/unit/axiom/relation/operation/offset/each_spec.rb +30 -0
  577. data/spec/unit/axiom/relation/operation/offset/eql_spec.rb +65 -0
  578. data/spec/unit/axiom/relation/operation/offset/hash_spec.rb +16 -0
  579. data/spec/unit/axiom/relation/operation/offset/insert_spec.rb +14 -0
  580. data/spec/unit/axiom/relation/operation/offset/methods/drop_spec.rb +20 -0
  581. data/spec/unit/axiom/relation/operation/offset/offset_spec.rb +14 -0
  582. data/spec/unit/axiom/relation/operation/order/ascending/class_methods/call_spec.rb +30 -0
  583. data/spec/unit/axiom/relation/operation/order/ascending/class_methods/reverse_spec.rb +11 -0
  584. data/spec/unit/axiom/relation/operation/order/ascending/reverse_spec.rb +14 -0
  585. data/spec/unit/axiom/relation/operation/order/class_methods/new_spec.rb +34 -0
  586. data/spec/unit/axiom/relation/operation/order/delete_spec.rb +45 -0
  587. data/spec/unit/axiom/relation/operation/order/descending/class_methods/call_spec.rb +30 -0
  588. data/spec/unit/axiom/relation/operation/order/descending/class_methods/reverse_spec.rb +11 -0
  589. data/spec/unit/axiom/relation/operation/order/descending/reverse_spec.rb +14 -0
  590. data/spec/unit/axiom/relation/operation/order/direction/attribute_spec.rb +13 -0
  591. data/spec/unit/axiom/relation/operation/order/direction/call_spec.rb +19 -0
  592. data/spec/unit/axiom/relation/operation/order/direction/class_methods/coerce_spec.rb +32 -0
  593. data/spec/unit/axiom/relation/operation/order/direction/eql_predicate_spec.rb +54 -0
  594. data/spec/unit/axiom/relation/operation/order/direction/hash_spec.rb +15 -0
  595. data/spec/unit/axiom/relation/operation/order/direction/name_spec.rb +13 -0
  596. data/spec/unit/axiom/relation/operation/order/direction/rename_spec.rb +28 -0
  597. data/spec/unit/axiom/relation/operation/order/direction/reverse_spec.rb +29 -0
  598. data/spec/unit/axiom/relation/operation/order/direction_set/attributes_spec.rb +14 -0
  599. data/spec/unit/axiom/relation/operation/order/direction_set/class_methods/coerce_spec.rb +76 -0
  600. data/spec/unit/axiom/relation/operation/order/direction_set/class_methods/new_spec.rb +26 -0
  601. data/spec/unit/axiom/relation/operation/order/direction_set/eql_spec.rb +51 -0
  602. data/spec/unit/axiom/relation/operation/order/direction_set/equality_operator_spec.rb +84 -0
  603. data/spec/unit/axiom/relation/operation/order/direction_set/hash_spec.rb +15 -0
  604. data/spec/unit/axiom/relation/operation/order/direction_set/project_spec.rb +17 -0
  605. data/spec/unit/axiom/relation/operation/order/direction_set/rename_spec.rb +18 -0
  606. data/spec/unit/axiom/relation/operation/order/direction_set/reverse_spec.rb +23 -0
  607. data/spec/unit/axiom/relation/operation/order/direction_set/sort_tuples_spec.rb +44 -0
  608. data/spec/unit/axiom/relation/operation/order/direction_set/to_ary_spec.rb +14 -0
  609. data/spec/unit/axiom/relation/operation/order/directions_spec.rb +15 -0
  610. data/spec/unit/axiom/relation/operation/order/each_spec.rb +30 -0
  611. data/spec/unit/axiom/relation/operation/order/eql_spec.rb +65 -0
  612. data/spec/unit/axiom/relation/operation/order/hash_spec.rb +15 -0
  613. data/spec/unit/axiom/relation/operation/order/header_spec.rb +15 -0
  614. data/spec/unit/axiom/relation/operation/order/insert_spec.rb +45 -0
  615. data/spec/unit/axiom/relation/operation/order/methods/sort_by_spec.rb +42 -0
  616. data/spec/unit/axiom/relation/operation/reverse/class_methods/new_spec.rb +36 -0
  617. data/spec/unit/axiom/relation/operation/reverse/directions_spec.rb +17 -0
  618. data/spec/unit/axiom/relation/operation/reverse/each_spec.rb +30 -0
  619. data/spec/unit/axiom/relation/operation/reverse/methods/reverse_spec.rb +17 -0
  620. data/spec/unit/axiom/relation/operation/set/class_methods/included_spec.rb +26 -0
  621. data/spec/unit/axiom/relation/operation/set/class_methods/new_spec.rb +30 -0
  622. data/spec/unit/axiom/relation/operation/set/fixtures/classes.rb +14 -0
  623. data/spec/unit/axiom/relation/operation/set/header_spec.rb +17 -0
  624. data/spec/unit/axiom/relation/operation/unary/fixtures/classes.rb +17 -0
  625. data/spec/unit/axiom/relation/operation/unary/header_spec.rb +17 -0
  626. data/spec/unit/axiom/relation/proxy/each_spec.rb +41 -0
  627. data/spec/unit/axiom/relation/proxy/hash_spec.rb +26 -0
  628. data/spec/unit/axiom/relation/proxy/method_missing_spec.rb +24 -0
  629. data/spec/unit/axiom/relation/proxy/respond_to_predicate_spec.rb +40 -0
  630. data/spec/unit/axiom/relation/replace_spec.rb +55 -0
  631. data/spec/unit/axiom/tuple/call_spec.rb +25 -0
  632. data/spec/unit/axiom/tuple/class_methods/coerce_spec.rb +31 -0
  633. data/spec/unit/axiom/tuple/data_spec.rb +16 -0
  634. data/spec/unit/axiom/tuple/eql_spec.rb +65 -0
  635. data/spec/unit/axiom/tuple/equality_operator_spec.rb +85 -0
  636. data/spec/unit/axiom/tuple/extend_spec.rb +41 -0
  637. data/spec/unit/axiom/tuple/hash_spec.rb +15 -0
  638. data/spec/unit/axiom/tuple/header_spec.rb +14 -0
  639. data/spec/unit/axiom/tuple/join_spec.rb +18 -0
  640. data/spec/unit/axiom/tuple/predicate_spec.rb +44 -0
  641. data/spec/unit/axiom/tuple/project_spec.rb +17 -0
  642. data/spec/unit/axiom/tuple/to_ary_spec.rb +18 -0
  643. data/spec/unit/axiom/visitable/accept_spec.rb +18 -0
  644. data/spec/unit/date/pred_spec.rb +19 -0
  645. data/spec/unit/range/overlaps_spec.rb +192 -0
  646. data/spec/unit/range/to_inclusive_spec.rb +41 -0
  647. data/spec/unit/time/pred_spec.rb +19 -0
  648. metadata +1327 -0
@@ -0,0 +1,118 @@
1
+ # encoding: utf-8
2
+
3
+ require 'spec_helper'
4
+
5
+ describe Relation, '#==' do
6
+ subject { object == other }
7
+
8
+ let(:header) { [ [ :id, Integer ] ] }
9
+ let(:body) { LazyEnumerable.new([ [ 1 ] ]) }
10
+ let(:object) { described_class.new(header, body) }
11
+
12
+ before do
13
+ object.should be_instance_of(described_class)
14
+ end
15
+
16
+ context 'with the same object' do
17
+ let(:other) { object }
18
+
19
+ it { should be(true) }
20
+
21
+ it 'is symmetric' do
22
+ should eql(other == object)
23
+ end
24
+ end
25
+
26
+ context 'with an equivalent object' do
27
+ let(:other) { object.dup }
28
+
29
+ it { should be(true) }
30
+
31
+ it 'is symmetric' do
32
+ should eql(other == object)
33
+ end
34
+ end
35
+
36
+ context 'with an equivalent object of a subclass' do
37
+ let(:other) { Class.new(described_class).new(header, body) }
38
+
39
+ it { should be(true) }
40
+
41
+ it 'is symmetric' do
42
+ should eql(other == object)
43
+ end
44
+ end
45
+
46
+ context 'with an object having a different header' do
47
+ let(:other_header) { [ [ :id, Numeric ] ] }
48
+ let(:other_body) { body }
49
+ let(:other) { described_class.new(other_header, other_body) }
50
+
51
+ it { should be(false) }
52
+
53
+ it 'is symmetric' do
54
+ should eql(other == object)
55
+ end
56
+ end
57
+
58
+ context 'with an object having a different body' do
59
+ let(:other_header) { header }
60
+ let(:other_body) { LazyEnumerable.new([ [ 2 ] ]) }
61
+ let(:other) { described_class.new(other_header, other_body) }
62
+
63
+ it { should be(false) }
64
+
65
+ it 'is symmetric' do
66
+ should eql(other == object)
67
+ end
68
+ end
69
+
70
+ context 'with an object having an equivalent header in a different order' do
71
+ let(:attribute1) { [ :id, Integer ] }
72
+ let(:attribute2) { [ :name, String ] }
73
+ let(:header1) { [ attribute1, attribute2 ] }
74
+ let(:header2) { [ attribute2, attribute1 ] }
75
+ let(:object) { described_class.new(header1, LazyEnumerable.new([ [ 1, 'Dan Kubb' ] ])) }
76
+ let(:other) { described_class.new(header2, LazyEnumerable.new([ [ 'Dan Kubb', 1 ] ])) }
77
+
78
+ it { should be(true) }
79
+
80
+ it 'is symmetric' do
81
+ should eql(other == object)
82
+ end
83
+ end
84
+
85
+ context 'with an equivalent object responding to #to_set' do
86
+ let(:other) { Set[ [ 1 ] ] }
87
+
88
+ it { should be(true) }
89
+
90
+ it 'is symmetric' do
91
+ pending 'Set#== should call to_set on other' do
92
+ should eql(other == object)
93
+ end
94
+ end
95
+ end
96
+
97
+ context 'with a different object responding to #to_set' do
98
+ let(:other) { Set[ [ 2 ] ] }
99
+
100
+ it { should be(false) }
101
+
102
+ it 'is symmetric' do
103
+ should eql(other == object)
104
+ end
105
+ end
106
+
107
+ context 'with a different object having a superset of the headers' do
108
+ let(:other_header) { [ [ :id, Integer ], [ :name, String ] ] }
109
+ let(:other_body) { LazyEnumerable.new([ [ 1, 'Dan Kubb' ] ]) }
110
+ let(:other) { described_class.new(other_header, other_body) }
111
+
112
+ it { should be(false) }
113
+
114
+ it 'is symmetric' do
115
+ should eql(other == object)
116
+ end
117
+ end
118
+ end
@@ -0,0 +1,19 @@
1
+ # encoding: utf-8
2
+
3
+ require 'spec_helper'
4
+
5
+ describe Relation, '#hash' do
6
+ subject { object.hash }
7
+
8
+ let(:header) { Relation::Header.coerce([ [ :id, Integer ] ]) }
9
+ let(:body) { LazyEnumerable.new }
10
+ let(:object) { described_class.new(header, body) }
11
+
12
+ before do
13
+ object.should be_instance_of(described_class)
14
+ end
15
+
16
+ it_should_behave_like 'a hash method'
17
+
18
+ it { should == described_class.hash ^ header.hash ^ body.to_set.hash }
19
+ end
@@ -0,0 +1,36 @@
1
+ # encoding: utf-8
2
+
3
+ require 'spec_helper'
4
+
5
+ [ :call, :[] ].each do |method|
6
+ describe Relation::Header, "##{method}" do
7
+ subject { object.send(method, name) }
8
+
9
+ let(:object) { described_class.coerce([ attribute ]) }
10
+ let(:attribute) { Attribute::Integer.new(:id) }
11
+
12
+ context 'with a known attribute' do
13
+ let(:name) { attribute }
14
+
15
+ it { should == [ :id, Integer ] }
16
+ end
17
+
18
+ context 'with a known attribute name' do
19
+ let(:name) { :id }
20
+
21
+ it { should == [ :id, Integer ] }
22
+ end
23
+
24
+ context 'with an unknown attribute' do
25
+ let(:name) { Attribute::String.new(:name) }
26
+
27
+ specify { expect { subject }.to raise_error(UnknownAttributeError, 'the attribute name is unknown') }
28
+ end
29
+
30
+ context 'with an unknown attribute name' do
31
+ let(:name) { :name }
32
+
33
+ specify { expect { subject }.to raise_error(UnknownAttributeError, 'the attribute name is unknown') }
34
+ end
35
+ end
36
+ end
@@ -0,0 +1,101 @@
1
+ # encoding: utf-8
2
+
3
+ require 'spec_helper'
4
+
5
+ describe Relation::Header, '.coerce' do
6
+ let(:object) { described_class }
7
+ let(:header) { object.new([ attribute ]) }
8
+ let(:attribute) { Attribute::Integer.new(:id) }
9
+ let(:array) { [ [ :id, Integer ] ] }
10
+
11
+ context 'with a block' do
12
+ subject { object.coerce(argument, &block) }
13
+
14
+ context 'when the argument is a Header' do
15
+ let(:argument) { header }
16
+ let(:block) { proc { raise 'should not raise' } }
17
+
18
+ it { should equal(header) }
19
+ end
20
+
21
+ context 'when the argument responds to #to_ary' do
22
+ let(:argument) { array }
23
+
24
+ context 'and the block returns another attribute' do
25
+ let(:block) { lambda { |attribute| other } }
26
+ let(:other) { Attribute::Object.new(:id) }
27
+
28
+ it { should be_instance_of(object) }
29
+
30
+ it { should eql(object.new([ other ])) }
31
+
32
+ its(:keys) { should be_empty }
33
+ end
34
+
35
+ context 'and the block does not match another attribute' do
36
+ let(:block) { lambda { |attribute| nil } }
37
+
38
+ it { should be_instance_of(object) }
39
+
40
+ it { should eql(header) }
41
+
42
+ its(:keys) { should be_empty }
43
+ end
44
+ end
45
+
46
+ context 'when the argument is not a Header and does not respond to #to_ary' do
47
+ let(:argument) { Object.new }
48
+ let(:block) { lambda { |attribute| nil } }
49
+
50
+ specify { expect { subject }.to raise_error(NoMethodError) }
51
+ end
52
+ end
53
+
54
+ context 'without a block' do
55
+ subject { object.coerce(argument) }
56
+
57
+ context 'when the argument is a Header' do
58
+ let(:argument) { header }
59
+
60
+ it { should equal(header) }
61
+ end
62
+
63
+ context 'when the argument responds to #to_ary' do
64
+ let(:argument) { array }
65
+
66
+ it { should be_instance_of(object) }
67
+
68
+ it { should eql(header) }
69
+
70
+ its(:keys) { should be_empty }
71
+ end
72
+
73
+ context 'when the argument is not a Header and does not respond to #to_ary' do
74
+ let(:argument) { Object.new }
75
+
76
+ specify { expect { subject }.to raise_error(NoMethodError) }
77
+ end
78
+ end
79
+
80
+ context 'with an attribute' do
81
+ subject { object.coerce(attribute) }
82
+
83
+ it { should be_instance_of(object) }
84
+
85
+ its(:to_a) { should == [ attribute ] }
86
+
87
+ its(:keys) { should be_empty }
88
+ end
89
+
90
+ context 'with options' do
91
+ subject { object.coerce(array, options) }
92
+
93
+ let(:options) { { :keys => [ array ] } }
94
+
95
+ it { should be_instance_of(object) }
96
+
97
+ its(:to_a) { should == array }
98
+
99
+ its(:keys) { should == [ array ] }
100
+ end
101
+ end
@@ -0,0 +1,66 @@
1
+ # encoding: utf-8
2
+
3
+ require 'spec_helper'
4
+
5
+ describe Relation::Header, '.new' do
6
+ let(:object) { described_class }
7
+ let(:id) { Attribute::Integer.new(:id) }
8
+ let(:name) { Attribute::String.new(:name) }
9
+ let(:age) { Attribute::Integer.new(:age) }
10
+
11
+ context 'with no arguments' do
12
+ subject { object.new }
13
+
14
+ it { should be_instance_of(object) }
15
+
16
+ it { should be_empty }
17
+ end
18
+
19
+ context 'with attributes' do
20
+ subject { object.new(attributes) }
21
+
22
+ let(:attributes) { [ id, name ] }
23
+
24
+ it { should be_instance_of(object) }
25
+
26
+ it { should == attributes }
27
+
28
+ it 'does not freeze the attributes' do
29
+ attributes.should_not be_frozen
30
+ expect { subject }.to_not change(attributes, :frozen?)
31
+ end
32
+ end
33
+
34
+ context 'with attributes and options' do
35
+ subject { object.new(attributes, options) }
36
+
37
+ let(:attributes) { [ id, name ] }
38
+ let(:options) { {} }
39
+
40
+ it { should be_instance_of(object) }
41
+
42
+ it { should == attributes }
43
+
44
+ it 'does not freeze the attributes' do
45
+ attributes.should_not be_frozen
46
+ expect { subject }.to_not change(attributes, :frozen?)
47
+ end
48
+
49
+ it 'does not freeze the options' do
50
+ options.should_not be_frozen
51
+ expect { subject }.to_not change(options, :frozen?)
52
+ end
53
+ end
54
+
55
+ context 'with attributes that contain duplicates' do
56
+ subject { object.new([ id, id, name, name, name, age ]) }
57
+
58
+ specify { expect { subject }.to raise_error(DuplicateNameError, 'duplicate names: [:id, :name]') }
59
+ end
60
+
61
+ context 'with an argument that does not respond to #to_ary' do
62
+ subject { object.new(Object.new) }
63
+
64
+ specify { expect { subject }.to raise_error(NoMethodError) }
65
+ end
66
+ end
@@ -0,0 +1,100 @@
1
+ # encoding: utf-8
2
+
3
+ require 'spec_helper'
4
+
5
+ [ :difference, :- ].each do |method|
6
+ describe Relation::Header, "##{method}" do
7
+ subject { object.send(method, other) }
8
+
9
+ let(:object) { described_class.coerce(attributes, options) }
10
+ let(:other) { described_class.coerce(other_attributes, other_options) }
11
+ let(:attributes) { [ [ :id, Integer ], [ :name, String ] ] }
12
+ let(:other_attributes) { attributes }
13
+ let(:options) { {} }
14
+ let(:other_options) { options }
15
+ let(:keys) { Relation::Keys.coerce([ [ [ :id, Integer ] ] ]) }
16
+ let(:other_keys) { keys }
17
+
18
+ context 'when the attributes are equivalent' do
19
+ it { should be_instance_of(described_class) }
20
+
21
+ its(:to_ary) { should be_empty }
22
+
23
+ its(:keys) { should be_empty }
24
+ end
25
+
26
+ context 'when the attributes intersect' do
27
+ let(:other_attributes) { [ [ :id, Integer ] ] }
28
+
29
+ it { should be_instance_of(described_class) }
30
+
31
+ its(:to_ary) { should == [ [ :name, String ] ] }
32
+
33
+ its(:keys) { should be_empty }
34
+ end
35
+
36
+ context 'when the attributes do not intersect' do
37
+ let(:other_attributes) { [ [ :age, Integer ] ] }
38
+
39
+ it { should be_instance_of(described_class) }
40
+
41
+ its(:to_ary) { should == [ [ :id, Integer ], [ :name, String ] ] }
42
+
43
+ its(:keys) { should be_empty }
44
+ end
45
+
46
+ context 'when the keys are equivalent' do
47
+ let(:other_attributes) { [ [ :id, Integer ], [ :name, String ], [ :age, Integer ] ] }
48
+ let(:options) { { :keys => keys } }
49
+
50
+ it { should be_instance_of(described_class) }
51
+
52
+ its(:to_ary) { should be_empty }
53
+
54
+ its(:keys) { should be_empty }
55
+ end
56
+
57
+ context 'when the keys intersect' do
58
+ let(:other_attributes) { [ [ :id, Integer ], [ :name, String ], [ :age, Integer ] ] }
59
+ let(:options) { { :keys => keys } }
60
+ let(:other_options) { { :keys => other_keys } }
61
+
62
+ let(:other_keys) do
63
+ Relation::Keys.coerce([
64
+ [ [ :id, Integer ] ],
65
+ [ [ :age, Integer ] ],
66
+ ])
67
+ end
68
+
69
+ it { should be_instance_of(described_class) }
70
+
71
+ its(:to_ary) { should be_empty }
72
+
73
+ its(:keys) { should be_empty }
74
+ end
75
+
76
+ context 'when the keys do not intersect' do
77
+ let(:other_attributes) { [ [ :id, Integer ], [ :name, String ], [ :age, Integer ] ] }
78
+ let(:options) { { :keys => keys } }
79
+ let(:other_options) { { :keys => other_keys } }
80
+
81
+ let(:other_keys) do
82
+ Relation::Keys.coerce([ [ [ :name, String ], [ :age, Integer ] ] ])
83
+ end
84
+
85
+ it { should be_instance_of(described_class) }
86
+
87
+ its(:to_ary) { should be_empty }
88
+
89
+ its(:keys) { should eql(keys) }
90
+ end
91
+
92
+ context 'when the other can be coerced into a Header' do
93
+ let(:other) { other_attributes }
94
+
95
+ its(:to_ary) { should be_empty }
96
+
97
+ its(:keys) { should be_empty }
98
+ end
99
+ end
100
+ end
@@ -0,0 +1,36 @@
1
+ # encoding: utf-8
2
+
3
+ require 'spec_helper'
4
+
5
+ describe Relation::Header, '#each' do
6
+ subject { object.each { |tuple| yields << tuple } }
7
+
8
+ let(:attribute) { Attribute::Integer.new(:id) }
9
+ let(:object) { described_class.new([ attribute ]) }
10
+ let(:yields) { [] }
11
+
12
+ it_should_behave_like 'an #each method'
13
+
14
+ it 'yields only attributes' do
15
+ subject
16
+ yields.each { |attribute| attribute.should be_kind_of(Attribute) }
17
+ end
18
+
19
+ it 'yields each attribute' do
20
+ expect { subject }.to change { yields.dup }.
21
+ from([]).
22
+ to([ attribute ])
23
+ end
24
+ end
25
+
26
+ describe Relation::Header do
27
+ subject { object.new }
28
+
29
+ let(:object) { described_class }
30
+
31
+ it { should be_kind_of(Enumerable) }
32
+
33
+ it 'case matches Enumerable' do
34
+ (Enumerable === subject).should be(true)
35
+ end
36
+ end