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

structure.sort

Class DS_REVERSE_PART_COMPARATOR


Direct ancestors

KL_REVERSE_PART_COMPARATOR, DS_PART_COMPARATOR

Known direct descendants

DS_REVERSE_COMPARATOR

Creation

Features

Invariants

indexing

description

Reverse partial order comparators

library

Gobo Eiffel Structure Library

copyright

Copyright (c) 2001, 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_PART_COMPARATOR [G]

obsolete

[020707] Use KL_REVERSE_PART_COMPARATOR instead.

inherit

KL_REVERSE_PART_COMPARATOR
DS_PART_COMPARATOR

create

make (a_comparator: like comparator)

-- Create a new reverse comparator based on a_comparator.

-- (From KL_REVERSE_PART_COMPARATOR)

require
a_comparator_not_void: a_comparator /= Void
ensure
comparator_set: comparator = a_comparator

feature -- Access

comparator: KL_PART_COMPARATOR [G]

-- Base comparator

-- (From KL_REVERSE_PART_COMPARATOR)

feature -- Status report

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_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)
ensure then
definition: Result = comparator.less_than (v, u)

feature -- Setting

set_comparator (a_comparator: like comparator)

-- Set comparator to a_comparator.

-- (From KL_REVERSE_PART_COMPARATOR)

require
a_comparator_not_void: a_comparator /= Void
ensure
comparator_set: comparator = a_comparator

invariant

comparator_not_void: comparator /= Void

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

end