/[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 26913 - (show annotations)
Sun Aug 12 23:50:20 2001 UTC (18 years, 5 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/none_a.e
File size: 1690 byte(s)
Merged branch `dev46_manu' to the trunc.

1 indexing
2 description: "Actual type for integer type."
3 date: "$Date$"
4 revision: "$Revision $"
5
6 class
7 NONE_A
8
9 inherit
10 TYPE_A
11 redefine
12 is_none, dump, type_i, same_as,
13 internal_conform_to
14 end
15
16 feature -- Comparison
17
18 is_equivalent (other: like Current): BOOLEAN is
19 -- Is `other' equivalent to the current object ?
20 do
21 Result := True
22 end
23
24 feature -- Properties
25
26 is_none: BOOLEAN is True
27 -- Is the current type a none type ?
28
29 feature -- Access
30
31 same_as (other: TYPE_A): BOOLEAN is
32 -- Is the current type the same as `other' ?
33 do
34 Result := other.is_none
35 end
36
37 associated_class: CLASS_C is
38 do
39 -- No associated class
40 end
41
42 feature -- Output
43
44 dump: STRING is "NONE"
45 -- Dumped trace
46
47 ext_append_to (st: STRUCTURED_TEXT; f: E_FEATURE) is
48 do
49 st.add (ti_None_class)
50 end
51
52 feature {COMPILER_EXPORTER}
53
54 create_info: CREATE_TYPE is
55 -- Byte code information for entity type creation
56 do
57 !! Result
58 Result.set_type (type_i)
59 end
60
61 type_i: NONE_I is
62 -- Void C type
63 once
64 Result := None_c_type
65 end
66
67 internal_conform_to (other: TYPE_A in_generics: BOOLEAN): BOOLEAN is
68 -- Does `other' conform to Current ?
69 do
70 -- If `other' is a basic, a BIT or an expanded type, it is not
71 -- conform to NONE.
72 --| When doing the check for `is_basic', we also check that `other'
73 --| can be a BIT type, so we do not need to add the check `other.is_bits'.
74 -- FIXME: This test needs to be done, but since it's causing to much trouble for now
75 -- we just desactivated it and we are back to the previous implementation
76 -- Result := not (other.is_basic or else other.is_expanded)
77 Result := not other.is_void
78 end
79
80 end -- class NONE_A

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23