Juliant at 01:55, 23 June 2007

2007-06-23T01:55:31Z

New page

[[Category:ECMA]]
[[Category:Catcall]]
The following classes will be used in various examples:
__NOTOC__
== T, U, V and X, Y, Z ==

A lot of examples mention types <e>T</e>, <e>U</e> and <e>V</e> or <e>X</e>, <e>Y</e> and <e>Z</e>. If not defined differently, these types are of the following form:

<e>
class T end
class U inherit T end
class V inherit U end

class X end
class Y inherit X end
class Z inherit Y end
</e>

== PERSON ==

For a hierarchy with different endpoints, the person example is used as well:

<e>
class PERSON end
class STUDENT inherit PERSON end
class PROFESSOR inherit PERSON end
</e>

== ANIMAL ==

Examples involving catcalls use in general the following types:

<e>
class ANIMAL
feature
eat (f: FOOD) do end
sleep do end
end

class CAT inherit ANIMAL
redefine eat end
export {NONE} sleep end
feature
eat (f: CAT_FOOD) do end
end

class DOG
inherit ANIMAL
end

class FOOD end
class CAT_FOOD inherit FOOD end
</e>

Thus the class <e>CAT</e> covariantly redefines <e>eat</e> and restricts the export status of <e>sleep</e>.

== Generics ==

Generic classes used in examples are the following:

<e>
class LIST [G]
feature
put (g: G) do end
item: G
append (other: LIST [G]) do end
end

class LINKED_LIST [G] inherit LIST [G] end
class ARRAYED_LIST [G] inherit LIST [G] end
</e>

<e>
class CELL [G]
feature
put (g: G) do end
item: G
end
</e>

Introduction to examples - Revision history

Juliant at 01:55, 23 June 2007