Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

structure.sort

Class DS_REVERSE_COMPARABLE_COMPARATOR


Direct ancestors

KL_REVERSE_COMPARABLE_COMPARATOR, DS_COMPARABLE_COMPARATOR

Creation

Features

Invariants

indexing

description

Reverse comparators based on COMPARABLE

library

Gobo Eiffel Structure Library

copyright

Copyright (c) 2000, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 17:52:52 $

revision

$Revision: 1.6 $

class

DS_REVERSE_COMPARABLE_COMPARATOR [G -> COMPARABLE]

obsolete

[020707] Use KL_REVERSE_COMPARABLE_COMPARATOR instead.

inherit

KL_REVERSE_COMPARABLE_COMPARATOR
DS_COMPARABLE_COMPARATOR

create

make

-- Create a new comparator.

-- (From KL_COMPARABLE_COMPARATOR)

feature -- Status report

greater_equal (u, v: G): BOOLEAN

-- Is u considered greater than or equal to v?

-- (From KL_COMPARATOR)

require
u_not_void: u /= Void
v_not_void: v /= Void
ensure
definition: Result = (greater_than (u, v) or order_equal (u, v))
greater_than (u, v: G): BOOLEAN

-- Is u considered greater than v?

-- (From KL_PART_COMPARATOR)

require
u_not_void: u /= Void
v_not_void: v /= Void
ensure
definition: Result = less_than (v, u)
less_equal (u, v: G): BOOLEAN

-- Is u considered less than or equal to v?

-- (From KL_COMPARATOR)

require
u_not_void: u /= Void
v_not_void: v /= Void
ensure
definition: Result = (less_than (u, v) or order_equal (u, v))
less_than (u, v: G): BOOLEAN

-- Is u considered less than v?

-- (From KL_PART_COMPARATOR)

require
u_not_void: u /= Void
v_not_void: v /= Void
ensure
asymmetric: Result implies not less_than (v, u)
order_equal (u, v: G): BOOLEAN

-- Are u and v considered equal?

-- (From KL_COMPARATOR)

require
u_not_void: u /= Void
v_not_void: v /= Void
ensure
definition: Result = (not less_than (u, v) and not greater_than (u, v))

invariant


-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end