Contents

module Veritas
  module Logic
    class Predicate

      # A predicate representing an equality test between operands
      class Equality < Predicate
        include Comparable

        # Return the Equality operation
        #
        # @example
        #   Equality.operation  # => :==
        #
        # @return [Symbol]
        #
        # @api public
        def self.operation
          :==
        end

        # Return the inverse predicate class
        #
        # @example
        #   Equality.inverse  # => Inequality
        #
        # @return [Class<Inequality>]
        #
        # @api public
        def self.inverse
          Inequality
        end

        # Return the reverse predicate class
        #
        # @example
        #   Equality.reverse  # => Equality
        #
        # @return [self]
        #
        # @api public
        def self.reverse
          self
        end

        module Methods

          # Compare the left to see if it is equal to the right
          #
          # @example
          #   equality = expression.eq(other)
          #
          # @param [Expression] other
          #
          # @return [Equality]
          #
          # @api public
          def eq(other)
            Equality.new(self, other)
          end

        end # module Methods
      end # class Equality
    end # class Predicate
  end # module Logic
end # module Veritas

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
veritas-0.0.3	lib/veritas/logic/predicate/equality.rb
veritas-0.0.2	lib/veritas/logic/predicate/equality.rb
veritas-0.0.1	lib/veritas/logic/predicate/equality.rb