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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3632 - (hide 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 dinov 3375 indexing
2 grator 18
3 dinov 3375 description:
4     "Actual type for integer type.";
5     date: "$Date$";
6     revision: "$Revision $"
7    
8 grator 18 class NONE_A
9    
10     inherit
11    
12     BASIC_A
13     redefine
14     is_none, dump, type_i, associated_class, same_as,
15 dinov 3180 internal_conform_to, append_to,
16 dinov 3078 storage_info, storage_info_with_name, associated_eclass
17 grator 18 end
18    
19 dinov 3078 feature -- Properties
20 grator 18
21     is_none: BOOLEAN is
22     -- Is the current type a none type ?
23     do
24     Result := True;
25     end;
26    
27 dinov 3180 feature -- Access
28    
29 dinov 3078 associated_eclass: E_CLASS is
30     -- No associated class
31     do
32     end;
33    
34 dinov 3180 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 dinov 3078 feature -- Output
41    
42 grator 18 dump: STRING is "NONE";
43     -- Dumped trace
44    
45 guusl 3632 append_to (st: STRUCTURED_TEXT) is
46 grator 296 do
47 guusl 3632 st.add_string ("NONE");
48 grator 296 end;
49    
50 dinov 3180 feature {COMPILER_EXPORTER}
51 dinov 3078
52 grator 18 type_i: NONE_I is
53     -- Void C type
54     once
55     !!Result;
56     end;
57    
58     associated_class: CLASS_C is
59 grator 274 require else
60     True
61 grator 18 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 grator 1166 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 dinov 3375 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