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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 94983 - (show annotations)
Fri May 2 11:05:28 2014 UTC (5 years, 7 months ago) by jasonw
File size: 3456 byte(s)
<<Merged from trunk#94978.>>
1 note
2 description: "Unknown type."
3
4 class
5 UNKNOWN_TYPE_A
6
7 inherit
8 TYPE_A
9 redefine
10 backward_conform_to,
11 has_associated_class,
12 is_attached,
13 is_computable,
14 is_initialization_required,
15 is_known,
16 same_as
17 end
18
19 feature -- Visitor
20
21 process (v: TYPE_A_VISITOR)
22 -- Process current element.
23 do
24 -- Not used.
25 end
26
27 feature -- Status report
28
29 has_associated_class: BOOLEAN = False
30 -- <Precursor>
31
32 is_attached: BOOLEAN = True
33 -- <Precursor>
34
35 is_initialization_required: BOOLEAN = False
36 -- <Precursor>
37 -- Pretend that this is a self-initializing type to relax requirements for unknown types.
38
39 is_known: BOOLEAN = False
40 -- <Precursor>
41
42 is_computable: BOOLEAN
43 -- <Precursor>
44 do
45 -- False here.
46 end
47
48 feature -- Access
49
50 base_class: detachable CLASS_C
51 -- <Precursor>
52 do
53 -- Void here.
54 end
55
56 hash_code: INTEGER
57 -- <Precursor>
58 do
59 Result := {SHARED_HASH_CODE}.other_code
60 end
61
62 feature -- Comparison
63
64 is_equivalent (other: like Current): BOOLEAN
65 -- Is `other' equivalent to the current object ?
66 do
67 -- False by default.
68 end
69
70 backward_conform_to (a_context_class: CLASS_C; other: TYPE_A): BOOLEAN
71 -- <Precursor>
72 do
73 -- `Result = true', but type information may be recorded by this call.
74 Precursor (a_context_class, other).do_nothing
75 -- Assume that the code is correct.
76 Result := True
77 end
78
79 feature -- Comparison
80
81 same_as (other: TYPE_A): BOOLEAN
82 -- Is the current type the same as `other' ?
83 do
84 -- False by default.
85 end
86
87 feature -- Generic conformance
88
89 create_info: CREATE_INFO
90 -- <Precursor>
91 do
92 ensure then
93 is_generated: False
94 end
95
96 feature -- Output
97
98 dump: STRING
99 -- <Precursor>
100 do
101 Result := "unknown"
102 end
103
104 ext_append_to (a_text_formatter: TEXT_FORMATTER; a_context_class: CLASS_C)
105 -- <Precursor>
106 do
107 a_text_formatter.add (once "unknown")
108 end
109
110 feature {TYPE_A} -- Helpers
111
112 internal_conform_to (a_context_class: CLASS_C; other: TYPE_A; a_in_generic: BOOLEAN): BOOLEAN
113 -- <Precursor>
114 do
115 -- Assume that the code is correct.
116 Result := True
117 end
118
119 note
120 date: "$Date$"
121 revision: "$Revision$"
122 copyright: "Copyright (c) 1984-2014, Eiffel Software"
123 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
124 licensing_options: "http://www.eiffel.com/licensing"
125 copying: "[
126 This file is part of Eiffel Software's Eiffel Development Environment.
127
128 Eiffel Software's Eiffel Development Environment is free
129 software; you can redistribute it and/or modify it under
130 the terms of the GNU General Public License as published
131 by the Free Software Foundation, version 2 of the License
132 (available at the URL listed under "license" above).
133
134 Eiffel Software's Eiffel Development Environment is
135 distributed in the hope that it will be useful, but
136 WITHOUT ANY WARRANTY; without even the implied warranty
137 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
138 See the GNU General Public License for more details.
139
140 You should have received a copy of the GNU General Public
141 License along with Eiffel Software's Eiffel Development
142 Environment; if not, write to the Free Software Foundation,
143 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
144 ]"
145 source: "[
146 Eiffel Software
147 5949 Hollister Ave., Goleta, CA 93117 USA
148 Telephone 805-685-1006, Fax 805-685-6869
149 Website http://www.eiffel.com
150 Customer support http://support.eiffel.com
151 ]"
152
153 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23