/[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 3180 - (hide 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 grator 18 -- 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 dinov 3180 internal_conform_to, append_to,
11 dinov 3078 storage_info, storage_info_with_name, associated_eclass
12 grator 18 end
13    
14 dinov 3078 feature -- Properties
15 grator 18
16     is_none: BOOLEAN is
17     -- Is the current type a none type ?
18     do
19     Result := True;
20     end;
21    
22 dinov 3180 feature -- Access
23    
24 dinov 3078 associated_eclass: E_CLASS is
25     -- No associated class
26     do
27     end;
28    
29 dinov 3180 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 dinov 3078 feature -- Output
36    
37 grator 18 dump: STRING is "NONE";
38     -- Dumped trace
39    
40 dinov 3180 append_to (ow: OUTPUT_WINDOW) is
41 grator 296 do
42 dinov 3180 ow.put_string ("NONE");
43 grator 296 end;
44    
45 dinov 3180 feature {COMPILER_EXPORTER}
46 dinov 3078
47 grator 18 type_i: NONE_I is
48     -- Void C type
49     once
50     !!Result;
51     end;
52    
53     associated_class: CLASS_C is
54 grator 274 require else
55     True
56 grator 18 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 grator 1166 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 grator 18 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23