/[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 18 - (hide annotations)
Fri Mar 12 17:44:01 1993 UTC (26 years, 10 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/none_a.e
File size: 713 byte(s)
Initial revision

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     internal_conform_to
11     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     type_i: NONE_I is
25     -- Void C type
26     once
27     !!Result;
28     end;
29    
30     associated_class: CLASS_C is
31     do
32     -- No associated class
33     end;
34    
35     same_as (other: TYPE_A): BOOLEAN is
36     -- Is the current type the same as `other' ?
37     do
38     Result := other.is_none;
39     end;
40    
41     internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
42     -- Does `other' conform to Current ?
43     do
44     Result := True;
45     end;
46    
47     end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23