/[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 3078 - (hide annotations)
Mon Oct 30 11:24:52 1995 UTC (24 years, 2 months ago) by dinov
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/none_a.e
File size: 1311 byte(s)
features moved in specific feature clauses (Access, Output, ...)
implementation of the API

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 grator 1166 internal_conform_to, append_clickable_signature,
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 3078 associated_eclass: E_CLASS is
23     -- No associated class
24     do
25     end;
26    
27     feature -- Output
28    
29 grator 18 dump: STRING is "NONE";
30     -- Dumped trace
31    
32 grator 296 append_clickable_signature (a_clickable: CLICK_WINDOW) is
33     do
34     a_clickable.put_string ("NONE");
35     end;
36    
37 dinov 3078 feature
38    
39 grator 18 type_i: NONE_I is
40     -- Void C type
41     once
42     !!Result;
43     end;
44    
45     associated_class: CLASS_C is
46 grator 274 require else
47     True
48 grator 18 do
49     -- No associated class
50     end;
51    
52     same_as (other: TYPE_A): BOOLEAN is
53     -- Is the current type the same as `other' ?
54     do
55     Result := other.is_none;
56     end;
57    
58     internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
59     -- Does `other' conform to Current ?
60     do
61     Result := True;
62     end;
63    
64 grator 1166 storage_info, storage_info_with_name (classc: CLASS_C): S_CLASS_TYPE_INFO is
65     -- Storage info for Current type in class `classc'
66     -- and store the name of the class for Current
67     do
68     !! Result.make ("NONE", 0)
69     end;
70    
71 grator 18 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23