/[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 1166 - (hide annotations)
Tue Oct 4 22:59:47 1994 UTC (25 years, 3 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/none_a.e
File size: 1180 byte(s)
*** empty log message ***

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

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23