EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.utility

Class CLASS_COMPARATOR


Direct ancestors

KL_PART_COMPARATOR, KL_IMPORTED_STRING_ROUTINES

Features

Invariants

indexing

description

Compare classes according to their name.

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class CLASS_COMPARATOR

inherit

KL_PART_COMPARATOR [ET_CLASS]

feature -- Status report

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