veritas 0.0.2 → 0.0.3
Sign up to get free protection for your applications and to get access to all the features.
- data/Gemfile +14 -15
- data/README.rdoc +4 -4
- data/Rakefile +0 -1
- data/TODO +0 -85
- data/benchmarks/speed.rb +14 -14
- data/config/flay.yml +2 -2
- data/config/flog.yml +1 -1
- data/config/roodi.yml +3 -3
- data/lib/veritas.rb +75 -8
- data/lib/veritas/algebra/difference.rb +1 -0
- data/lib/veritas/algebra/extension.rb +1 -40
- data/lib/veritas/algebra/intersection.rb +1 -0
- data/lib/veritas/algebra/join.rb +1 -0
- data/lib/veritas/algebra/product.rb +1 -0
- data/lib/veritas/algebra/projection.rb +1 -0
- data/lib/veritas/algebra/rename.rb +2 -3
- data/lib/veritas/algebra/rename/aliases.rb +34 -0
- data/lib/veritas/algebra/restriction.rb +1 -0
- data/lib/veritas/algebra/summarization.rb +1 -0
- data/lib/veritas/algebra/union.rb +1 -0
- data/lib/veritas/attribute.rb +0 -17
- data/lib/veritas/logic/connective.rb +0 -7
- data/lib/veritas/logic/connective/binary.rb +16 -0
- data/lib/veritas/logic/connective/unary.rb +15 -0
- data/lib/veritas/logic/expression.rb +2 -2
- data/lib/veritas/logic/predicate.rb +16 -14
- data/lib/veritas/logic/proposition.rb +21 -10
- data/lib/veritas/logic/proposition/{false.rb → contradiction.rb} +8 -8
- data/lib/veritas/logic/proposition/{true.rb → tautology.rb} +8 -8
- data/lib/veritas/relation.rb +2 -14
- data/lib/veritas/relation/header.rb +69 -8
- data/lib/veritas/relation/operation/limit.rb +1 -0
- data/lib/veritas/relation/operation/offset.rb +1 -0
- data/lib/veritas/relation/operation/order.rb +1 -3
- data/lib/veritas/relation/operation/order/direction_set.rb +1 -0
- data/lib/veritas/relation/operation/reverse.rb +1 -0
- data/lib/veritas/support/immutable.rb +33 -63
- data/lib/veritas/support/visitable.rb +3 -0
- data/lib/veritas/version.rb +1 -1
- data/spec/integration/veritas/algebra/join_spec.rb +1 -1
- data/spec/integration/veritas/algebra/product_spec.rb +1 -1
- data/spec/integration/veritas/algebra/projection_spec.rb +1 -1
- data/spec/integration/veritas/algebra/summarization_spec.rb +1 -1
- data/spec/integration/veritas/relation/efficient_enumerable_spec.rb +3 -3
- data/spec/shared/each_method_behaviour.rb +13 -0
- data/spec/spec_helper.rb +0 -1
- data/spec/unit/date/pred_spec.rb +3 -4
- data/spec/unit/range/overlaps_spec.rb +1 -1
- data/spec/unit/range/to_inclusive_spec.rb +13 -7
- data/spec/unit/time/pred_spec.rb +3 -4
- data/spec/unit/veritas/abstract_class/class_methods/new_spec.rb +1 -1
- data/spec/unit/veritas/algebra/difference/each_spec.rb +7 -8
- data/spec/unit/veritas/algebra/difference/methods/difference_spec.rb +5 -5
- data/spec/unit/veritas/algebra/extension/class_methods/new_spec.rb +3 -3
- data/spec/unit/veritas/algebra/extension/each_spec.rb +3 -4
- data/spec/unit/veritas/algebra/extension/eql_spec.rb +9 -10
- data/spec/unit/veritas/algebra/extension/extensions_spec.rb +2 -3
- data/spec/unit/veritas/algebra/extension/hash_spec.rb +3 -4
- data/spec/unit/veritas/algebra/extension/header_spec.rb +2 -3
- data/spec/unit/veritas/algebra/extension/methods/extend_spec.rb +5 -5
- data/spec/unit/veritas/algebra/extension/operand_spec.rb +2 -3
- data/spec/unit/veritas/algebra/intersection/each_spec.rb +7 -8
- data/spec/unit/veritas/algebra/intersection/methods/intersect_spec.rb +5 -5
- data/spec/unit/veritas/algebra/join/class_methods/new_spec.rb +2 -2
- data/spec/unit/veritas/algebra/join/each_spec.rb +3 -4
- data/spec/unit/veritas/algebra/join/methods/join_spec.rb +7 -7
- data/spec/unit/veritas/algebra/product/class_methods/new_spec.rb +2 -2
- data/spec/unit/veritas/algebra/product/each_spec.rb +3 -4
- data/spec/unit/veritas/algebra/product/methods/product_spec.rb +4 -4
- data/spec/unit/veritas/algebra/projection/directions_spec.rb +2 -3
- data/spec/unit/veritas/algebra/projection/each_spec.rb +3 -4
- data/spec/unit/veritas/algebra/projection/eql_spec.rb +9 -10
- data/spec/unit/veritas/algebra/projection/hash_spec.rb +6 -7
- data/spec/unit/veritas/algebra/projection/header_spec.rb +2 -3
- data/spec/unit/veritas/algebra/projection/methods/project_spec.rb +4 -4
- data/spec/unit/veritas/algebra/projection/methods/remove_spec.rb +4 -4
- data/spec/unit/veritas/algebra/rename/aliases/class_methods/coerce_spec.rb +2 -2
- data/spec/unit/veritas/algebra/rename/aliases/class_methods/new_spec.rb +21 -0
- data/spec/unit/veritas/algebra/rename/aliases/each_spec.rb +3 -4
- data/spec/unit/veritas/algebra/rename/aliases/element_reference_spec.rb +3 -4
- data/spec/unit/veritas/algebra/rename/aliases/empty_spec.rb +3 -4
- data/spec/unit/veritas/algebra/rename/aliases/eql_spec.rb +4 -5
- data/spec/unit/veritas/algebra/rename/aliases/equal_value_spec.rb +4 -5
- data/spec/unit/veritas/algebra/rename/aliases/hash_spec.rb +3 -4
- data/spec/unit/veritas/algebra/rename/aliases/to_hash_spec.rb +3 -4
- data/spec/unit/veritas/algebra/rename/aliases/union_spec.rb +18 -19
- data/spec/unit/veritas/algebra/rename/aliases_spec.rb +4 -5
- data/spec/unit/veritas/algebra/rename/directions_spec.rb +3 -4
- data/spec/unit/veritas/algebra/rename/each_spec.rb +5 -6
- data/spec/unit/veritas/algebra/rename/eql_spec.rb +9 -10
- data/spec/unit/veritas/algebra/rename/hash_spec.rb +5 -6
- data/spec/unit/veritas/algebra/rename/header_spec.rb +3 -4
- data/spec/unit/veritas/algebra/rename/methods/rename_spec.rb +5 -5
- data/spec/unit/veritas/algebra/restriction/each_spec.rb +3 -4
- data/spec/unit/veritas/algebra/restriction/eql_spec.rb +9 -10
- data/spec/unit/veritas/algebra/restriction/hash_spec.rb +3 -4
- data/spec/unit/veritas/algebra/restriction/methods/restrict_spec.rb +3 -3
- data/spec/unit/veritas/algebra/restriction/predicate_spec.rb +2 -3
- data/spec/unit/veritas/algebra/summarization/class_methods/summarize_spec.rb +2 -2
- data/spec/unit/veritas/algebra/summarization/each_spec.rb +6 -7
- data/spec/unit/veritas/algebra/summarization/eql_spec.rb +18 -19
- data/spec/unit/veritas/algebra/summarization/hash_spec.rb +6 -7
- data/spec/unit/veritas/algebra/summarization/header_spec.rb +2 -3
- data/spec/unit/veritas/algebra/summarization/methods/summarize_spec.rb +5 -5
- data/spec/unit/veritas/algebra/summarization/summarize_by_spec.rb +2 -3
- data/spec/unit/veritas/algebra/summarization/summarizers_spec.rb +2 -3
- data/spec/unit/veritas/algebra/union/each_spec.rb +7 -8
- data/spec/unit/veritas/algebra/union/methods/union_spec.rb +5 -5
- data/spec/unit/veritas/aliasable/inheritable_alias_spec.rb +1 -1
- data/spec/unit/veritas/attribute/boolean/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/boolean/valid_value_spec.rb +2 -3
- data/spec/unit/veritas/attribute/call_spec.rb +5 -5
- data/spec/unit/veritas/attribute/class/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/class_methods/coerce_spec.rb +2 -2
- data/spec/unit/veritas/attribute/class_methods/name_from_spec.rb +2 -2
- data/spec/unit/veritas/attribute/class_methods/new_spec.rb +5 -5
- data/spec/unit/veritas/attribute/comparable/comparable_spec.rb +5 -5
- data/spec/unit/veritas/attribute/date/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/date/range_spec.rb +2 -3
- data/spec/unit/veritas/attribute/date_time/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/date_time/range_spec.rb +2 -3
- data/spec/unit/veritas/attribute/decimal/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/eql_spec.rb +7 -7
- data/spec/unit/veritas/attribute/equal_value_spec.rb +7 -7
- data/spec/unit/veritas/attribute/float/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/hash_spec.rb +6 -6
- data/spec/unit/veritas/attribute/inspect_spec.rb +3 -3
- data/spec/unit/veritas/attribute/integer/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/joinable_spec.rb +4 -4
- data/spec/unit/veritas/attribute/name_spec.rb +4 -4
- data/spec/unit/veritas/attribute/numeric/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/numeric/joinable_spec.rb +5 -6
- data/spec/unit/veritas/attribute/numeric/size_spec.rb +3 -5
- data/spec/unit/veritas/attribute/numeric/valid_value_spec.rb +2 -3
- data/spec/unit/veritas/attribute/object/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/options_spec.rb +7 -7
- data/spec/unit/veritas/attribute/orderable/asc_spec.rb +3 -3
- data/spec/unit/veritas/attribute/orderable/desc_spec.rb +3 -3
- data/spec/unit/veritas/attribute/rename_spec.rb +4 -4
- data/spec/unit/veritas/attribute/required_spec.rb +5 -5
- data/spec/unit/veritas/attribute/string/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/string/joinable_spec.rb +4 -5
- data/spec/unit/veritas/attribute/string/length_spec.rb +4 -6
- data/spec/unit/veritas/attribute/string/valid_value_spec.rb +2 -3
- data/spec/unit/veritas/attribute/time/class_methods/primitive_spec.rb +2 -2
- data/spec/unit/veritas/attribute/time/range_spec.rb +2 -3
- data/spec/unit/veritas/attribute/valid_primitive_spec.rb +3 -3
- data/spec/unit/veritas/attribute/valid_value_spec.rb +8 -8
- data/spec/unit/veritas/evaluator/expression/add_spec.rb +3 -4
- data/spec/unit/veritas/evaluator/expression/expressions_spec.rb +4 -5
- data/spec/unit/veritas/immutable/class_methods/freeze_object_spec.rb +2 -2
- data/spec/unit/veritas/immutable/class_methods/new_spec.rb +1 -1
- data/spec/unit/veritas/immutable/dup_spec.rb +3 -3
- data/spec/unit/veritas/immutable/{memoize_methods/freeze_spec.rb → freeze_spec.rb} +6 -6
- data/spec/unit/veritas/immutable/memoize_spec.rb +14 -7
- data/spec/unit/veritas/immutable/memoized_spec.rb +27 -0
- data/spec/unit/veritas/immutable/memory/element_reference_spec.rb +2 -3
- data/spec/unit/veritas/immutable/memory/element_set_spec.rb +2 -3
- data/spec/unit/veritas/immutable/module_methods/included_spec.rb +1 -1
- data/spec/unit/veritas/immutable/module_methods/memoize_spec.rb +2 -2
- data/spec/unit/veritas/logic/connective/binary/call_spec.rb +9 -9
- data/spec/unit/veritas/logic/connective/binary/equal_value_spec.rb +65 -0
- data/spec/unit/veritas/logic/connective/binary/rename_spec.rb +10 -10
- data/spec/unit/veritas/logic/connective/conjunction/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/connective/conjunction/inspect_spec.rb +6 -7
- data/spec/unit/veritas/logic/connective/conjunction/methods/and_spec.rb +5 -5
- data/spec/unit/veritas/logic/connective/disjunction/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/connective/disjunction/inspect_spec.rb +6 -7
- data/spec/unit/veritas/logic/connective/disjunction/methods/or_spec.rb +5 -5
- data/spec/unit/veritas/logic/connective/inspect_spec.rb +4 -4
- data/spec/unit/veritas/logic/connective/inverse_spec.rb +5 -5
- data/spec/unit/veritas/logic/connective/negation/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/connective/negation/inspect_spec.rb +4 -5
- data/spec/unit/veritas/logic/connective/negation/inverse_spec.rb +4 -5
- data/spec/unit/veritas/logic/connective/negation/methods/not_spec.rb +5 -5
- data/spec/unit/veritas/logic/connective/unary/call_spec.rb +8 -8
- data/spec/unit/veritas/logic/connective/unary/equal_value_spec.rb +53 -0
- data/spec/unit/veritas/logic/connective/unary/rename_spec.rb +8 -8
- data/spec/unit/veritas/logic/expression/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/expression/eql_spec.rb +4 -4
- data/spec/unit/veritas/logic/expression/equal_value_spec.rb +5 -53
- data/spec/unit/veritas/logic/expression/hash_spec.rb +4 -4
- data/spec/unit/veritas/logic/expression/inspect_spec.rb +4 -4
- data/spec/unit/veritas/logic/expression/inverse_spec.rb +4 -4
- data/spec/unit/veritas/logic/expression/rename_spec.rb +5 -5
- data/spec/unit/veritas/logic/predicate/call_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/class_methods/call_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/class_methods/extract_value_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/comparable/class_methods/call_spec.rb +1 -1
- data/spec/unit/veritas/logic/predicate/comparable/inspect_spec.rb +5 -5
- data/spec/unit/veritas/logic/predicate/enumerable/class_methods/compare_method_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/eql_spec.rb +13 -14
- data/spec/unit/veritas/logic/predicate/equal_value_spec.rb +64 -0
- data/spec/unit/veritas/logic/predicate/equality/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/equality/class_methods/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/equality/class_methods/operation_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/equality/class_methods/reverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/equality/inspect_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/equality/inverse_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/equality/methods/eq_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/exclusion/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/exclusion/class_methods/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/exclusion/inspect_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/exclusion/inverse_spec.rb +4 -5
- data/spec/unit/veritas/logic/predicate/exclusion/methods/exclude_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/greater_than/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/greater_than/class_methods/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/greater_than/class_methods/operation_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/greater_than/class_methods/reverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/greater_than/inspect_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/greater_than/inverse_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/greater_than/methods/gt_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/operation_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/reverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/inspect_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/inverse_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/methods/gte_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/hash_spec.rb +5 -6
- data/spec/unit/veritas/logic/predicate/inclusion/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/inclusion/class_methods/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/inclusion/inspect_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/inclusion/inverse_spec.rb +4 -5
- data/spec/unit/veritas/logic/predicate/inclusion/methods/include_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/inequality/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/inequality/class_methods/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/inequality/class_methods/operation_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/inequality/class_methods/reverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/inequality/inspect_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/inequality/inverse_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/inequality/methods/ne_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/inspect_spec.rb +4 -5
- data/spec/unit/veritas/logic/predicate/inverse_spec.rb +6 -6
- data/spec/unit/veritas/logic/predicate/less_than/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/less_than/class_methods/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/less_than/class_methods/operation_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/less_than/class_methods/reverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/less_than/inspect_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/less_than/inverse_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/less_than/methods/lt_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/operation_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/reverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/inspect_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/inverse_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/methods/lte_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/match/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/match/class_methods/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/match/class_methods/operation_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/match/inspect_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/match/inverse_spec.rb +4 -5
- data/spec/unit/veritas/logic/predicate/match/methods/match_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/no_match/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/no_match/class_methods/inverse_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/no_match/class_methods/operation_spec.rb +2 -2
- data/spec/unit/veritas/logic/predicate/no_match/inspect_spec.rb +3 -4
- data/spec/unit/veritas/logic/predicate/no_match/inverse_spec.rb +4 -5
- data/spec/unit/veritas/logic/predicate/no_match/methods/no_match_spec.rb +4 -4
- data/spec/unit/veritas/logic/predicate/rename_spec.rb +5 -6
- data/spec/unit/veritas/logic/proposition/call_spec.rb +4 -4
- data/spec/unit/veritas/logic/proposition/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/logic/proposition/class_methods/new_spec.rb +4 -4
- data/spec/unit/veritas/logic/proposition/contradiction/and_spec.rb +10 -0
- data/spec/unit/veritas/logic/proposition/contradiction/class_methods/call_spec.rb +9 -0
- data/spec/unit/veritas/logic/proposition/contradiction/class_methods/inverse_spec.rb +9 -0
- data/spec/unit/veritas/logic/proposition/contradiction/inspect_spec.rb +9 -0
- data/spec/unit/veritas/logic/proposition/contradiction/inverse_spec.rb +15 -0
- data/spec/unit/veritas/logic/proposition/contradiction/or_spec.rb +10 -0
- data/spec/unit/veritas/logic/proposition/eql_spec.rb +14 -4
- data/spec/unit/veritas/logic/proposition/equal_value_spec.rb +38 -0
- data/spec/unit/veritas/logic/proposition/hash_spec.rb +4 -4
- data/spec/unit/veritas/logic/proposition/inspect_spec.rb +5 -5
- data/spec/unit/veritas/logic/proposition/inverse_spec.rb +5 -5
- data/spec/unit/veritas/logic/proposition/tautology/and_spec.rb +10 -0
- data/spec/unit/veritas/logic/proposition/tautology/class_methods/call_spec.rb +9 -0
- data/spec/unit/veritas/logic/proposition/tautology/class_methods/inverse_spec.rb +9 -0
- data/spec/unit/veritas/logic/proposition/tautology/inspect_spec.rb +9 -0
- data/spec/unit/veritas/logic/proposition/tautology/inverse_spec.rb +15 -0
- data/spec/unit/veritas/logic/proposition/tautology/or_spec.rb +10 -0
- data/spec/unit/veritas/operation/binary/eql_spec.rb +14 -14
- data/spec/unit/veritas/operation/binary/hash_spec.rb +6 -6
- data/spec/unit/veritas/operation/binary/left_spec.rb +4 -4
- data/spec/unit/veritas/operation/binary/right_spec.rb +4 -4
- data/spec/unit/veritas/operation/unary/eql_spec.rb +7 -7
- data/spec/unit/veritas/operation/unary/hash_spec.rb +5 -5
- data/spec/unit/veritas/operation/unary/operand_spec.rb +3 -3
- data/spec/unit/veritas/relation/class_methods/new_spec.rb +2 -2
- data/spec/unit/veritas/relation/directions_spec.rb +4 -5
- data/spec/unit/veritas/relation/each_spec.rb +5 -6
- data/spec/unit/veritas/relation/element_reference_spec.rb +5 -6
- data/spec/unit/veritas/relation/empty/each_spec.rb +4 -5
- data/spec/unit/veritas/relation/empty/empty_spec.rb +2 -3
- data/spec/unit/veritas/relation/empty/header_spec.rb +2 -3
- data/spec/unit/veritas/relation/empty_spec.rb +4 -5
- data/spec/unit/veritas/relation/eql_spec.rb +11 -12
- data/spec/unit/veritas/relation/equal_value_spec.rb +12 -13
- data/spec/unit/veritas/relation/hash_spec.rb +4 -5
- data/spec/unit/veritas/relation/header/class_methods/coerce_spec.rb +2 -2
- data/spec/unit/veritas/relation/header/class_methods/new_spec.rb +35 -0
- data/spec/unit/veritas/relation/header/difference_spec.rb +6 -7
- data/spec/unit/veritas/relation/header/each_spec.rb +6 -7
- data/spec/unit/veritas/relation/header/element_reference_spec.rb +2 -3
- data/spec/unit/veritas/relation/header/empty_spec.rb +3 -4
- data/spec/unit/veritas/relation/header/eql_spec.rb +10 -11
- data/spec/unit/veritas/relation/header/equal_value_spec.rb +10 -11
- data/spec/unit/veritas/relation/header/hash_spec.rb +3 -4
- data/spec/unit/veritas/relation/header/index_spec.rb +3 -4
- data/spec/unit/veritas/relation/header/inspect_spec.rb +3 -4
- data/spec/unit/veritas/relation/header/intersect_spec.rb +4 -5
- data/spec/unit/veritas/relation/header/project_spec.rb +4 -5
- data/spec/unit/veritas/relation/header/rename_spec.rb +4 -5
- data/spec/unit/veritas/relation/header/to_ary_spec.rb +3 -4
- data/spec/unit/veritas/relation/header/union_spec.rb +6 -7
- data/spec/unit/veritas/relation/header_spec.rb +3 -4
- data/spec/unit/veritas/relation/materialize_spec.rb +4 -5
- data/spec/unit/veritas/relation/materialized/class_methods/new_spec.rb +2 -2
- data/spec/unit/veritas/relation/materialized/empty_spec.rb +3 -4
- data/spec/unit/veritas/relation/materialized/materialize_spec.rb +2 -3
- data/spec/unit/veritas/relation/materialized/size_spec.rb +2 -3
- data/spec/unit/veritas/relation/operation/binary/directions_spec.rb +5 -5
- data/spec/unit/veritas/relation/operation/binary/header_spec.rb +5 -5
- data/spec/unit/veritas/relation/operation/combination/class_methods/combine_tuples_spec.rb +2 -2
- data/spec/unit/veritas/relation/operation/combination/header_spec.rb +5 -5
- data/spec/unit/veritas/relation/operation/limit/class_methods/new_spec.rb +2 -2
- data/spec/unit/veritas/relation/operation/limit/each_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/limit/eql_spec.rb +7 -8
- data/spec/unit/veritas/relation/operation/limit/hash_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/limit/limit_spec.rb +2 -3
- data/spec/unit/veritas/relation/operation/limit/methods/first_spec.rb +4 -4
- data/spec/unit/veritas/relation/operation/limit/methods/last_spec.rb +4 -4
- data/spec/unit/veritas/relation/operation/limit/methods/take_spec.rb +5 -5
- data/spec/unit/veritas/relation/operation/offset/class_methods/new_spec.rb +2 -2
- data/spec/unit/veritas/relation/operation/offset/each_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/offset/eql_spec.rb +7 -8
- data/spec/unit/veritas/relation/operation/offset/hash_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/offset/methods/drop_spec.rb +5 -5
- data/spec/unit/veritas/relation/operation/offset/offset_spec.rb +2 -3
- data/spec/unit/veritas/relation/operation/order/ascending/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/relation/operation/order/ascending/class_methods/reverse_spec.rb +2 -2
- data/spec/unit/veritas/relation/operation/order/ascending/reverse_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/order/class_methods/new_spec.rb +2 -2
- data/spec/unit/veritas/relation/operation/order/descending/class_methods/call_spec.rb +2 -2
- data/spec/unit/veritas/relation/operation/order/descending/class_methods/reverse_spec.rb +2 -2
- data/spec/unit/veritas/relation/operation/order/descending/reverse_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/order/direction/attribute_spec.rb +4 -4
- data/spec/unit/veritas/relation/operation/order/direction/call_spec.rb +7 -7
- data/spec/unit/veritas/relation/operation/order/direction/class_methods/coerce_spec.rb +3 -3
- data/spec/unit/veritas/relation/operation/order/direction/eql_spec.rb +7 -7
- data/spec/unit/veritas/relation/operation/order/direction/hash_spec.rb +5 -5
- data/spec/unit/veritas/relation/operation/order/direction/rename_spec.rb +6 -6
- data/spec/unit/veritas/relation/operation/order/direction/reverse_spec.rb +8 -8
- data/spec/unit/veritas/relation/operation/order/direction_set/attributes_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/order/direction_set/class_methods/coerce_spec.rb +4 -4
- data/spec/unit/veritas/relation/operation/order/direction_set/each_spec.rb +4 -5
- data/spec/unit/veritas/relation/operation/order/direction_set/empty_spec.rb +2 -3
- data/spec/unit/veritas/relation/operation/order/direction_set/eql_spec.rb +5 -6
- data/spec/unit/veritas/relation/operation/order/direction_set/equal_value_spec.rb +5 -6
- data/spec/unit/veritas/relation/operation/order/direction_set/hash_spec.rb +5 -6
- data/spec/unit/veritas/relation/operation/order/direction_set/project_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/order/direction_set/rename_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/order/direction_set/reverse_spec.rb +5 -6
- data/spec/unit/veritas/relation/operation/order/direction_set/sort_tuples_spec.rb +6 -7
- data/spec/unit/veritas/relation/operation/order/direction_set/to_ary_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/order/direction_set/union_spec.rb +6 -7
- data/spec/unit/veritas/relation/operation/order/directions_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/order/each_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/order/eql_spec.rb +9 -10
- data/spec/unit/veritas/relation/operation/order/hash_spec.rb +4 -5
- data/spec/unit/veritas/relation/operation/order/header_spec.rb +2 -3
- data/spec/unit/veritas/relation/operation/order/methods/order_spec.rb +3 -3
- data/spec/unit/veritas/relation/operation/reverse/class_methods/new_spec.rb +2 -2
- data/spec/unit/veritas/relation/operation/reverse/each_spec.rb +3 -4
- data/spec/unit/veritas/relation/operation/reverse/methods/reverse_spec.rb +4 -4
- data/spec/unit/veritas/relation/operation/set/class_methods/new_spec.rb +1 -1
- data/spec/unit/veritas/relation/operation/set/header_spec.rb +5 -5
- data/spec/unit/veritas/relation/operation/unary/directions_spec.rb +6 -6
- data/spec/unit/veritas/relation/operation/unary/header_spec.rb +5 -5
- data/spec/unit/veritas/tuple/class_methods/coerce_spec.rb +2 -2
- data/spec/unit/veritas/tuple/element_reference_spec.rb +2 -3
- data/spec/unit/veritas/tuple/eql_spec.rb +9 -10
- data/spec/unit/veritas/tuple/equal_value_spec.rb +9 -10
- data/spec/unit/veritas/tuple/extend_spec.rb +3 -4
- data/spec/unit/veritas/tuple/hash_spec.rb +3 -4
- data/spec/unit/veritas/tuple/header_spec.rb +2 -3
- data/spec/unit/veritas/tuple/inspect_spec.rb +2 -3
- data/spec/unit/veritas/tuple/join_spec.rb +3 -4
- data/spec/unit/veritas/tuple/project_spec.rb +3 -4
- data/spec/unit/veritas/tuple/to_ary_spec.rb +2 -3
- data/spec/unit/veritas/visitable/accept_spec.rb +4 -4
- data/tasks/{ci.rake → quality/ci.rake} +0 -0
- data/veritas.gemspec +57 -517
- metadata +73 -558
- data/.autotest +0 -44
- data/lib/veritas/algebra.rb +0 -10
- data/lib/veritas/logic.rb +0 -5
- data/lib/veritas/optimizer.rb +0 -94
- data/lib/veritas/optimizer/algebra.rb +0 -10
- data/lib/veritas/optimizer/algebra/difference.rb +0 -64
- data/lib/veritas/optimizer/algebra/extension.rb +0 -40
- data/lib/veritas/optimizer/algebra/intersection.rb +0 -64
- data/lib/veritas/optimizer/algebra/join.rb +0 -42
- data/lib/veritas/optimizer/algebra/product.rb +0 -68
- data/lib/veritas/optimizer/algebra/projection.rb +0 -172
- data/lib/veritas/optimizer/algebra/rename.rb +0 -394
- data/lib/veritas/optimizer/algebra/restriction.rb +0 -257
- data/lib/veritas/optimizer/algebra/summarization.rb +0 -40
- data/lib/veritas/optimizer/algebra/union.rb +0 -64
- data/lib/veritas/optimizer/logic.rb +0 -2
- data/lib/veritas/optimizer/logic/connective.rb +0 -5
- data/lib/veritas/optimizer/logic/connective/binary.rb +0 -252
- data/lib/veritas/optimizer/logic/connective/conjunction.rb +0 -120
- data/lib/veritas/optimizer/logic/connective/disjunction.rb +0 -120
- data/lib/veritas/optimizer/logic/connective/negation.rb +0 -69
- data/lib/veritas/optimizer/logic/predicate.rb +0 -187
- data/lib/veritas/optimizer/logic/predicate/comparable.rb +0 -132
- data/lib/veritas/optimizer/logic/predicate/enumerable.rb +0 -139
- data/lib/veritas/optimizer/logic/predicate/equality.rb +0 -42
- data/lib/veritas/optimizer/logic/predicate/exclusion.rb +0 -51
- data/lib/veritas/optimizer/logic/predicate/greater_than.rb +0 -52
- data/lib/veritas/optimizer/logic/predicate/greater_than_or_equal_to.rb +0 -54
- data/lib/veritas/optimizer/logic/predicate/inclusion.rb +0 -51
- data/lib/veritas/optimizer/logic/predicate/inequality.rb +0 -42
- data/lib/veritas/optimizer/logic/predicate/less_than.rb +0 -52
- data/lib/veritas/optimizer/logic/predicate/less_than_or_equal_to.rb +0 -54
- data/lib/veritas/optimizer/logic/predicate/match.rb +0 -17
- data/lib/veritas/optimizer/logic/predicate/no_match.rb +0 -17
- data/lib/veritas/optimizer/relation.rb +0 -2
- data/lib/veritas/optimizer/relation/materialized.rb +0 -38
- data/lib/veritas/optimizer/relation/operation.rb +0 -8
- data/lib/veritas/optimizer/relation/operation/binary.rb +0 -166
- data/lib/veritas/optimizer/relation/operation/combination.rb +0 -31
- data/lib/veritas/optimizer/relation/operation/limit.rb +0 -147
- data/lib/veritas/optimizer/relation/operation/offset.rb +0 -112
- data/lib/veritas/optimizer/relation/operation/order.rb +0 -94
- data/lib/veritas/optimizer/relation/operation/reverse.rb +0 -92
- data/lib/veritas/optimizer/relation/operation/unary.rb +0 -86
- data/lib/veritas/relation/operation.rb +0 -10
- data/lib/veritas/support/optimizable.rb +0 -51
- data/spec/integration/veritas/algebra/difference/optimize_spec.rb +0 -153
- data/spec/integration/veritas/algebra/intersection/optimize_spec.rb +0 -153
- data/spec/integration/veritas/algebra/join/optimize_spec.rb +0 -111
- data/spec/integration/veritas/algebra/product/optimize_spec.rb +0 -177
- data/spec/integration/veritas/algebra/projection/optimize_spec.rb +0 -238
- data/spec/integration/veritas/algebra/rename/optimize_spec.rb +0 -441
- data/spec/integration/veritas/algebra/restriction/optimize_spec.rb +0 -301
- data/spec/integration/veritas/algebra/union/optimize_spec.rb +0 -193
- data/spec/integration/veritas/logic/connective/conjunction/optimize_spec.rb +0 -235
- data/spec/integration/veritas/logic/connective/disjunction/optimize_spec.rb +0 -236
- data/spec/integration/veritas/logic/connective/negation/optimize_spec.rb +0 -42
- data/spec/integration/veritas/logic/expression/optimize_spec.rb +0 -42
- data/spec/integration/veritas/logic/predicate/equality/optimize_spec.rb +0 -91
- data/spec/integration/veritas/logic/predicate/exclusion/optimize_spec.rb +0 -132
- data/spec/integration/veritas/logic/predicate/greater_than/optimize_spec.rb +0 -101
- data/spec/integration/veritas/logic/predicate/greater_than_or_equal_to/optimize_spec.rb +0 -101
- data/spec/integration/veritas/logic/predicate/inclusion/optimize_spec.rb +0 -132
- data/spec/integration/veritas/logic/predicate/inequality/optimize_spec.rb +0 -91
- data/spec/integration/veritas/logic/predicate/less_than/optimize_spec.rb +0 -101
- data/spec/integration/veritas/logic/predicate/less_than_or_equal_to/optimize_spec.rb +0 -101
- data/spec/integration/veritas/relation/empty/optimize_spec.rb +0 -12
- data/spec/integration/veritas/relation/materialized/optimize_spec.rb +0 -38
- data/spec/integration/veritas/relation/operation/limit/optimize_spec.rb +0 -141
- data/spec/integration/veritas/relation/operation/offset/optimize_spec.rb +0 -99
- data/spec/integration/veritas/relation/operation/order/optimize_spec.rb +0 -104
- data/spec/integration/veritas/relation/operation/reverse/optimize_spec.rb +0 -114
- data/spec/integration/veritas/relation/optimize_spec.rb +0 -34
- data/spec/shared/logic_connective_binary_optimize_behavior.rb +0 -100
- data/spec/shared/optimize_method_behavior.rb +0 -14
- data/spec/support/add_method_missing.rb +0 -13
- data/spec/unit/veritas/immutable/memoize_methods/memoize_spec.rb +0 -20
- data/spec/unit/veritas/immutable/memoize_methods/memoized_spec.rb +0 -27
- data/spec/unit/veritas/logic/proposition/false/and_spec.rb +0 -11
- data/spec/unit/veritas/logic/proposition/false/class_methods/call_spec.rb +0 -9
- data/spec/unit/veritas/logic/proposition/false/class_methods/inverse_spec.rb +0 -9
- data/spec/unit/veritas/logic/proposition/false/inspect_spec.rb +0 -10
- data/spec/unit/veritas/logic/proposition/false/inverse_spec.rb +0 -16
- data/spec/unit/veritas/logic/proposition/false/or_spec.rb +0 -11
- data/spec/unit/veritas/logic/proposition/true/and_spec.rb +0 -11
- data/spec/unit/veritas/logic/proposition/true/class_methods/call_spec.rb +0 -9
- data/spec/unit/veritas/logic/proposition/true/class_methods/inverse_spec.rb +0 -9
- data/spec/unit/veritas/logic/proposition/true/inspect_spec.rb +0 -10
- data/spec/unit/veritas/logic/proposition/true/inverse_spec.rb +0 -16
- data/spec/unit/veritas/logic/proposition/true/or_spec.rb +0 -11
- data/spec/unit/veritas/optimizable/class_methods/optimizer_spec.rb +0 -32
- data/spec/unit/veritas/optimizable/optimize_spec.rb +0 -36
- data/spec/unit/veritas/optimizer/algebra/difference/empty_left/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/algebra/difference/empty_right/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/algebra/difference/equal_operands/optimize_spec.rb +0 -20
- data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/algebra/intersection/empty_left/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/algebra/intersection/empty_right/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/algebra/intersection/equal_operands/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/algebra/join/equal_headers/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb +0 -22
- data/spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimize_spec.rb +0 -17
- data/spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimize_spec.rb +0 -17
- data/spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimize_spec.rb +0 -19
- data/spec/unit/veritas/optimizer/algebra/projection/header_spec.rb +0 -17
- data/spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimize_spec.rb +0 -21
- data/spec/unit/veritas/optimizer/algebra/projection/set_operand/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/algebra/projection/set_operand/optimize_spec.rb +0 -39
- data/spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimize_spec.rb +0 -17
- data/spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb +0 -21
- data/spec/unit/veritas/optimizer/algebra/rename/aliases_spec.rb +0 -32
- data/spec/unit/veritas/optimizer/algebra/rename/class_methods/union_aliases_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimize_spec.rb +0 -19
- data/spec/unit/veritas/optimizer/algebra/rename/header_spec.rb +0 -20
- data/spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimize_spec.rb +0 -22
- data/spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimize_spec.rb +0 -22
- data/spec/unit/veritas/optimizer/algebra/rename/order_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/rename/order_operand/optimize_spec.rb +0 -36
- data/spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimize_spec.rb +0 -22
- data/spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimizable_spec.rb +0 -29
- data/spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimize_spec.rb +0 -22
- data/spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_spec.rb +0 -36
- data/spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimize_spec.rb +0 -23
- data/spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimize_spec.rb +0 -37
- data/spec/unit/veritas/optimizer/algebra/rename/set_operand/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/algebra/rename/set_operand/optimize_spec.rb +0 -23
- data/spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimize_spec.rb +0 -17
- data/spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimizable_spec.rb +0 -43
- data/spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb +0 -22
- data/spec/unit/veritas/optimizer/algebra/restriction/class_methods/optimize_predicate_spec.rb +0 -31
- data/spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimize_spec.rb +0 -20
- data/spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimize_spec.rb +0 -31
- data/spec/unit/veritas/optimizer/algebra/restriction/predicate_spec.rb +0 -17
- data/spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimizable_spec.rb +0 -29
- data/spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb +0 -24
- data/spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimize_spec.rb +0 -31
- data/spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimizable_spec.rb +0 -29
- data/spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimize_spec.rb +0 -24
- data/spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimizable_spec.rb +0 -43
- data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb +0 -23
- data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/algebra/union/empty_left/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/algebra/union/empty_right/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/algebra/union/equal_operands/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/class_methods/chain_spec.rb +0 -54
- data/spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/logic/connective/binary/left_spec.rb +0 -15
- data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimize_spec.rb +0 -22
- data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimize_spec.rb +0 -22
- data/spec/unit/veritas/optimizer/logic/connective/binary/right_spec.rb +0 -15
- data/spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimizable_spec.rb +0 -35
- data/spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimize_spec.rb +0 -22
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimizable_spec.rb +0 -42
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb +0 -37
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimizable_spec.rb +0 -42
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb +0 -37
- data/spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimize_spec.rb +0 -21
- data/spec/unit/veritas/optimizer/logic/connective/negation/operand_spec.rb +0 -13
- data/spec/unit/veritas/optimizer/logic/predicate/always_false/optimize_spec.rb +0 -16
- data/spec/unit/veritas/optimizer/logic/predicate/always_true/optimize_spec.rb +0 -16
- data/spec/unit/veritas/optimizer/logic/predicate/class_methods/optimize_operand_spec.rb +0 -20
- data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_comparable/optimizable_spec.rb +0 -58
- data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_equivalent/optimizable_spec.rb +0 -58
- data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimizable_spec.rb +0 -42
- data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimize_spec.rb +0 -20
- data/spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimizable_spec.rb +0 -30
- data/spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimize_spec.rb +0 -11
- data/spec/unit/veritas/optimizer/logic/predicate/enumerable/empty_right_operand/optimizable_spec.rb +0 -76
- data/spec/unit/veritas/optimizer/logic/predicate/enumerable/one_right_operand/optimizable_spec.rb +0 -76
- data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimizable_spec.rb +0 -50
- data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimize_spec.rb +0 -54
- data/spec/unit/veritas/optimizer/logic/predicate/equality/always_true/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/logic/predicate/exclusion/empty_right_operand/optimize_spec.rb +0 -44
- data/spec/unit/veritas/optimizer/logic/predicate/exclusion/one_right_operand/optimize_spec.rb +0 -64
- data/spec/unit/veritas/optimizer/logic/predicate/greater_than/always_false/optimizable_spec.rb +0 -42
- data/spec/unit/veritas/optimizer/logic/predicate/greater_than/always_true/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_false/optimizable_spec.rb +0 -42
- data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_true/optimizable_spec.rb +0 -42
- data/spec/unit/veritas/optimizer/logic/predicate/inclusion/empty_right_operand/optimize_spec.rb +0 -44
- data/spec/unit/veritas/optimizer/logic/predicate/inclusion/one_right_operand/optimize_spec.rb +0 -65
- data/spec/unit/veritas/optimizer/logic/predicate/inequality/always_false/optimizable_spec.rb +0 -28
- data/spec/unit/veritas/optimizer/logic/predicate/left_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/logic/predicate/less_than/always_false/optimizable_spec.rb +0 -42
- data/spec/unit/veritas/optimizer/logic/predicate/less_than/always_true/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_false/optimizable_spec.rb +0 -42
- data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_true/optimizable_spec.rb +0 -42
- data/spec/unit/veritas/optimizer/logic/predicate/right_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/attribute_spec.rb +0 -19
- data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/constant_spec.rb +0 -19
- data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/max_spec.rb +0 -19
- data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/min_spec.rb +0 -19
- data/spec/unit/veritas/optimizer/operation_spec.rb +0 -11
- data/spec/unit/veritas/optimizer/optimizable_spec.rb +0 -15
- data/spec/unit/veritas/optimizer/optimize_spec.rb +0 -15
- data/spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimizable_spec.rb +0 -21
- data/spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimize_spec.rb +0 -14
- data/spec/unit/veritas/optimizer/relation/operation/binary/empty_left/optimizable_spec.rb +0 -30
- data/spec/unit/veritas/optimizer/relation/operation/binary/empty_right/optimizable_spec.rb +0 -30
- data/spec/unit/veritas/optimizer/relation/operation/binary/equal_operands/optimizable_spec.rb +0 -34
- data/spec/unit/veritas/optimizer/relation/operation/binary/left_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimizable_spec.rb +0 -36
- data/spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimize_spec.rb +0 -17
- data/spec/unit/veritas/optimizer/relation/operation/binary/right_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimizable_spec.rb +0 -39
- data/spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimize_spec.rb +0 -19
- data/spec/unit/veritas/optimizer/relation/operation/combination/optimize_spec.rb +0 -15
- data/spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimizable_spec.rb +0 -32
- data/spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimize_spec.rb +0 -35
- data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb +0 -21
- data/spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb +0 -19
- data/spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb +0 -20
- data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb +0 -21
- data/spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb +0 -16
- data/spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimizable_spec.rb +0 -32
- data/spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb +0 -18
- data/spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimize_spec.rb +0 -21
- data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimizable_spec.rb +0 -27
- data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb +0 -22
- data/spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb +0 -21
- data/spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb +0 -17
- data/spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_spec.rb +0 -26
- data/spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb +0 -23
- data/spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimizable_spec.rb +0 -21
- data/spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb +0 -16
- data/spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimizable_spec.rb +0 -21
- data/spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb +0 -15
- data/spec/unit/veritas/optimizer/relation/operation/unary/operand_spec.rb +0 -13
- data/tasks/clean.rake +0 -6
@@ -1,13 +1,13 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Logic::Proposition, '#eql?' do
|
4
4
|
subject { object.eql?(other) }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:object)
|
6
|
+
let(:described_class) { Class.new(Logic::Proposition) }
|
7
|
+
let(:object) { described_class.new }
|
8
8
|
|
9
9
|
context 'with the same class' do
|
10
|
-
let(:other) {
|
10
|
+
let(:other) { described_class.new }
|
11
11
|
|
12
12
|
it { should be(true) }
|
13
13
|
|
@@ -16,6 +16,16 @@ describe 'Veritas::Logic::Proposition#eql?' do
|
|
16
16
|
end
|
17
17
|
end
|
18
18
|
|
19
|
+
context 'with an equivalent object of a subclass' do
|
20
|
+
let(:other) { Class.new(described_class).new }
|
21
|
+
|
22
|
+
it { should be(false) }
|
23
|
+
|
24
|
+
it 'is symmetric' do
|
25
|
+
should == other.eql?(object)
|
26
|
+
end
|
27
|
+
end
|
28
|
+
|
19
29
|
context 'with a different class' do
|
20
30
|
let(:other) { Class.new(Logic::Proposition).new }
|
21
31
|
|
@@ -0,0 +1,38 @@
|
|
1
|
+
require 'spec_helper'
|
2
|
+
|
3
|
+
describe Logic::Proposition, '#==' do
|
4
|
+
subject { object == other }
|
5
|
+
|
6
|
+
let(:described_class) { Class.new(Logic::Proposition) }
|
7
|
+
let(:object) { described_class.new }
|
8
|
+
|
9
|
+
context 'with the same object' do
|
10
|
+
let(:other) { object }
|
11
|
+
|
12
|
+
it { should be(true) }
|
13
|
+
|
14
|
+
it 'is symmetric' do
|
15
|
+
should == (other == object)
|
16
|
+
end
|
17
|
+
end
|
18
|
+
|
19
|
+
context 'with an equivalent object of a subclass' do
|
20
|
+
let(:other) { Class.new(described_class).new }
|
21
|
+
|
22
|
+
it { should be(true) }
|
23
|
+
|
24
|
+
it 'is symmetric' do
|
25
|
+
should == (other == object)
|
26
|
+
end
|
27
|
+
end
|
28
|
+
|
29
|
+
context 'with a different class' do
|
30
|
+
let(:other) { Class.new(Logic::Proposition).new }
|
31
|
+
|
32
|
+
it { should be(false) }
|
33
|
+
|
34
|
+
it 'is symmetric' do
|
35
|
+
should == (other == object)
|
36
|
+
end
|
37
|
+
end
|
38
|
+
end
|
@@ -1,12 +1,12 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Logic::Proposition, '#hash' do
|
4
4
|
subject { object.hash }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:object)
|
6
|
+
let(:described_class) { Class.new(Logic::Proposition) }
|
7
|
+
let(:object) { described_class.new }
|
8
8
|
|
9
9
|
it_should_behave_like 'a hash method'
|
10
10
|
|
11
|
-
it { should ==
|
11
|
+
it { should == described_class.hash }
|
12
12
|
end
|
@@ -1,14 +1,14 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Logic::Proposition, '#inspect' do
|
4
4
|
subject { object.inspect }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:object)
|
6
|
+
let(:described_class) { Class.new(Logic::Proposition) }
|
7
|
+
let(:object) { described_class.new }
|
8
8
|
|
9
9
|
before do
|
10
|
-
|
10
|
+
described_class.stub!(:name).and_return('Veritas::Logic::Proposition')
|
11
11
|
end
|
12
12
|
|
13
|
-
specify { expect { subject }.to raise_error(NotImplementedError, "#{
|
13
|
+
specify { expect { subject }.to raise_error(NotImplementedError, "#{described_class.name}.call must be implemented") }
|
14
14
|
end
|
@@ -1,19 +1,19 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Logic::Proposition, '#inverse' do
|
4
4
|
subject { object.inverse }
|
5
5
|
|
6
|
-
let(:
|
6
|
+
let(:described_class) { Class.new(Logic::Proposition) }
|
7
7
|
let(:inverse_class) { mock('Inverse Class', :instance => inverse_instance) }
|
8
8
|
let(:inverse_instance) { mock('Inverse Instance') }
|
9
|
-
let(:object) {
|
9
|
+
let(:object) { described_class.new }
|
10
10
|
|
11
11
|
before do
|
12
|
-
|
12
|
+
described_class.stub!(:inverse).and_return(inverse_class)
|
13
13
|
end
|
14
14
|
|
15
15
|
it 'calls .inverse on the class' do
|
16
|
-
|
16
|
+
described_class.should_receive(:inverse).with(no_args).and_return(inverse_class)
|
17
17
|
subject
|
18
18
|
end
|
19
19
|
|
@@ -0,0 +1,15 @@
|
|
1
|
+
require 'spec_helper'
|
2
|
+
|
3
|
+
describe Logic::Proposition::Tautology, '#inverse' do
|
4
|
+
subject { object.inverse }
|
5
|
+
|
6
|
+
let(:object) { described_class.instance }
|
7
|
+
|
8
|
+
it_should_behave_like 'an idempotent method'
|
9
|
+
|
10
|
+
it { should equal(Logic::Proposition::Contradiction.instance) }
|
11
|
+
|
12
|
+
it 'is invertible' do
|
13
|
+
subject.inverse.should equal(object)
|
14
|
+
end
|
15
|
+
end
|
@@ -1,12 +1,12 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Operation::Binary, '#eql?' do
|
4
4
|
subject { object.eql?(other) }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:left)
|
8
|
-
let(:right)
|
9
|
-
let(:object)
|
6
|
+
let(:described_class) { Class.new { include Operation::Binary } }
|
7
|
+
let(:left) { mock('Left') }
|
8
|
+
let(:right) { mock('Right') }
|
9
|
+
let(:object) { described_class.new(left, right) }
|
10
10
|
|
11
11
|
context 'with the same object' do
|
12
12
|
let(:other) { object }
|
@@ -29,7 +29,7 @@ describe 'Veritas::Operation::Binary#eql?' do
|
|
29
29
|
end
|
30
30
|
|
31
31
|
context 'with an equivalent object of a subclass' do
|
32
|
-
let(:other) { Class.new(
|
32
|
+
let(:other) { Class.new(described_class).new(left, right) }
|
33
33
|
|
34
34
|
it { should be(false) }
|
35
35
|
|
@@ -38,10 +38,10 @@ describe 'Veritas::Operation::Binary#eql?' do
|
|
38
38
|
end
|
39
39
|
end
|
40
40
|
|
41
|
-
context 'with an object having a different left' do
|
42
|
-
let(:other_left) { mock('Other Left')
|
43
|
-
let(:other_right) { right
|
44
|
-
let(:other) {
|
41
|
+
context 'with an object having a different left operand' do
|
42
|
+
let(:other_left) { mock('Other Left') }
|
43
|
+
let(:other_right) { right }
|
44
|
+
let(:other) { described_class.new(other_left, other_right) }
|
45
45
|
|
46
46
|
it { should be(false) }
|
47
47
|
|
@@ -50,10 +50,10 @@ describe 'Veritas::Operation::Binary#eql?' do
|
|
50
50
|
end
|
51
51
|
end
|
52
52
|
|
53
|
-
context 'with an object having a different right' do
|
54
|
-
let(:other_left) { left
|
55
|
-
let(:other_right) { mock('Other Right')
|
56
|
-
let(:other) {
|
53
|
+
context 'with an object having a different right operand' do
|
54
|
+
let(:other_left) { left }
|
55
|
+
let(:other_right) { mock('Other Right') }
|
56
|
+
let(:other) { described_class.new(other_left, other_right) }
|
57
57
|
|
58
58
|
it { should be(false) }
|
59
59
|
|
@@ -1,14 +1,14 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Operation::Binary, '#hash' do
|
4
4
|
subject { object.hash }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:left)
|
8
|
-
let(:right)
|
9
|
-
let(:object)
|
6
|
+
let(:described_class) { Class.new { include Operation::Binary } }
|
7
|
+
let(:left) { mock('Left').freeze }
|
8
|
+
let(:right) { mock('Right').freeze }
|
9
|
+
let(:object) { described_class.new(left, right) }
|
10
10
|
|
11
11
|
it_should_behave_like 'a hash method'
|
12
12
|
|
13
|
-
it { should ==
|
13
|
+
it { should == described_class.hash ^ left.hash ^ right.hash }
|
14
14
|
end
|
@@ -1,11 +1,11 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Operation::Binary, '#left' do
|
4
4
|
subject { object.left }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:right)
|
8
|
-
let(:object)
|
6
|
+
let(:described_class) { Class.new { include Operation::Binary } }
|
7
|
+
let(:right) { 'Right' }
|
8
|
+
let(:object) { described_class.new(left, right) }
|
9
9
|
|
10
10
|
context 'when left operand is frozen' do
|
11
11
|
let(:left) { 'Left'.freeze }
|
@@ -1,11 +1,11 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Operation::Binary, '#right' do
|
4
4
|
subject { object.right }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:left)
|
8
|
-
let(:object)
|
6
|
+
let(:described_class) { Class.new { include Operation::Binary } }
|
7
|
+
let(:left) { 'Left' }
|
8
|
+
let(:object) { described_class.new(left, right) }
|
9
9
|
|
10
10
|
context 'when right operand is frozen' do
|
11
11
|
let(:right) { 'Right'.freeze }
|
@@ -1,11 +1,11 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Operation::Unary, '#eql?' do
|
4
4
|
subject { object.eql?(other) }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:operand)
|
8
|
-
let(:object)
|
6
|
+
let(:described_class) { Class.new { include Operation::Unary } }
|
7
|
+
let(:operand) { mock('Operand') }
|
8
|
+
let(:object) { described_class.new(operand) }
|
9
9
|
|
10
10
|
context 'with the same object' do
|
11
11
|
let(:other) { object }
|
@@ -28,7 +28,7 @@ describe 'Veritas::Operation::Unary#eql?' do
|
|
28
28
|
end
|
29
29
|
|
30
30
|
context 'with an equivalent object of a subclass' do
|
31
|
-
let(:other) { Class.new(
|
31
|
+
let(:other) { Class.new(described_class).new(operand) }
|
32
32
|
|
33
33
|
it { should be(false) }
|
34
34
|
|
@@ -38,8 +38,8 @@ describe 'Veritas::Operation::Unary#eql?' do
|
|
38
38
|
end
|
39
39
|
|
40
40
|
context 'with an object having a different operand' do
|
41
|
-
let(:other_operand) { mock('Other Operand')
|
42
|
-
let(:other) {
|
41
|
+
let(:other_operand) { mock('Other Operand') }
|
42
|
+
let(:other) { described_class.new(other_operand) }
|
43
43
|
|
44
44
|
it { should be(false) }
|
45
45
|
|
@@ -1,13 +1,13 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Operation::Unary, '#hash' do
|
4
4
|
subject { object.hash }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:operand)
|
8
|
-
let(:object)
|
6
|
+
let(:described_class) { Class.new { include Operation::Unary } }
|
7
|
+
let(:operand) { mock('Operand').freeze }
|
8
|
+
let(:object) { described_class.new(operand) }
|
9
9
|
|
10
10
|
it_should_behave_like 'a hash method'
|
11
11
|
|
12
|
-
it { should ==
|
12
|
+
it { should == described_class.hash ^ operand.hash }
|
13
13
|
end
|
@@ -1,10 +1,10 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe
|
3
|
+
describe Operation::Unary, '#operand' do
|
4
4
|
subject { object.operand }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:object)
|
6
|
+
let(:described_class) { Class.new { include Operation::Unary } }
|
7
|
+
let(:object) { described_class.new(operand) }
|
8
8
|
|
9
9
|
context 'when operand is frozen' do
|
10
10
|
let(:operand) { 'Operand'.freeze }
|
@@ -1,10 +1,10 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe '
|
3
|
+
describe Relation, '.new' do
|
4
4
|
subject { object.new(header, body) }
|
5
5
|
|
6
6
|
let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
|
7
|
-
let(:object) {
|
7
|
+
let(:object) { described_class }
|
8
8
|
|
9
9
|
context 'with an Enumerable responding to #size' do
|
10
10
|
let(:body) { [ [ 1 ] ] }
|
@@ -1,14 +1,13 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe '
|
3
|
+
describe Relation, '#directions' do
|
4
4
|
subject { object.directions }
|
5
5
|
|
6
|
-
let(:
|
7
|
-
let(:
|
8
|
-
let(:object) { klass.new([ [ :id, Integer ] ], body) }
|
6
|
+
let(:body) { [ [ 1 ] ].each } # use an Enumerator
|
7
|
+
let(:object) { described_class.new([ [ :id, Integer ] ], body) }
|
9
8
|
|
10
9
|
before do
|
11
|
-
object.should be_instance_of(
|
10
|
+
object.should be_instance_of(described_class)
|
12
11
|
end
|
13
12
|
|
14
13
|
it_should_behave_like 'an idempotent method'
|
@@ -1,19 +1,18 @@
|
|
1
1
|
require 'spec_helper'
|
2
2
|
|
3
|
-
describe '
|
3
|
+
describe Relation, '#each' do
|
4
4
|
subject { object.each { |tuple| yields << tuple } }
|
5
5
|
|
6
|
-
let(:klass) { Relation }
|
7
6
|
let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
|
8
7
|
let(:body) { [ [ 1 ], [ 2 ], [ 2 ] ].each } # use an Enumerator
|
9
|
-
let(:object) {
|
8
|
+
let(:object) { described_class.new(header, body) }
|
10
9
|
let(:yields) { [] }
|
11
10
|
|
12
11
|
before do
|
13
|
-
object.should be_instance_of(
|
12
|
+
object.should be_instance_of(described_class)
|
14
13
|
end
|
15
14
|
|
16
|
-
it_should_behave_like '
|
15
|
+
it_should_behave_like 'an #each method'
|
17
16
|
|
18
17
|
it 'yields each tuple' do
|
19
18
|
expect { subject }.to change { yields.dup }.
|
@@ -22,7 +21,7 @@ describe 'Veritas::Relation#each' do
|
|
22
21
|
end
|
23
22
|
end
|
24
23
|
|
25
|
-
describe
|
24
|
+
describe Relation do
|
26
25
|
subject { object.new(header, body) }
|
27
26
|
|
28
27
|
let(:header) { [ [ :id, Integer ] ] }
|