/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e
ViewVC logotype

Contents of /branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 274 - (show 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 -- 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 require else
32 True
33 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