/[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 18 - (show 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 -- 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