1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
<html>
<head></head>
<body>
<p>
Provides for all kinds of Eiffel types of <b>entities</b>. For
example, <i>MY_OBJECT</i> and <i>expanded MY_OBJECT</i> type
markers lead to different <a
href="e_type.html">E_TYPE</a>s. Among the most frequent are:
</p>
<ul>
<li>
<a href="type_anchored.html">TYPE_ANCHORED</a> is used for
objects identified as <i>like something</i>.
</li>
<li>
<a
href="type_basic_eiffel_expanded.html">TYPE_BASIC_EIFFEL_EXPANDED</a>
is used for "basic expanded" Eiffel types (integers,
characters and so on).
</li>
<li>
<a href="type_class.html">TYPE_CLASS</a> which marks a type
directly derived from a class.
</li>
<li>
<a href="type_expanded.html">TYPE_EXPANDED</a> is used for
expanded type markes (e.g. <i>expanded FOO</i>).
</li>
<li>
<a href="type_generic.html">TYPE_GENERIC</a> handles types
instanciated from generic classes (except arrays, managed by
<a href="type_array.html">TYPE_ARRAY</a>)
</li>
</ul>
</body>
</html>
|
