/[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 296 - (show 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 -- 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, append_clickable_signature
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 append_clickable_signature (a_clickable: CLICK_WINDOW) is
25 do
26 a_clickable.put_string ("NONE");
27 end;
28
29 type_i: NONE_I is
30 -- Void C type
31 once
32 !!Result;
33 end;
34
35 associated_class: CLASS_C is
36 require else
37 True
38 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