/[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 296 - (hide annotations)
Thu Aug 19 20:09:35 1993 UTC (26 years, 5 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/none_a.e
File size: 872 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 296 internal_conform_to, append_clickable_signature
11 grator 18 end
12    
13     feature
14    
15     is_none: BOOLEAN is
16     -- Is the current type a none type ?
17     do
18     Result := True;
19     end;
20    
21     dump: STRING is "NONE";
22     -- Dumped trace
23    
24 grator 296 append_clickable_signature (a_clickable: CLICK_WINDOW) is
25     do
26     a_clickable.put_string ("NONE");
27     end;
28    
29 grator 18 type_i: NONE_I is
30     -- Void C type
31     once
32     !!Result;
33     end;
34    
35     associated_class: CLASS_C is
36 grator 274 require else
37     True
38 grator 18 do
39     -- No associated class
40     end;
41    
42     same_as (other: TYPE_A): BOOLEAN is
43     -- Is the current type the same as `other' ?
44     do
45     Result := other.is_none;
46     end;
47    
48     internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
49     -- Does `other' conform to Current ?
50     do
51     Result := True;
52     end;
53    
54     end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23