/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e
ViewVC logotype

Contents of /branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3180 - (show annotations)
Tue Nov 21 16:40:14 1995 UTC (24 years, 2 months ago) by dinov
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/none_a.e
File size: 1299 byte(s)
different output routines
reorganization in feature clauses

1 -- Actual type for integer type
2
3 class NONE_A
4
5 inherit
6
7 BASIC_A
8 redefine
9 is_none, dump, type_i, associated_class, same_as,
10 internal_conform_to, append_to,
11 storage_info, storage_info_with_name, associated_eclass
12 end
13
14 feature -- Properties
15
16 is_none: BOOLEAN is
17 -- Is the current type a none type ?
18 do
19 Result := True;
20 end;
21
22 feature -- Access
23
24 associated_eclass: E_CLASS is
25 -- No associated class
26 do
27 end;
28
29 same_as (other: TYPE_A): BOOLEAN is
30 -- Is the current type the same as `other' ?
31 do
32 Result := other.is_none;
33 end;
34
35 feature -- Output
36
37 dump: STRING is "NONE";
38 -- Dumped trace
39
40 append_to (ow: OUTPUT_WINDOW) is
41 do
42 ow.put_string ("NONE");
43 end;
44
45 feature {COMPILER_EXPORTER}
46
47 type_i: NONE_I is
48 -- Void C type
49 once
50 !!Result;
51 end;
52
53 associated_class: CLASS_C is
54 require else
55 True
56 do
57 -- No associated class
58 end;
59
60 internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
61 -- Does `other' conform to Current ?
62 do
63 Result := True;
64 end;
65
66 storage_info, storage_info_with_name (classc: CLASS_C): S_CLASS_TYPE_INFO is
67 -- Storage info for Current type in class `classc'
68 -- and store the name of the class for Current
69 do
70 !! Result.make ("NONE", 0)
71 end;
72
73 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23