Class DS_REVERSE_COMPARATOR

Class DS_REVERSE_COMPARATOR

note

description:

    "Reverse comparators"

library:    "Gobo Eiffel Structure Library"
author:     "Eric Bezault <ericb@gobosoft.com>"
copyright:  "Copyright (c) 2000-2001, Eric Bezault and others"
license:    "MIT License"

class interface

DS_REVERSE_COMPARATOR [G]

inherit

DS_COMPARATOR [G]

create

make (a_comparator: like comparator)
        -- Create a new reverse comparator based on a_comparator.
    require
        a_comparator_not_void: a_comparator /= Void
    ensure
        comparator_set: comparator = a_comparator

feature -- Status report

less_than (u, v: G): BOOLEAN
        -- Is u considered less than v?
        -- (From DS_COMPARATOR.)
    require
        u_not_void: u /= Void
        v_not_void: v /= Void
    ensure
        asymmetric: Result implies not less_than (v, u)
        definition: Result = comparator.less_than (v, u)

feature -- Access

comparator: DS_COMPARATOR [G]
        -- Base comparator

feature -- Setting

set_comparator (a_comparator: like comparator)
        -- Set comparator to a_comparator.
    require
        a_comparator_not_void: a_comparator /= Void
    ensure
        comparator_set: comparator = a_comparator

invariant

comparator_not_void: comparator /= Void

end -- class DS_REVERSE_COMPARATOR