1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
|
-- This file is part of SmartEiffel The GNU Eiffel Compiler Tools and Libraries
--
-- SmartEiffel is free software; you can redistribute it and/or modify it
-- under the terms of the GNU General Public License, as published by the
-- Free Software Foundation; either version 2, or (at your option) any later
-- version.
-- SmartEiffel is distributed in the hope that it will be useful but WITHOUT
-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
-- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
-- more details. You should have received a copy of the GNU General Public
-- License along with SmartEiffel; see the file COPYING. If not, write to
-- the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
-- MA 02111-1307, USA.
--
-- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P.
-- - University of Nancy 1 - FRANCE
-- Copyright(C) 2003: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne
-- - University of Nancy 2 - FRANCE
--
-- Dominique COLNET, Suzanne COLLIN, Olivier ZENDRA,
-- Philippe RIBET, Cyril ADRIAN
--
-- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr
--
class FAKE_TARGET
--
-- This pseudo expression is used to simulate some target of some
-- invariable TYPE. As an example, this kind of object is used to
-- simulate the target of a CECIL call.
--
inherit EXPRESSION
creation make
feature
is_current: BOOLEAN is False
is_writable: BOOLEAN is False
is_static: BOOLEAN is False
once_pre_computable: BOOLEAN is False
is_manifest_string: BOOLEAN is False
is_result: BOOLEAN is False
is_void: BOOLEAN is False
use_current: BOOLEAN is False
side_effect_free: BOOLEAN is True
extra_bracket_flag: BOOLEAN is False
precedence: INTEGER is
do
Result := atomic_precedence
end
to_integer_or_error: INTEGER is
do
to_integer_error
end
start_lookup_class: BASE_CLASS is
do
Result := result_type.base_class
end
result_type: E_TYPE
start_position: POSITION is
do
end
assertion_check(tag: CHARACTER) is
do
end
afd_check is
do
end
safety_check is
do
end
to_runnable(ct: E_TYPE): like Current is
do
Result := Current
end
simplify_1_, simplify_2: like Current is
do
Result := Current
end
stupid_switch(run_time_set: RUN_TIME_SET): BOOLEAN is
do
Result := True
end
isa_dca_inline_argument: INTEGER is 0
dca_inline_argument(formal_arg_type: E_TYPE) is
do
check False end
end
compile_to_c is
do
cpp.put_character('C')
end
mapping_c_target(target_type: E_TYPE) is
do
target_type.mapping_cast
compile_to_c
end
mapping_c_arg(formal_arg_type: E_TYPE) is
do
mapping_c_target(result_type)
end
c_frame_descriptor(format, locals: STRING) is do end
collect_c_tmp is do end
compile_to_jvm is
do
result_type.jvm_push_local(0)
end
compile_target_to_jvm is
do
compile_to_jvm
end
jvm_branch_if_false: INTEGER is
do
compile_to_jvm
Result := code_attribute.opcode_ifeq
end
jvm_branch_if_true: INTEGER is
do
compile_to_jvm
Result := code_attribute.opcode_ifne
end
jvm_assign_creation, jvm_assign is
do
check False end
end
compile_to_jvm_into(dest: E_TYPE): INTEGER is
do
end
pretty_print, bracketed_pretty_print, print_as_target is
do
end
short is
do
end
short_target is
do
end
feature {FAKE_TARGET_VISITOR}
accept(visitor: FAKE_TARGET_VISITOR) is
do
visitor.visit_fake_target(Current)
end
feature {NONE}
make(rt: like result_type) is
require
rt /= Void
do
result_type := rt
ensure
result_type = rt
end
invariant
result_type /= Void
end -- FAKE_TARGET
|
