4 Required Ancestry Links PreviousNext

The following constitute the required ancestry links [ordered alphabetically, after the first rule, by the name of the applicable descendant class]:

4.1
Every Required Class except GENERAL is a descendant of ANY
4.2
ANY is an heir of GENERAL.
4.3
BOOLEAN is a proper descendant of BOOLEAN_REF.
4.4
BOOLEAN_REF is a proper descendant of HASHABLE.
4.5
CHARACTER is a proper descendant of CHARACTER_REF.
4.6
CHARACTER_REF is a proper descendant of COMPARABLE.
4.7
CHARACTER_REF is a proper descendant of HASHABLE.
4.8
DOUBLE is a proper descendant of DOUBLE_REF.
4.9
DOUBLE_REF is a proper descendant of COMPARABLE.
4.10
DOUBLE_REF is a proper descendant of HASHABLE.
4.11
DOUBLE_REF is a proper descendant of NUMERIC.
4.12
FILE is a proper descendant of MEMORY.
4.13
INTEGER is a proper descendant of INTEGER_REF.
4.14
INTEGER_REF is a proper descendant of COMPARABLE.
4.15
INTEGER_REF is a proper descendant of HASHABLE.
4.16
INTEGER_REF is a proper descendant of NUMERIC.
4.17
POINTER is a proper descendant of POINTER_REF.
4.18
POINTER_REF is a proper descendant of HASHABLE.
4.19
REAL is a proper descendant of REAL_REF.
4.20
REAL_REF is a proper descendant of COMPARABLE.
4.21
REAL_REF is a proper descendant of HASHABLE.
4.22
STRING is a proper descendant of COMPARABLE.
4.23
STRING is a proper descendant of HASHABLE.
4.24
STRING is a proper descendant of HASHABLE.

[4.1 follows from Eiffel: The Language; the language description is considered to be amended in such a way that PLATFORM is a class without privileges, to be inherited explicitly by classes which need access to its features.]


Copyright 1995, Nonprofit International Consortium for Eiffel
mailto:
nice@atlanta.twr.com
Last Updated: 26 October 1997

HomeTocPreviousNext