EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.utility

Class EDOC_INDEX_ENTRY_COMPARATOR


Direct ancestors

KL_PART_COMPARATOR, KL_IMPORTED_STRING_ROUTINES

Features

Invariants

indexing

description

Compare index entries according to their name.

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_INDEX_ENTRY_COMPARATOR

inherit

KL_PART_COMPARATOR [EDOC_INDEX_ENTRY]

feature -- Status report

less_than (u, v: EDOC_INDEX_ENTRY): 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)

greater_than (u, v: EDOC_INDEX_ENTRY): 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)

invariant


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