/[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 3632 - (show annotations)
Mon Jan 15 11:35:14 1996 UTC (24 years ago) by guusl
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/none_a.e
File size: 1387 byte(s)
output done through STRUCTURED_TEXT instead of OUTPUT_WINDOW

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

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23