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
|
-- 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 LOCAL_NAME1
--
-- A local name in some declaration list.
--
inherit LOCAL_ARGUMENT1; LOCAL_NAME
creation make
feature
assertion_check(tag: CHARACTER) is
do
end
to_runnable(ct: E_TYPE): like Current is
local
rt: E_TYPE
do
rt := result_type.to_runnable(ct)
if rt = Void then
error_handler.add_position(result_type.start_position)
error(start_position,"Bad local variable.")
elseif rt.run_class = Void then
-- To make this RUN_CLASS live.
end
if refer_to = 0 then
if not produce_c then
warning(start_position,once "Unused local variable.")
refer_to_increment
end
end
if rt = result_type then
Result := Current
else
Result := twin
Result.set_result_type(rt)
end
end
produce_c: BOOLEAN is
-- True if some C code must be produced for this local variable
-- (i.e. the local is really used or this local variable is
-- of some user expanded type with possibles side effects).
do
if is_live then
Result := true
elseif result_type.is_expanded then
Result := not result_type.is_basic_eiffel_expanded
end
end
feature {LOCAL_VAR_LIST}
c_declare(volatile_flag: BOOLEAN) is
-- C declaration of the local.
local
t: E_TYPE
do
if produce_c then
t := result_type.run_type
if volatile_flag then
if t.is_basic_eiffel_expanded then
cpp.put_string("volatile ")
end
end
tmp_string.clear
t.c_type_for_result_in(tmp_string)
tmp_string.extend(' ')
cpp.put_string(tmp_string)
cpp.print_local(to_string)
cpp.put_character('=')
t.c_initialize
cpp.put_string(fz_00)
end
end
feature {DECLARATION_LIST}
name_clash(ct: E_TYPE) is
do
name_clash_for(ct,once "Conflict between local/feature name (VRLE).")
end
feature {LOCAL_NAME2}
refer_to_increment is
do
refer_to := refer_to + 1
end
set_is_live is
do
is_live := true
end
feature {LOCAL_NAME1_VISITOR}
accept(visitor: LOCAL_NAME1_VISITOR) is
do
visitor.visit_local_name1(Current)
end
feature {NONE}
refer_to: INTEGER
-- How many `refer_to' LOCAL_NAME2 for this local declaration.
is_live: BOOLEAN
-- Is this local name really used inside the living code ?
make(sp: POSITION; n: STRING) is
require
not sp.is_unknown
n = string_aliaser.item(n)
do
start_position := sp
to_string := n
ensure
start_position = sp
to_string = n
end
end -- LOCAL_NAME1
|
