/[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 1166 - (show annotations)
Tue Oct 4 22:59:47 1994 UTC (25 years, 3 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/none_a.e
File size: 1180 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 storage_info, storage_info_with_name
12 end
13
14 feature
15
16 is_none: BOOLEAN is
17 -- Is the current type a none type ?
18 do
19 Result := True;
20 end;
21
22 dump: STRING is "NONE";
23 -- Dumped trace
24
25 append_clickable_signature (a_clickable: CLICK_WINDOW) is
26 do
27 a_clickable.put_string ("NONE");
28 end;
29
30 type_i: NONE_I is
31 -- Void C type
32 once
33 !!Result;
34 end;
35
36 associated_class: CLASS_C is
37 require else
38 True
39 do
40 -- No associated class
41 end;
42
43 same_as (other: TYPE_A): BOOLEAN is
44 -- Is the current type the same as `other' ?
45 do
46 Result := other.is_none;
47 end;
48
49 internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
50 -- Does `other' conform to Current ?
51 do
52 Result := True;
53 end;
54
55 storage_info, storage_info_with_name (classc: CLASS_C): S_CLASS_TYPE_INFO is
56 -- Storage info for Current type in class `classc'
57 -- and store the name of the class for Current
58 do
59 !! Result.make ("NONE", 0)
60 end;
61
62 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23