veritas 0.0.1 → 0.0.2
Sign up to get free protection for your applications and to get access to all the features.
- data/.autotest +6 -4
- data/Gemfile +23 -12
- data/LICENSE +1 -1
- data/README.rdoc +35 -33
- data/Rakefile +3 -8
- data/TODO +20 -1
- data/config/flay.yml +1 -1
- data/config/roodi.yml +2 -2
- data/lib/veritas/algebra/extension.rb +29 -0
- data/lib/veritas/algebra/join.rb +3 -3
- data/lib/veritas/algebra/product.rb +3 -3
- data/lib/veritas/algebra/projection.rb +31 -2
- data/lib/veritas/algebra/rename/aliases.rb +3 -4
- data/lib/veritas/algebra/rename.rb +14 -0
- data/lib/veritas/algebra/restriction.rb +14 -0
- data/lib/veritas/algebra/summarization.rb +31 -0
- data/lib/veritas/attribute/numeric.rb +1 -1
- data/lib/veritas/attribute/string.rb +1 -1
- data/lib/veritas/attribute.rb +4 -4
- data/lib/veritas/core_ext/range.rb +1 -1
- data/lib/veritas/logic/expression.rb +3 -3
- data/lib/veritas/logic/predicate/enumerable.rb +11 -0
- data/lib/veritas/logic/predicate/exclusion.rb +1 -1
- data/lib/veritas/logic/predicate/inclusion.rb +3 -3
- data/lib/veritas/logic/predicate/inequality.rb +1 -1
- data/lib/veritas/logic/proposition.rb +3 -3
- data/lib/veritas/optimizer/algebra/extension.rb +1 -1
- data/lib/veritas/optimizer/algebra/join.rb +2 -2
- data/lib/veritas/optimizer/algebra/product.rb +3 -3
- data/lib/veritas/optimizer/algebra/projection.rb +4 -4
- data/lib/veritas/optimizer/algebra/rename.rb +36 -12
- data/lib/veritas/optimizer/algebra/restriction.rb +5 -5
- data/lib/veritas/optimizer/algebra/summarization.rb +1 -1
- data/lib/veritas/optimizer/logic/connective/binary.rb +1 -1
- data/lib/veritas/optimizer/logic/connective/negation.rb +1 -1
- data/lib/veritas/optimizer/logic/predicate/comparable.rb +1 -1
- data/lib/veritas/optimizer/logic/predicate/enumerable.rb +1 -1
- data/lib/veritas/optimizer/logic/predicate/exclusion.rb +1 -1
- data/lib/veritas/optimizer/logic/predicate/inclusion.rb +1 -1
- data/lib/veritas/optimizer/relation/operation/binary.rb +1 -1
- data/lib/veritas/optimizer/relation/operation/{combine.rb → combination.rb} +2 -2
- data/lib/veritas/optimizer/relation/operation/limit.rb +9 -18
- data/lib/veritas/optimizer/relation/operation/offset.rb +4 -4
- data/lib/veritas/optimizer/relation/operation/order.rb +3 -3
- data/lib/veritas/optimizer/relation/operation/reverse.rb +2 -2
- data/lib/veritas/optimizer/relation/operation.rb +1 -1
- data/lib/veritas/relation/header.rb +3 -3
- data/lib/veritas/relation/operation/binary.rb +2 -2
- data/lib/veritas/relation/operation/{combine.rb → combination.rb} +2 -2
- data/lib/veritas/relation/operation/limit.rb +25 -17
- data/lib/veritas/relation/operation/offset.rb +25 -17
- data/lib/veritas/relation/operation/order/direction.rb +3 -3
- data/lib/veritas/relation/operation/order/direction_set.rb +3 -3
- data/lib/veritas/relation/operation/order.rb +17 -6
- data/lib/veritas/relation/operation/reverse.rb +1 -1
- data/lib/veritas/relation/operation/set.rb +1 -1
- data/lib/veritas/relation/operation.rb +1 -1
- data/lib/veritas/relation.rb +8 -6
- data/lib/veritas/support/immutable.rb +11 -30
- data/lib/veritas/support/operation/binary.rb +5 -5
- data/lib/veritas/support/operation/unary.rb +4 -4
- data/lib/veritas/support/visitable.rb +20 -0
- data/lib/veritas/tuple.rb +5 -4
- data/lib/veritas/version.rb +1 -1
- data/lib/veritas.rb +1 -0
- data/spec/integration/veritas/algebra/difference/optimize_spec.rb +19 -17
- data/spec/integration/veritas/algebra/intersection/optimize_spec.rb +19 -17
- data/spec/integration/veritas/algebra/projection/optimize_spec.rb +6 -6
- data/spec/integration/veritas/algebra/rename/optimize_spec.rb +5 -5
- data/spec/integration/veritas/algebra/restriction/optimize_spec.rb +3 -3
- data/spec/integration/veritas/algebra/summarization_spec.rb +35 -0
- data/spec/integration/veritas/logic/expression/optimize_spec.rb +8 -0
- data/spec/integration/veritas/relation/operation/limit/optimize_spec.rb +7 -7
- data/spec/integration/veritas/relation/operation/offset/optimize_spec.rb +5 -5
- data/spec/integration/veritas/relation/operation/reverse/optimize_spec.rb +4 -4
- data/spec/integration/veritas/relation/optimize_spec.rb +4 -0
- data/spec/shared/command_method_behavior.rb +5 -0
- data/spec/shared/hash_method_behavior.rb +9 -0
- data/spec/shared/logic_connective_binary_optimize_behavior.rb +2 -2
- data/spec/shared/optimize_method_behavior.rb +5 -4
- data/spec/unit/date/pred_spec.rb +7 -4
- data/spec/unit/range/overlaps_spec.rb +43 -43
- data/spec/unit/range/to_inclusive_spec.rb +9 -5
- data/spec/unit/time/pred_spec.rb +7 -4
- data/spec/unit/veritas/abstract_class/class_methods/new_spec.rb +9 -8
- data/spec/unit/veritas/algebra/difference/each_spec.rb +12 -9
- data/spec/unit/veritas/algebra/difference/methods/difference_spec.rb +6 -5
- data/spec/unit/veritas/algebra/extension/class_methods/new_spec.rb +7 -7
- data/spec/unit/veritas/algebra/extension/each_spec.rb +4 -2
- data/spec/unit/veritas/algebra/extension/eql_spec.rb +64 -0
- data/spec/unit/veritas/algebra/extension/extensions_spec.rb +2 -2
- data/spec/unit/veritas/algebra/extension/hash_spec.rb +14 -0
- data/spec/unit/veritas/algebra/extension/header_spec.rb +2 -2
- data/spec/unit/veritas/algebra/extension/methods/extend_spec.rb +4 -4
- data/spec/unit/veritas/algebra/extension/operand_spec.rb +2 -2
- data/spec/unit/veritas/algebra/intersection/each_spec.rb +9 -8
- data/spec/unit/veritas/algebra/intersection/methods/intersect_spec.rb +6 -5
- data/spec/unit/veritas/algebra/join/class_methods/new_spec.rb +5 -4
- data/spec/unit/veritas/algebra/join/each_spec.rb +5 -4
- data/spec/unit/veritas/algebra/join/methods/join_spec.rb +12 -12
- data/spec/unit/veritas/algebra/product/class_methods/new_spec.rb +10 -9
- data/spec/unit/veritas/algebra/product/each_spec.rb +9 -8
- data/spec/unit/veritas/algebra/product/methods/product_spec.rb +4 -3
- data/spec/unit/veritas/algebra/projection/directions_spec.rb +5 -9
- data/spec/unit/veritas/algebra/projection/each_spec.rb +5 -3
- data/spec/unit/veritas/algebra/projection/eql_spec.rb +65 -0
- data/spec/unit/veritas/algebra/projection/hash_spec.rb +15 -0
- data/spec/unit/veritas/algebra/projection/header_spec.rb +2 -2
- data/spec/unit/veritas/algebra/projection/methods/project_spec.rb +7 -3
- data/spec/unit/veritas/algebra/projection/methods/remove_spec.rb +5 -3
- data/spec/unit/veritas/algebra/rename/aliases/class_methods/coerce_spec.rb +12 -4
- data/spec/unit/veritas/algebra/rename/aliases/each_spec.rb +4 -2
- data/spec/unit/veritas/algebra/rename/aliases/eql_spec.rb +5 -4
- data/spec/unit/veritas/algebra/rename/aliases/equal_value_spec.rb +7 -6
- data/spec/unit/veritas/algebra/rename/aliases/hash_spec.rb +2 -4
- data/spec/unit/veritas/algebra/rename/aliases/to_hash_spec.rb +11 -7
- data/spec/unit/veritas/algebra/rename/aliases/union_spec.rb +5 -5
- data/spec/unit/veritas/algebra/rename/aliases_spec.rb +5 -5
- data/spec/unit/veritas/algebra/rename/directions_spec.rb +4 -4
- data/spec/unit/veritas/algebra/rename/each_spec.rb +6 -4
- data/spec/unit/veritas/algebra/rename/eql_spec.rb +24 -10
- data/spec/unit/veritas/algebra/rename/hash_spec.rb +14 -0
- data/spec/unit/veritas/algebra/rename/header_spec.rb +2 -2
- data/spec/unit/veritas/algebra/rename/methods/rename_spec.rb +5 -5
- data/spec/unit/veritas/algebra/restriction/each_spec.rb +4 -2
- data/spec/unit/veritas/algebra/restriction/eql_spec.rb +24 -9
- data/spec/unit/veritas/algebra/restriction/hash_spec.rb +14 -0
- data/spec/unit/veritas/algebra/restriction/methods/restrict_spec.rb +10 -10
- data/spec/unit/veritas/algebra/restriction/predicate_spec.rb +2 -2
- data/spec/unit/veritas/algebra/summarization/each_spec.rb +4 -2
- data/spec/unit/veritas/algebra/summarization/eql_spec.rb +80 -0
- data/spec/unit/veritas/algebra/summarization/hash_spec.rb +15 -0
- data/spec/unit/veritas/algebra/summarization/header_spec.rb +2 -2
- data/spec/unit/veritas/algebra/summarization/methods/summarize_spec.rb +4 -4
- data/spec/unit/veritas/algebra/summarization/summarize_by_spec.rb +2 -2
- data/spec/unit/veritas/algebra/summarization/summarizers_spec.rb +2 -2
- data/spec/unit/veritas/algebra/union/each_spec.rb +14 -9
- data/spec/unit/veritas/algebra/union/methods/union_spec.rb +6 -5
- data/spec/unit/veritas/aliasable/inheritable_alias_spec.rb +8 -8
- data/spec/unit/veritas/attribute/boolean/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/boolean/valid_value_spec.rb +3 -2
- data/spec/unit/veritas/attribute/call_spec.rb +5 -4
- data/spec/unit/veritas/attribute/class/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/class_methods/coerce_spec.rb +18 -12
- data/spec/unit/veritas/attribute/class_methods/name_from_spec.rb +11 -9
- data/spec/unit/veritas/attribute/class_methods/new_spec.rb +10 -10
- data/spec/unit/veritas/attribute/comparable/comparable_spec.rb +10 -9
- data/spec/unit/veritas/attribute/date/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/date/range_spec.rb +3 -2
- data/spec/unit/veritas/attribute/date_time/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/date_time/range_spec.rb +3 -2
- data/spec/unit/veritas/attribute/decimal/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/eql_spec.rb +17 -15
- data/spec/unit/veritas/attribute/equal_value_spec.rb +19 -17
- data/spec/unit/veritas/attribute/float/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/hash_spec.rb +7 -8
- data/spec/unit/veritas/attribute/inspect_spec.rb +3 -2
- data/spec/unit/veritas/attribute/integer/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/joinable_spec.rb +9 -8
- data/spec/unit/veritas/attribute/name_spec.rb +4 -3
- data/spec/unit/veritas/attribute/numeric/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/numeric/joinable_spec.rb +9 -7
- data/spec/unit/veritas/attribute/numeric/size_spec.rb +5 -3
- data/spec/unit/veritas/attribute/numeric/valid_value_spec.rb +3 -2
- data/spec/unit/veritas/attribute/object/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/options_spec.rb +13 -8
- data/spec/unit/veritas/attribute/orderable/asc_spec.rb +3 -2
- data/spec/unit/veritas/attribute/orderable/desc_spec.rb +3 -2
- data/spec/unit/veritas/attribute/rename_spec.rb +8 -7
- data/spec/unit/veritas/attribute/required_spec.rb +6 -4
- data/spec/unit/veritas/attribute/string/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/string/joinable_spec.rb +9 -8
- data/spec/unit/veritas/attribute/string/length_spec.rb +7 -4
- data/spec/unit/veritas/attribute/string/valid_value_spec.rb +3 -2
- data/spec/unit/veritas/attribute/time/class_methods/primitive_spec.rb +5 -1
- data/spec/unit/veritas/attribute/time/range_spec.rb +3 -2
- data/spec/unit/veritas/attribute/valid_primitive_spec.rb +3 -2
- data/spec/unit/veritas/attribute/valid_value_spec.rb +9 -7
- data/spec/unit/veritas/evaluator/expression/add_spec.rb +8 -8
- data/spec/unit/veritas/evaluator/expression/expressions_spec.rb +1 -1
- data/spec/unit/veritas/immutable/class_methods/freeze_object_spec.rb +5 -1
- data/spec/unit/veritas/immutable/class_methods/new_spec.rb +3 -3
- data/spec/unit/veritas/immutable/dup_spec.rb +4 -4
- data/spec/unit/veritas/immutable/memoize_methods/freeze_spec.rb +12 -10
- data/spec/unit/veritas/immutable/memoize_methods/memoize_spec.rb +6 -6
- data/spec/unit/veritas/immutable/memory/element_reference_spec.rb +4 -3
- data/spec/unit/veritas/immutable/memory/element_set_spec.rb +5 -4
- data/spec/unit/veritas/immutable/module_methods/included_spec.rb +1 -1
- data/spec/unit/veritas/immutable/module_methods/memoize_spec.rb +10 -15
- data/spec/unit/veritas/logic/connective/binary/rename_spec.rb +15 -3
- data/spec/unit/veritas/logic/connective/conjunction/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/connective/conjunction/inspect_spec.rb +6 -5
- data/spec/unit/veritas/logic/connective/conjunction/methods/and_spec.rb +6 -5
- data/spec/unit/veritas/logic/connective/disjunction/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/connective/disjunction/inspect_spec.rb +6 -5
- data/spec/unit/veritas/logic/connective/disjunction/methods/or_spec.rb +6 -5
- data/spec/unit/veritas/logic/connective/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/connective/negation/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/connective/negation/methods/not_spec.rb +1 -0
- data/spec/unit/veritas/logic/connective/unary/rename_spec.rb +3 -1
- data/spec/unit/veritas/logic/expression/class_methods/call_spec.rb +3 -9
- data/spec/unit/veritas/logic/expression/eql_spec.rb +4 -3
- data/spec/unit/veritas/logic/expression/equal_value_spec.rb +19 -24
- data/spec/unit/veritas/logic/expression/hash_spec.rb +4 -3
- data/spec/unit/veritas/logic/expression/inspect_spec.rb +4 -3
- data/spec/unit/veritas/logic/expression/inverse_spec.rb +4 -3
- data/spec/unit/veritas/logic/expression/rename_spec.rb +6 -4
- data/spec/unit/veritas/logic/predicate/call_spec.rb +6 -5
- data/spec/unit/veritas/logic/predicate/class_methods/call_spec.rb +6 -2
- data/spec/unit/veritas/logic/predicate/class_methods/extract_value_spec.rb +2 -1
- data/spec/unit/veritas/logic/predicate/comparable/class_methods/call_spec.rb +5 -1
- data/spec/unit/veritas/logic/predicate/comparable/inspect_spec.rb +5 -3
- data/spec/unit/veritas/logic/predicate/enumerable/class_methods/compare_method_spec.rb +19 -0
- data/spec/unit/veritas/logic/predicate/eql_spec.rb +31 -16
- data/spec/unit/veritas/logic/predicate/equality/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/equality/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/equality/class_methods/operation_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/equality/class_methods/reverse_spec.rb +4 -2
- data/spec/unit/veritas/logic/predicate/equality/inspect_spec.rb +3 -2
- data/spec/unit/veritas/logic/predicate/equality/inverse_spec.rb +11 -6
- data/spec/unit/veritas/logic/predicate/equality/methods/eq_spec.rb +4 -2
- data/spec/unit/veritas/logic/predicate/exclusion/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/exclusion/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/exclusion/inspect_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/exclusion/inverse_spec.rb +13 -7
- data/spec/unit/veritas/logic/predicate/exclusion/methods/exclude_spec.rb +4 -3
- data/spec/unit/veritas/logic/predicate/fixtures/classes.rb +0 -4
- data/spec/unit/veritas/logic/predicate/greater_than/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/greater_than/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/greater_than/class_methods/operation_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/greater_than/class_methods/reverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/greater_than/inspect_spec.rb +4 -3
- data/spec/unit/veritas/logic/predicate/greater_than/inverse_spec.rb +12 -7
- data/spec/unit/veritas/logic/predicate/greater_than/methods/gt_spec.rb +4 -2
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/operation_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/reverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/inspect_spec.rb +4 -3
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/inverse_spec.rb +12 -7
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/methods/gte_spec.rb +4 -2
- data/spec/unit/veritas/logic/predicate/hash_spec.rb +7 -7
- data/spec/unit/veritas/logic/predicate/inclusion/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/inclusion/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/inclusion/inspect_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/inclusion/inverse_spec.rb +13 -7
- data/spec/unit/veritas/logic/predicate/inclusion/methods/include_spec.rb +4 -3
- data/spec/unit/veritas/logic/predicate/inequality/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/inequality/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/inequality/class_methods/operation_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/inequality/class_methods/reverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/inequality/inspect_spec.rb +4 -3
- data/spec/unit/veritas/logic/predicate/inequality/inverse_spec.rb +12 -7
- data/spec/unit/veritas/logic/predicate/inequality/methods/ne_spec.rb +4 -2
- data/spec/unit/veritas/logic/predicate/inspect_spec.rb +5 -4
- data/spec/unit/veritas/logic/predicate/inverse_spec.rb +6 -6
- data/spec/unit/veritas/logic/predicate/less_than/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/less_than/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/less_than/class_methods/operation_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/less_than/class_methods/reverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/less_than/inspect_spec.rb +3 -2
- data/spec/unit/veritas/logic/predicate/less_than/inverse_spec.rb +11 -6
- data/spec/unit/veritas/logic/predicate/less_than/methods/lt_spec.rb +4 -2
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/operation_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/reverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/inspect_spec.rb +4 -3
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/inverse_spec.rb +12 -7
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/methods/lte_spec.rb +4 -2
- data/spec/unit/veritas/logic/predicate/match/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/match/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/match/class_methods/operation_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/match/inspect_spec.rb +4 -3
- data/spec/unit/veritas/logic/predicate/match/inverse_spec.rb +12 -6
- data/spec/unit/veritas/logic/predicate/match/methods/match_spec.rb +4 -2
- data/spec/unit/veritas/logic/predicate/no_match/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/no_match/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/no_match/class_methods/operation_spec.rb +3 -1
- data/spec/unit/veritas/logic/predicate/no_match/inspect_spec.rb +4 -3
- data/spec/unit/veritas/logic/predicate/no_match/inverse_spec.rb +13 -7
- data/spec/unit/veritas/logic/predicate/no_match/methods/no_match_spec.rb +4 -2
- data/spec/unit/veritas/logic/predicate/rename_spec.rb +13 -10
- data/spec/unit/veritas/logic/proposition/call_spec.rb +4 -4
- data/spec/unit/veritas/logic/proposition/class_methods/call_spec.rb +4 -2
- data/spec/unit/veritas/logic/proposition/class_methods/new_spec.rb +13 -9
- data/spec/unit/veritas/logic/proposition/eql_spec.rb +6 -6
- data/spec/unit/veritas/logic/proposition/false/and_spec.rb +5 -4
- data/spec/unit/veritas/logic/proposition/false/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/proposition/false/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/proposition/false/inspect_spec.rb +3 -2
- data/spec/unit/veritas/logic/proposition/false/inverse_spec.rb +6 -5
- data/spec/unit/veritas/logic/proposition/false/or_spec.rb +4 -3
- data/spec/unit/veritas/logic/proposition/hash_spec.rb +5 -12
- data/spec/unit/veritas/logic/proposition/inspect_spec.rb +8 -4
- data/spec/unit/veritas/logic/proposition/inverse_spec.rb +3 -4
- data/spec/unit/veritas/logic/proposition/true/and_spec.rb +4 -3
- data/spec/unit/veritas/logic/proposition/true/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/logic/proposition/true/class_methods/inverse_spec.rb +3 -1
- data/spec/unit/veritas/logic/proposition/true/inspect_spec.rb +3 -2
- data/spec/unit/veritas/logic/proposition/true/inverse_spec.rb +6 -5
- data/spec/unit/veritas/logic/proposition/true/or_spec.rb +5 -4
- data/spec/unit/veritas/operation/binary/eql_spec.rb +29 -17
- data/spec/unit/veritas/operation/binary/hash_spec.rb +7 -9
- data/spec/unit/veritas/operation/binary/left_spec.rb +19 -6
- data/spec/unit/veritas/operation/binary/right_spec.rb +19 -6
- data/spec/unit/veritas/operation/unary/eql_spec.rb +17 -18
- data/spec/unit/veritas/operation/unary/hash_spec.rb +6 -8
- data/spec/unit/veritas/operation/unary/operand_spec.rb +18 -5
- data/spec/unit/veritas/optimizable/class_methods/optimizer_spec.rb +2 -4
- data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb +4 -2
- data/spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimize_spec.rb +3 -1
- data/spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/algebra/rename/aliases_spec.rb +12 -7
- data/spec/unit/veritas/optimizer/algebra/rename/class_methods/union_aliases_spec.rb +3 -1
- data/spec/unit/veritas/optimizer/algebra/rename/header_spec.rb +3 -1
- data/spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/algebra/rename/{rename_operand_and_any_aliases → rename_operand}/optimizable_spec.rb +3 -10
- data/spec/unit/veritas/optimizer/algebra/rename/{rename_operand_and_any_aliases → rename_operand}/optimize_spec.rb +7 -3
- data/spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimizable_spec.rb +27 -0
- data/spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimize_spec.rb +17 -0
- data/spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb +3 -1
- data/spec/unit/veritas/optimizer/algebra/restriction/class_methods/optimize_predicate_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimizable_spec.rb +2 -2
- data/spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimize_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimizable_spec.rb +2 -2
- data/spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimize_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimizable_spec.rb +3 -3
- data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb +4 -2
- data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb +6 -2
- data/spec/unit/veritas/optimizer/class_methods/chain_spec.rb +6 -7
- data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb +11 -4
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimizable_spec.rb +2 -2
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimize_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimizable_spec.rb +2 -2
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimize_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimizable_spec.rb +2 -2
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimize_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimizable_spec.rb +2 -2
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimize_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb +11 -4
- data/spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_comparable/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_equivalent/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimize_spec.rb +6 -2
- data/spec/unit/veritas/optimizer/logic/predicate/enumerable/empty_right_operand/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/enumerable/one_right_operand/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimize_spec.rb +21 -5
- data/spec/unit/veritas/optimizer/logic/predicate/equality/always_true/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/exclusion/empty_right_operand/optimize_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/exclusion/one_right_operand/optimize_spec.rb +26 -6
- data/spec/unit/veritas/optimizer/logic/predicate/greater_than/always_false/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/greater_than/always_true/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_false/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_true/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/inclusion/empty_right_operand/optimize_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/inclusion/one_right_operand/optimize_spec.rb +27 -6
- data/spec/unit/veritas/optimizer/logic/predicate/inequality/always_false/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/left_spec.rb +19 -6
- data/spec/unit/veritas/optimizer/logic/predicate/less_than/always_false/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/less_than/always_true/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_false/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_true/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/logic/predicate/right_spec.rb +19 -6
- data/spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimize_spec.rb +7 -3
- data/spec/unit/veritas/optimizer/relation/operation/combination/optimize_spec.rb +15 -0
- data/spec/unit/veritas/optimizer/relation/operation/limit/{inequal_limit_operand → limit_operand}/optimizable_spec.rb +6 -12
- data/spec/unit/veritas/optimizer/relation/operation/limit/{inequal_limit_operand → limit_operand}/optimize_spec.rb +15 -7
- data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb +4 -2
- data/spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb +3 -1
- data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb +4 -2
- data/spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimize_spec.rb +3 -1
- data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimizable_spec.rb +1 -1
- data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb +4 -2
- data/spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb +5 -1
- data/spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb +6 -3
- data/spec/unit/veritas/relation/class_methods/new_spec.rb +10 -14
- data/spec/unit/veritas/relation/directions_spec.rb +10 -4
- data/spec/unit/veritas/relation/each_spec.rb +29 -14
- data/spec/unit/veritas/relation/element_reference_spec.rb +9 -5
- data/spec/unit/veritas/relation/empty/each_spec.rb +6 -5
- data/spec/unit/veritas/relation/empty/empty_spec.rb +3 -2
- data/spec/unit/veritas/relation/empty/header_spec.rb +6 -4
- data/spec/unit/veritas/relation/empty_spec.rb +8 -3
- data/spec/unit/veritas/relation/eql_spec.rb +50 -16
- data/spec/unit/veritas/relation/equal_value_spec.rb +48 -39
- data/spec/unit/veritas/relation/hash_spec.rb +10 -5
- data/spec/unit/veritas/relation/header/class_methods/coerce_spec.rb +13 -9
- data/spec/unit/veritas/relation/header/difference_spec.rb +7 -6
- data/spec/unit/veritas/relation/header/each_spec.rb +18 -13
- data/spec/unit/veritas/relation/header/element_reference_spec.rb +3 -2
- data/spec/unit/veritas/relation/header/empty_spec.rb +5 -3
- data/spec/unit/veritas/relation/header/eql_spec.rb +23 -49
- data/spec/unit/veritas/relation/header/equal_value_spec.rb +33 -31
- data/spec/unit/veritas/relation/header/hash_spec.rb +6 -6
- data/spec/unit/veritas/relation/header/index_spec.rb +8 -7
- data/spec/unit/veritas/relation/header/inspect_spec.rb +4 -3
- data/spec/unit/veritas/relation/header/intersect_spec.rb +5 -4
- data/spec/unit/veritas/relation/header/project_spec.rb +5 -3
- data/spec/unit/veritas/relation/header/rename_spec.rb +7 -6
- data/spec/unit/veritas/relation/header/to_ary_spec.rb +5 -4
- data/spec/unit/veritas/relation/header/union_spec.rb +7 -6
- data/spec/unit/veritas/relation/header_spec.rb +9 -6
- data/spec/unit/veritas/relation/materialize_spec.rb +7 -2
- data/spec/unit/veritas/relation/materialized/class_methods/new_spec.rb +6 -7
- data/spec/unit/veritas/relation/materialized/empty_spec.rb +4 -3
- data/spec/unit/veritas/relation/materialized/materialize_spec.rb +2 -1
- data/spec/unit/veritas/relation/materialized/size_spec.rb +5 -4
- data/spec/unit/veritas/relation/operation/binary/class_methods/new_spec.rb +4 -3
- data/spec/unit/veritas/relation/operation/binary/directions_spec.rb +8 -7
- data/spec/unit/veritas/relation/operation/binary/header_spec.rb +7 -6
- data/spec/unit/veritas/relation/operation/{combine → combination}/class_methods/combine_tuples_spec.rb +7 -5
- data/spec/unit/veritas/relation/operation/{combine → combination}/fixtures/classes.rb +3 -3
- data/spec/unit/veritas/relation/operation/combination/header_spec.rb +19 -0
- data/spec/unit/veritas/relation/operation/limit/class_methods/new_spec.rb +10 -2
- data/spec/unit/veritas/relation/operation/limit/each_spec.rb +10 -8
- data/spec/unit/veritas/relation/operation/limit/eql_spec.rb +31 -17
- data/spec/unit/veritas/relation/operation/limit/hash_spec.rb +15 -0
- data/spec/unit/veritas/relation/operation/limit/limit_spec.rb +13 -0
- data/spec/unit/veritas/relation/operation/limit/methods/first_spec.rb +14 -9
- data/spec/unit/veritas/relation/operation/limit/methods/last_spec.rb +12 -11
- data/spec/unit/veritas/relation/operation/limit/methods/take_spec.rb +8 -4
- data/spec/unit/veritas/relation/operation/offset/class_methods/new_spec.rb +10 -2
- data/spec/unit/veritas/relation/operation/offset/each_spec.rb +10 -8
- data/spec/unit/veritas/relation/operation/offset/eql_spec.rb +30 -17
- data/spec/unit/veritas/relation/operation/offset/hash_spec.rb +15 -0
- data/spec/unit/veritas/relation/operation/offset/methods/drop_spec.rb +8 -4
- data/spec/unit/veritas/relation/operation/offset/offset_spec.rb +13 -0
- data/spec/unit/veritas/relation/operation/order/ascending/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/relation/operation/order/ascending/class_methods/reverse_spec.rb +3 -1
- data/spec/unit/veritas/relation/operation/order/ascending/reverse_spec.rb +4 -3
- data/spec/unit/veritas/relation/operation/order/class_methods/new_spec.rb +20 -5
- data/spec/unit/veritas/relation/operation/order/descending/class_methods/call_spec.rb +3 -1
- data/spec/unit/veritas/relation/operation/order/descending/class_methods/reverse_spec.rb +3 -1
- data/spec/unit/veritas/relation/operation/order/descending/reverse_spec.rb +4 -3
- data/spec/unit/veritas/relation/operation/order/direction/attribute_spec.rb +3 -3
- data/spec/unit/veritas/relation/operation/order/direction/call_spec.rb +6 -11
- data/spec/unit/veritas/relation/operation/order/direction/class_methods/coerce_spec.rb +10 -8
- data/spec/unit/veritas/relation/operation/order/direction/eql_spec.rb +16 -16
- data/spec/unit/veritas/relation/operation/order/direction/hash_spec.rb +5 -7
- data/spec/unit/veritas/relation/operation/order/direction/rename_spec.rb +4 -6
- data/spec/unit/veritas/relation/operation/order/direction/reverse_spec.rb +7 -7
- data/spec/unit/veritas/relation/operation/order/direction_set/attributes_spec.rb +4 -3
- data/spec/unit/veritas/relation/operation/order/direction_set/class_methods/coerce_spec.rb +14 -11
- data/spec/unit/veritas/relation/operation/order/direction_set/each_spec.rb +18 -14
- data/spec/unit/veritas/relation/operation/order/direction_set/empty_spec.rb +6 -4
- data/spec/unit/veritas/relation/operation/order/direction_set/eql_spec.rb +17 -16
- data/spec/unit/veritas/relation/operation/order/direction_set/equal_value_spec.rb +37 -16
- data/spec/unit/veritas/relation/operation/order/direction_set/hash_spec.rb +7 -7
- data/spec/unit/veritas/relation/operation/order/direction_set/project_spec.rb +6 -4
- data/spec/unit/veritas/relation/operation/order/direction_set/rename_spec.rb +8 -7
- data/spec/unit/veritas/relation/operation/order/direction_set/reverse_spec.rb +6 -5
- data/spec/unit/veritas/relation/operation/order/direction_set/sort_tuples_spec.rb +10 -29
- data/spec/unit/veritas/relation/operation/order/direction_set/to_ary_spec.rb +5 -4
- data/spec/unit/veritas/relation/operation/order/direction_set/union_spec.rb +7 -6
- data/spec/unit/veritas/relation/operation/order/directions_spec.rb +6 -7
- data/spec/unit/veritas/relation/operation/order/each_spec.rb +7 -4
- data/spec/unit/veritas/relation/operation/order/eql_spec.rb +30 -16
- data/spec/unit/veritas/relation/operation/order/hash_spec.rb +14 -0
- data/spec/unit/veritas/relation/operation/order/header_spec.rb +7 -8
- data/spec/unit/veritas/relation/operation/order/methods/order_spec.rb +14 -12
- data/spec/unit/veritas/relation/operation/reverse/class_methods/new_spec.rb +13 -2
- data/spec/unit/veritas/relation/operation/reverse/each_spec.rb +10 -8
- data/spec/unit/veritas/relation/operation/reverse/methods/reverse_spec.rb +4 -3
- data/spec/unit/veritas/relation/operation/set/class_methods/new_spec.rb +9 -8
- data/spec/unit/veritas/relation/operation/set/header_spec.rb +2 -2
- data/spec/unit/veritas/relation/operation/unary/directions_spec.rb +8 -7
- data/spec/unit/veritas/relation/operation/unary/header_spec.rb +7 -7
- data/spec/unit/veritas/tuple/class_methods/coerce_spec.rb +17 -7
- data/spec/unit/veritas/tuple/element_reference_spec.rb +3 -2
- data/spec/unit/veritas/tuple/eql_spec.rb +23 -47
- data/spec/unit/veritas/tuple/equal_value_spec.rb +28 -25
- data/spec/unit/veritas/tuple/extend_spec.rb +3 -2
- data/spec/unit/veritas/tuple/hash_spec.rb +6 -6
- data/spec/unit/veritas/tuple/header_spec.rb +5 -4
- data/spec/unit/veritas/tuple/inspect_spec.rb +3 -2
- data/spec/unit/veritas/tuple/join_spec.rb +3 -2
- data/spec/unit/veritas/tuple/project_spec.rb +4 -3
- data/spec/unit/veritas/tuple/to_ary_spec.rb +4 -3
- data/spec/unit/veritas/visitable/accept_spec.rb +16 -0
- data/tasks/quality/heckle.rake +8 -8
- data/tasks/spec.rake +0 -3
- data/veritas.gemspec +1339 -1311
- metadata +95 -57
- data/.gitignore +0 -34
- data/Gemfile.lock +0 -122
- data/spec/unit/veritas/abstract_class/fixtures/classes.rb +0 -7
- data/spec/unit/veritas/logic/proposition/fixtures/classes.rb +0 -8
- data/spec/unit/veritas/optimizer/relation/operation/combine/optimize_spec.rb +0 -15
- data/spec/unit/veritas/relation/operation/combine/header_spec.rb +0 -18
- data/spec/unit/veritas/relation/operation/limit/to_i_spec.rb +0 -12
- data/spec/unit/veritas/relation/operation/offset/to_i_spec.rb +0 -12
@@ -2,49 +2,64 @@ require 'spec_helper'
|
|
2
2
|
require File.expand_path('../fixtures/classes', __FILE__)
|
3
3
|
|
4
4
|
describe 'Veritas::Logic::Predicate#eql?' do
|
5
|
-
subject {
|
5
|
+
subject { object.eql?(other) }
|
6
6
|
|
7
|
-
let(:
|
8
|
-
let(:
|
7
|
+
let(:klass) { PredicateSpecs::Object }
|
8
|
+
let(:left) { Attribute::Integer.new(:id) }
|
9
|
+
let(:right) { 1 }
|
10
|
+
let(:object) { klass.new(left, right) }
|
9
11
|
|
10
|
-
context 'with the same
|
11
|
-
let(:other) {
|
12
|
+
context 'with the same object' do
|
13
|
+
let(:other) { object }
|
12
14
|
|
13
15
|
it { should be(true) }
|
14
16
|
|
15
17
|
it 'is symmetric' do
|
16
|
-
should == other.eql?(
|
18
|
+
should == other.eql?(object)
|
17
19
|
end
|
18
20
|
end
|
19
21
|
|
20
|
-
context 'with an equivalent
|
21
|
-
let(:other) {
|
22
|
+
context 'with an equivalent object' do
|
23
|
+
let(:other) { object.dup }
|
22
24
|
|
23
25
|
it { should be(true) }
|
24
26
|
|
25
27
|
it 'is symmetric' do
|
26
|
-
should == other.eql?(
|
28
|
+
should == other.eql?(object)
|
27
29
|
end
|
28
30
|
end
|
29
31
|
|
30
|
-
context 'with a
|
31
|
-
let(:
|
32
|
-
let(:other) { PredicateSpecs::Object.new(other_attribute, 1) }
|
32
|
+
context 'with an equivalent object of a subclass' do
|
33
|
+
let(:other) { Class.new(klass).new(left, right) }
|
33
34
|
|
34
35
|
it { should be(false) }
|
35
36
|
|
36
37
|
it 'is symmetric' do
|
37
|
-
should == other.eql?(
|
38
|
+
should == other.eql?(object)
|
38
39
|
end
|
39
40
|
end
|
40
41
|
|
41
|
-
context 'with an
|
42
|
-
let(:
|
42
|
+
context 'with an object having a different left' do
|
43
|
+
let(:other_left) { Attribute::String.new(:name) }
|
44
|
+
let(:other_right) { right }
|
45
|
+
let(:other) { klass.new(other_left, other_right) }
|
43
46
|
|
44
47
|
it { should be(false) }
|
45
48
|
|
46
49
|
it 'is symmetric' do
|
47
|
-
should == other.eql?(
|
50
|
+
should == other.eql?(object)
|
51
|
+
end
|
52
|
+
end
|
53
|
+
|
54
|
+
context 'with an object having a different right' do
|
55
|
+
let(:other_left) { left }
|
56
|
+
let(:other_right) { 2 }
|
57
|
+
let(:other) { klass.new(other_left, other_right) }
|
58
|
+
|
59
|
+
it { should be(false) }
|
60
|
+
|
61
|
+
it 'is symmetric' do
|
62
|
+
should == other.eql?(object)
|
48
63
|
end
|
49
64
|
end
|
50
65
|
end
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Equality.call' do
|
4
|
-
subject {
|
4
|
+
subject { object.call(left, right) }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::Equality }
|
5
7
|
|
6
8
|
context 'when left is equal to right' do
|
7
9
|
let(:left) { true }
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Equality.inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::Equality }
|
5
7
|
|
6
8
|
it { should equal(Logic::Predicate::Inequality) }
|
7
9
|
end
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Equality.reverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.reverse }
|
5
5
|
|
6
|
-
|
6
|
+
let(:object) { Logic::Predicate::Equality }
|
7
|
+
|
8
|
+
it { should equal(object) }
|
7
9
|
end
|
@@ -1,10 +1,11 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Equality#inspect' do
|
4
|
-
subject {
|
4
|
+
subject { object.inspect }
|
5
5
|
|
6
|
+
let(:klass) { Logic::Predicate::Equality }
|
6
7
|
let(:attribute) { Attribute::Integer.new(:id) }
|
7
|
-
let(:
|
8
|
+
let(:object) { klass.new(attribute, 1) }
|
8
9
|
|
9
10
|
it { should == "#{attribute.inspect} == 1" }
|
10
11
|
end
|
@@ -1,16 +1,21 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Equality#inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
5
|
|
6
|
+
let(:klass) { Logic::Predicate::Equality }
|
6
7
|
let(:attribute) { Attribute::Integer.new(:id) }
|
7
|
-
let(:
|
8
|
+
let(:object) { klass.new(attribute, 1) }
|
8
9
|
|
9
|
-
|
10
|
+
it_should_behave_like 'an idempotent method'
|
11
|
+
|
12
|
+
it { should be_kind_of(Logic::Predicate::Inequality) }
|
13
|
+
|
14
|
+
its(:left) { should equal(attribute) }
|
15
|
+
|
16
|
+
its(:right) { should == 1 }
|
10
17
|
|
11
18
|
it 'is invertible' do
|
12
|
-
subject.inverse.should equal(
|
19
|
+
subject.inverse.should equal(object)
|
13
20
|
end
|
14
|
-
|
15
|
-
it_should_behave_like 'an idempotent method'
|
16
21
|
end
|
@@ -2,9 +2,11 @@ require 'spec_helper'
|
|
2
2
|
require File.expand_path('../fixtures/classes', __FILE__)
|
3
3
|
|
4
4
|
describe 'Veritas::Logic::Predicate::Equality::Methods#eq' do
|
5
|
-
subject {
|
5
|
+
subject { object.eq(other) }
|
6
6
|
|
7
|
-
let(:
|
7
|
+
let(:klass) { EqualityMethodsSpecs::Object }
|
8
|
+
let(:other) { true }
|
9
|
+
let(:object) { klass.new }
|
8
10
|
|
9
11
|
it { should be_kind_of(Logic::Predicate::Equality) }
|
10
12
|
end
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Exclusion.call' do
|
4
|
-
subject {
|
4
|
+
subject { object.call(left, right) }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::Exclusion }
|
5
7
|
|
6
8
|
context 'when left is excluded from right' do
|
7
9
|
let(:left) { 1 }
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Exclusion.inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::Exclusion }
|
5
7
|
|
6
8
|
it { should equal(Logic::Predicate::Inclusion) }
|
7
9
|
end
|
@@ -3,11 +3,11 @@
|
|
3
3
|
require 'spec_helper'
|
4
4
|
|
5
5
|
describe 'Veritas::Logic::Predicate::Exclusion#inspect' do
|
6
|
-
subject {
|
6
|
+
subject { object.inspect }
|
7
7
|
|
8
8
|
let(:klass) { Logic::Predicate::Exclusion }
|
9
9
|
let(:attribute) { Attribute::Integer.new(:id) }
|
10
|
-
let(:
|
10
|
+
let(:object) { klass.new(attribute, [ 1 ]) }
|
11
11
|
|
12
12
|
it { should == "#{attribute.inspect} ∉ #{[ 1 ].inspect}" }
|
13
13
|
end
|
@@ -1,16 +1,22 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Exclusion#inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:
|
6
|
+
let(:klass) { Logic::Predicate::Exclusion }
|
7
|
+
let(:attribute) { Attribute::Integer.new(:id) }
|
8
|
+
let(:enumerable) { [ 1 ].freeze }
|
9
|
+
let(:object) { klass.new(attribute, enumerable) }
|
8
10
|
|
9
|
-
|
11
|
+
it_should_behave_like 'an idempotent method'
|
12
|
+
|
13
|
+
it { should be_kind_of(Logic::Predicate::Inclusion) }
|
14
|
+
|
15
|
+
its(:left) { should equal(attribute) }
|
16
|
+
|
17
|
+
its(:right) { should equal(enumerable) }
|
10
18
|
|
11
19
|
it 'is invertible' do
|
12
|
-
subject.inverse.should equal(
|
20
|
+
subject.inverse.should equal(object)
|
13
21
|
end
|
14
|
-
|
15
|
-
it_should_behave_like 'an idempotent method'
|
16
22
|
end
|
@@ -2,10 +2,11 @@ require 'spec_helper'
|
|
2
2
|
require File.expand_path('../fixtures/classes', __FILE__)
|
3
3
|
|
4
4
|
describe 'Veritas::Logic::Predicate::Exclusion::Methods#exclude' do
|
5
|
-
subject {
|
5
|
+
subject { object.exclude(other) }
|
6
6
|
|
7
|
-
let(:
|
8
|
-
let(:
|
7
|
+
let(:klass) { ExclusionMethodsSpecs::Object }
|
8
|
+
let(:other) { [ true, false ] }
|
9
|
+
let(:object) { klass.new }
|
9
10
|
|
10
11
|
it { should be_kind_of(Logic::Predicate::Exclusion) }
|
11
12
|
end
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThan.call' do
|
4
|
-
subject {
|
4
|
+
subject { object.call(left, right) }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::GreaterThan }
|
5
7
|
|
6
8
|
context 'when left is equal to right' do
|
7
9
|
let(:left) { 1 }
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThan.inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::GreaterThan }
|
5
7
|
|
6
8
|
it { should equal(Logic::Predicate::LessThanOrEqualTo) }
|
7
9
|
end
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThan.reverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.reverse }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::GreaterThan }
|
5
7
|
|
6
8
|
it { should equal(Logic::Predicate::LessThan) }
|
7
9
|
end
|
@@ -1,10 +1,11 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThan#inspect' do
|
4
|
-
subject {
|
4
|
+
subject { object.inspect }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:
|
6
|
+
let(:klass) { Logic::Predicate::GreaterThan }
|
7
|
+
let(:attribute) { Attribute::Integer.new(:id) }
|
8
|
+
let(:object) { klass.new(attribute, 1) }
|
8
9
|
|
9
10
|
it { should == "#{attribute.inspect} > 1" }
|
10
11
|
end
|
@@ -1,16 +1,21 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThan#inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:
|
6
|
+
let(:klass) { Logic::Predicate::GreaterThan }
|
7
|
+
let(:attribute) { Attribute::Integer.new(:id) }
|
8
|
+
let(:object) { klass.new(attribute, 1) }
|
8
9
|
|
9
|
-
|
10
|
+
it_should_behave_like 'an idempotent method'
|
11
|
+
|
12
|
+
it { should be_kind_of(Logic::Predicate::LessThanOrEqualTo) }
|
13
|
+
|
14
|
+
its(:left) { should equal(attribute) }
|
15
|
+
|
16
|
+
its(:right) { should == 1 }
|
10
17
|
|
11
18
|
it 'is invertible' do
|
12
|
-
subject.inverse.should equal(
|
19
|
+
subject.inverse.should equal(object)
|
13
20
|
end
|
14
|
-
|
15
|
-
it_should_behave_like 'an idempotent method'
|
16
21
|
end
|
@@ -2,9 +2,11 @@ require 'spec_helper'
|
|
2
2
|
require File.expand_path('../fixtures/classes', __FILE__)
|
3
3
|
|
4
4
|
describe 'Veritas::Logic::Predicate::GreaterThan::Methods#gt' do
|
5
|
-
subject {
|
5
|
+
subject { object.gt(other) }
|
6
6
|
|
7
|
-
let(:
|
7
|
+
let(:klass) { GreaterThanMethodsSpecs::Object }
|
8
|
+
let(:other) { 1 }
|
9
|
+
let(:object) { klass.new }
|
8
10
|
|
9
11
|
it { should be_kind_of(Logic::Predicate::GreaterThan) }
|
10
12
|
end
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThanOrEqualTo.call' do
|
4
|
-
subject {
|
4
|
+
subject { object.call(left, right) }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::GreaterThanOrEqualTo }
|
5
7
|
|
6
8
|
context 'when left is equal to right' do
|
7
9
|
let(:left) { 1 }
|
data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/inverse_spec.rb
CHANGED
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThanOrEqualTo.inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::GreaterThanOrEqualTo }
|
5
7
|
|
6
8
|
it { should equal(Logic::Predicate::LessThan) }
|
7
9
|
end
|
data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/operation_spec.rb
CHANGED
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThanOrEqualTo.operation' do
|
4
|
-
subject {
|
4
|
+
subject { object.operation }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::GreaterThanOrEqualTo }
|
5
7
|
|
6
8
|
it { should be(:>=) }
|
7
9
|
end
|
data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/reverse_spec.rb
CHANGED
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThanOrEqualTo.reverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.reverse }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::GreaterThanOrEqualTo }
|
5
7
|
|
6
8
|
it { should equal(Logic::Predicate::LessThanOrEqualTo) }
|
7
9
|
end
|
@@ -1,10 +1,11 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThanOrEqualTo#inspect' do
|
4
|
-
subject {
|
4
|
+
subject { object.inspect }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:
|
6
|
+
let(:klass) { Logic::Predicate::GreaterThanOrEqualTo }
|
7
|
+
let(:attribute) { Attribute::Integer.new(:id) }
|
8
|
+
let(:object) { klass.new(attribute, 1) }
|
8
9
|
|
9
10
|
it { should == "#{attribute.inspect} >= 1" }
|
10
11
|
end
|
@@ -1,16 +1,21 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::GreaterThanOrEqualTo#inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:
|
6
|
+
let(:klass) { Logic::Predicate::GreaterThanOrEqualTo }
|
7
|
+
let(:attribute) { Attribute::Integer.new(:id) }
|
8
|
+
let(:object) { klass.new(attribute, 1) }
|
8
9
|
|
9
|
-
|
10
|
+
it_should_behave_like 'an idempotent method'
|
11
|
+
|
12
|
+
it { should be_kind_of(Logic::Predicate::LessThan) }
|
13
|
+
|
14
|
+
its(:left) { should equal(attribute) }
|
15
|
+
|
16
|
+
its(:right) { should == 1 }
|
10
17
|
|
11
18
|
it 'is invertible' do
|
12
|
-
subject.inverse.should equal(
|
19
|
+
subject.inverse.should equal(object)
|
13
20
|
end
|
14
|
-
|
15
|
-
it_should_behave_like 'an idempotent method'
|
16
21
|
end
|
@@ -2,9 +2,11 @@ require 'spec_helper'
|
|
2
2
|
require File.expand_path('../fixtures/classes', __FILE__)
|
3
3
|
|
4
4
|
describe 'Veritas::Logic::Predicate::GreaterThanOrEqualTo::Methods#gte' do
|
5
|
-
subject {
|
5
|
+
subject { object.gte(other) }
|
6
6
|
|
7
|
-
let(:
|
7
|
+
let(:klass) { GreaterThanOrEqualToMethodsSpecs::Object }
|
8
|
+
let(:other) { 1 }
|
9
|
+
let(:object) { klass.new }
|
8
10
|
|
9
11
|
it { should be_kind_of(Logic::Predicate::GreaterThanOrEqualTo) }
|
10
12
|
end
|
@@ -2,14 +2,14 @@ require 'spec_helper'
|
|
2
2
|
require File.expand_path('../fixtures/classes', __FILE__)
|
3
3
|
|
4
4
|
describe 'Veritas::Logic::Predicate#hash' do
|
5
|
-
subject {
|
5
|
+
subject { object.hash }
|
6
6
|
|
7
|
-
let(:
|
8
|
-
let(:
|
7
|
+
let(:klass) { PredicateSpecs::Object }
|
8
|
+
let(:left) { Attribute::Integer.new(:id) }
|
9
|
+
let(:right) { 1 }
|
10
|
+
let(:object) { klass.new(left, right) }
|
9
11
|
|
10
|
-
|
12
|
+
it_should_behave_like 'a hash method'
|
11
13
|
|
12
|
-
it { should ==
|
13
|
-
|
14
|
-
it_should_behave_like 'an idempotent method'
|
14
|
+
it { should == klass.hash ^ left.hash ^ right.hash }
|
15
15
|
end
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Inclusion.call' do
|
4
|
-
subject {
|
4
|
+
subject { object.call(left, right) }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::Inclusion }
|
5
7
|
|
6
8
|
context 'when left is included in right' do
|
7
9
|
let(:left) { 1 }
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Inclusion.inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::Inclusion }
|
5
7
|
|
6
8
|
it { should equal(Logic::Predicate::Exclusion) }
|
7
9
|
end
|
@@ -3,11 +3,11 @@
|
|
3
3
|
require 'spec_helper'
|
4
4
|
|
5
5
|
describe 'Veritas::Logic::Predicate::Inclusion#inspect' do
|
6
|
-
subject {
|
6
|
+
subject { object.inspect }
|
7
7
|
|
8
8
|
let(:klass) { Logic::Predicate::Inclusion }
|
9
9
|
let(:attribute) { Attribute::Integer.new(:id) }
|
10
|
-
let(:
|
10
|
+
let(:object) { klass.new(attribute, [ 1 ]) }
|
11
11
|
|
12
12
|
it { should == "#{attribute.inspect} ∈ #{[ 1 ].inspect}" }
|
13
13
|
end
|
@@ -1,16 +1,22 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Inclusion#inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:
|
6
|
+
let(:klass) { Logic::Predicate::Inclusion }
|
7
|
+
let(:attribute) { Attribute::Integer.new(:id) }
|
8
|
+
let(:enumerable) { [ 1 ].freeze }
|
9
|
+
let(:object) { klass.new(attribute, enumerable) }
|
8
10
|
|
9
|
-
|
11
|
+
it_should_behave_like 'an idempotent method'
|
12
|
+
|
13
|
+
it { should be_kind_of(Logic::Predicate::Exclusion) }
|
14
|
+
|
15
|
+
its(:left) { should equal(attribute) }
|
16
|
+
|
17
|
+
its(:right) { should equal(enumerable) }
|
10
18
|
|
11
19
|
it 'is invertible' do
|
12
|
-
subject.inverse.should equal(
|
20
|
+
subject.inverse.should equal(object)
|
13
21
|
end
|
14
|
-
|
15
|
-
it_should_behave_like 'an idempotent method'
|
16
22
|
end
|
@@ -2,10 +2,11 @@ require 'spec_helper'
|
|
2
2
|
require File.expand_path('../fixtures/classes', __FILE__)
|
3
3
|
|
4
4
|
describe 'Veritas::Logic::Predicate::Inclusion::Methods#include' do
|
5
|
-
subject {
|
5
|
+
subject { object.include(other) }
|
6
6
|
|
7
|
-
let(:
|
8
|
-
let(:
|
7
|
+
let(:klass) { InclusionMethodsSpecs::Object }
|
8
|
+
let(:other) { [ true, false ] }
|
9
|
+
let(:object) { klass.new }
|
9
10
|
|
10
11
|
it { should be_kind_of(Logic::Predicate::Inclusion) }
|
11
12
|
end
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Inequality.call' do
|
4
|
-
subject {
|
4
|
+
subject { object.call(left, right) }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::Inequality }
|
5
7
|
|
6
8
|
context 'when left is equal to right' do
|
7
9
|
let(:left) { true }
|
@@ -1,7 +1,9 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
3
|
describe 'Veritas::Logic::Predicate::Inequality.inverse' do
|
4
|
-
subject {
|
4
|
+
subject { object.inverse }
|
5
|
+
|
6
|
+
let(:object) { Logic::Predicate::Inequality }
|
5
7
|
|
6
8
|
it { should equal(Logic::Predicate::Equality) }
|
7
9
|
end
|