/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/real_a.e
ViewVC logotype

Contents of /branches/eth/eve/Src/Eiffel/API/evaluated_type/real_a.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 71150 - (show annotations)
Wed Nov 14 19:34:34 2007 UTC (12 years, 2 months ago) by alexk
Original Path: trunk/Src/Eiffel/API/evaluated_type/real_32_a.e
File size: 2518 byte(s)
Supported attachment marks for formal generic parameter (in internal
structures only).
Refactored types that can have attachment marks into a separate class.
Fixed issue when "like Current" was not considered as attached even when
compiling with an option "is_attached_by_default".
Taken into account attachment status when comparing types for equality.
Made TUPLE type in an agent type (PROCEDURE or FUNCTION) attached in
void-safe context, so that it conforms to the usual type declaration.
Ensured actual type preserves attachment status of the corresponding
anchored type.

1 indexing
2 description: "Actual type for real 32 bits type."
3 legal: "See notice at end of class."
4 status: "See notice at end of class."
5 date: "$Date$"
6 revision: "$Revision $"
7
8 class REAL_32_A
9
10 inherit
11 BASIC_A
12 redefine
13 is_real_32, associated_class, same_as, is_numeric,
14 default_create, process
15 end
16
17 create
18 default_create
19
20 feature {NONE} -- Initialization
21
22 default_create is
23 -- Initialize new instance of REAL_32_A.
24 do
25 make (associated_class.class_id)
26 end
27
28 feature -- Visitor
29
30 process (v: TYPE_A_VISITOR) is
31 -- Process current element.
32 do
33 v.process_real_32_a (Current)
34 end
35
36 feature -- Property
37
38 is_real_32: BOOLEAN is True
39 -- Is the current type a real 32 bits type ?
40
41 associated_class: CLASS_C is
42 -- Class REAL
43 once
44 Result := System.real_32_class.compiled_class
45 end
46
47 feature {COMPILER_EXPORTER}
48
49 is_numeric: BOOLEAN is True
50 -- Is the current type a numeric type ?
51
52 type_i: REAL_32_I is
53 -- C type
54 do
55 Result := real32_c_type
56 end
57
58 same_as (other: TYPE_A): BOOLEAN is
59 -- Is the current type the same as `other' ?
60 do
61 Result := other.is_real_32
62 and then is_attached = other.is_attached
63 end
64
65 indexing
66 copyright: "Copyright (c) 1984-2007, Eiffel Software"
67 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
68 licensing_options: "http://www.eiffel.com/licensing"
69 copying: "[
70 This file is part of Eiffel Software's Eiffel Development Environment.
71
72 Eiffel Software's Eiffel Development Environment is free
73 software; you can redistribute it and/or modify it under
74 the terms of the GNU General Public License as published
75 by the Free Software Foundation, version 2 of the License
76 (available at the URL listed under "license" above).
77
78 Eiffel Software's Eiffel Development Environment is
79 distributed in the hope that it will be useful, but
80 WITHOUT ANY WARRANTY; without even the implied warranty
81 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
82 See the GNU General Public License for more details.
83
84 You should have received a copy of the GNU General Public
85 License along with Eiffel Software's Eiffel Development
86 Environment; if not, write to the Free Software Foundation,
87 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
88 ]"
89 source: "[
90 Eiffel Software
91 356 Storke Road, Goleta, CA 93117 USA
92 Telephone 805-685-1006, Fax 805-685-6869
93 Website http://www.eiffel.com
94 Customer support http://support.eiffel.com
95 ]"
96
97 end -- class REAL_32_A

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23