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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89347 - (show annotations)
Fri Aug 10 15:09:25 2012 UTC (7 years, 4 months ago) by jasonw
File size: 2348 byte(s)
<<Merged from trunk#89346.>>
1 note
2 description: "Actual type for pointer 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 POINTER_A
9
10 inherit
11 BASIC_A
12 redefine
13 is_pointer, base_class, same_as,
14 default_create, process
15 end
16
17 create
18 default_create
19
20 feature {NONE} -- Initialization
21
22 default_create
23 -- Initialize new instance of POINTER_A.
24 do
25 make (base_class.class_id)
26 end
27
28 feature -- Visitor
29
30 process (v: TYPE_A_VISITOR)
31 -- Process current element.
32 do
33 v.process_pointer_a (Current)
34 end
35
36 feature -- Property
37
38 is_pointer: BOOLEAN = True
39 -- Is the current type a pointer type ?
40
41 base_class: CLASS_C
42 -- Class POINTER
43 once
44 Result := System.pointer_class.compiled_class
45 end
46
47 feature {COMPILER_EXPORTER}
48
49 c_type: POINTER_I
50 -- Pointer C type
51 do
52 Result := pointer_c_type
53 end
54
55 same_as (other: TYPE_A): BOOLEAN
56 -- Is the current type the same as `other' ?
57 do
58 Result := same_type (other)
59 end
60
61 note
62 copyright: "Copyright (c) 1984-2007, Eiffel Software"
63 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
64 licensing_options: "http://www.eiffel.com/licensing"
65 copying: "[
66 This file is part of Eiffel Software's Eiffel Development Environment.
67
68 Eiffel Software's Eiffel Development Environment is free
69 software; you can redistribute it and/or modify it under
70 the terms of the GNU General Public License as published
71 by the Free Software Foundation, version 2 of the License
72 (available at the URL listed under "license" above).
73
74 Eiffel Software's Eiffel Development Environment is
75 distributed in the hope that it will be useful, but
76 WITHOUT ANY WARRANTY; without even the implied warranty
77 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
78 See the GNU General Public License for more details.
79
80 You should have received a copy of the GNU General Public
81 License along with Eiffel Software's Eiffel Development
82 Environment; if not, write to the Free Software Foundation,
83 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
84 ]"
85 source: "[
86 Eiffel Software
87 356 Storke Road, Goleta, CA 93117 USA
88 Telephone 805-685-1006, Fax 805-685-6869
89 Website http://www.eiffel.com
90 Customer support http://support.eiffel.com
91 ]"
92
93 end -- class POINTER_A

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23