elogger API
Overview Classes Cluster Class Index          Top Features
ise.base.kernel

Class PART_COMPARABLE

Known direct descendants

COMPARABLE, DURATION, INTERVAL

Features

Invariants

indexing

description

Objects that may be compared according to a partial order relation

legal

See notice at end of class.

status

See notice at end of class.

names

part_comparable, comparison

deferred class PART_COMPARABLE

feature -- Comparison

infix "<" (other: like Current): BOOLEAN

-- Is current object less than other?

require

other_exists: other /= Void
deferred

infix "<=" (other: like Current): BOOLEAN

-- Is current object less than or equal to other?

require

other_exists: other /= Void

infix ">" (other: like Current): BOOLEAN

-- Is current object greater than other?

require

other_exists: other /= Void

infix ">=" (other: like Current): BOOLEAN

-- Is current object greater than or equal to other?

require

other_exists: other /= Void

invariant

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

indexing

library

EiffelBase: Library of reusable components for Eiffel.

copyright

Copyright (c) 1984-2006, Eiffel Software and others

license

Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)

source

Eiffel Software
356 Storke Road, Goleta, CA 93117 USA
Telephone 805-685-1006, Fax 805-685-6869
Website http://www.eiffel.com
Customer support http://support.eiffel.com

Documentation generated by edoc

elogger API
Overview Classes Cluster Class Index          Top Features