4 Required Ancestry Links

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