/[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 274 - (hide annotations)
Fri Jul 9 15:22:19 1993 UTC (26 years, 6 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/none_a.e
File size: 736 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     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 grator 274 require else
32     True
33 grator 18 do
34     -- No associated class
35     end;
36    
37     same_as (other: TYPE_A): BOOLEAN is
38     -- Is the current type the same as `other' ?
39     do
40     Result := other.is_none;
41     end;
42    
43     internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
44     -- Does `other' conform to Current ?
45     do
46     Result := True;
47     end;
48    
49     end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23