/[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 3078 - (show annotations)
Mon Oct 30 11:24:52 1995 UTC (24 years, 2 months ago) by dinov
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/none_a.e
File size: 1311 byte(s)
features moved in specific feature clauses (Access, Output, ...)
implementation of the API

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, associated_eclass
12 end
13
14 feature -- Properties
15
16 is_none: BOOLEAN is
17 -- Is the current type a none type ?
18 do
19 Result := True;
20 end;
21
22 associated_eclass: E_CLASS is
23 -- No associated class
24 do
25 end;
26
27 feature -- Output
28
29 dump: STRING is "NONE";
30 -- Dumped trace
31
32 append_clickable_signature (a_clickable: CLICK_WINDOW) is
33 do
34 a_clickable.put_string ("NONE");
35 end;
36
37 feature
38
39 type_i: NONE_I is
40 -- Void C type
41 once
42 !!Result;
43 end;
44
45 associated_class: CLASS_C is
46 require else
47 True
48 do
49 -- No associated class
50 end;
51
52 same_as (other: TYPE_A): BOOLEAN is
53 -- Is the current type the same as `other' ?
54 do
55 Result := other.is_none;
56 end;
57
58 internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
59 -- Does `other' conform to Current ?
60 do
61 Result := True;
62 end;
63
64 storage_info, storage_info_with_name (classc: CLASS_C): S_CLASS_TYPE_INFO is
65 -- Storage info for Current type in class `classc'
66 -- and store the name of the class for Current
67 do
68 !! Result.make ("NONE", 0)
69 end;
70
71 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23