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 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280
|
-- 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 EXPRESSION_WITH_COMMENT
--
-- To wrap an expression with a following comment.
--
inherit EXPRESSION
creation make
feature {EXPRESSION_WITH_COMMENT_VISITOR}
accept(visitor: EXPRESSION_WITH_COMMENT_VISITOR) is
do
visitor.visit_expression_with_comment(Current)
end
feature
expression: EXPRESSION
comment: COMMENT
-- the associated one.
to_integer_or_error: INTEGER is
do
Result := expression.to_integer_or_error
end
start_lookup_class: BASE_CLASS is
do
Result := expression.start_lookup_class
end
is_writable: BOOLEAN is
do
Result := expression.is_writable
end
is_manifest_string: BOOLEAN is
do
Result := expression.is_manifest_string
end
is_void: BOOLEAN is
do
Result := expression.is_void
end
is_result: BOOLEAN is
do
Result := expression.is_result
end
is_current: BOOLEAN is
do
Result := expression.is_current
end
assertion_check(tag: CHARACTER) is
do
expression.assertion_check(tag)
end
is_static: BOOLEAN is
do
Result := expression.is_static
end
once_pre_computable: BOOLEAN is
do
Result := expression.once_pre_computable
end
isa_dca_inline_argument: INTEGER is
do
Result := expression.isa_dca_inline_argument
end
dca_inline_argument(formal_arg_type: E_TYPE) is
do
expression.dca_inline_argument(formal_arg_type)
end
mapping_c_target(target_type: E_TYPE) is
do
expression.mapping_c_target(target_type)
end
mapping_c_arg(formal_arg_type: E_TYPE) is
do
expression.mapping_c_arg(formal_arg_type)
end
afd_check is
do
expression.afd_check
end
safety_check is
do
expression.safety_check
end
collect_c_tmp is
do
expression.collect_c_tmp
end
compile_to_c is
do
expression.compile_to_c
end
c_frame_descriptor(format, locals: STRING) is
do
expression.c_frame_descriptor(format,locals)
end
compile_to_jvm is
do
expression.compile_to_jvm
end
compile_target_to_jvm is
do
expression.compile_target_to_jvm
end
jvm_branch_if_false: INTEGER is
do
Result := expression.jvm_branch_if_false
end
jvm_branch_if_true: INTEGER is
do
Result := expression.jvm_branch_if_true
end
compile_to_jvm_into(dest: E_TYPE): INTEGER is
do
Result := expression.compile_to_jvm_into(dest)
end
use_current: BOOLEAN is
do
Result := expression.use_current
end
stupid_switch(run_time_set: RUN_TIME_SET): BOOLEAN is
do
Result := expression.stupid_switch(run_time_set)
end
side_effect_free: BOOLEAN is
do
Result := expression.side_effect_free
end
to_runnable(ct: E_TYPE): like Current is
local
e: EXPRESSION
do
e := expression.to_runnable(ct)
if expression = e then
Result := Current
else
!!Result.make(e,comment)
end
end
simplify_1_, simplify_2: like Current is
do
check
-- No creation of COMMENT while producing code:
smart_eiffel.pretty_flag or else smart_eiffel.short_flag
end
Result := Current
end
start_position: POSITION is
do
Result := expression.start_position
end
extra_bracket_flag: BOOLEAN is
do
Result := expression.extra_bracket_flag
end
pretty_print is
do
expression.pretty_print
comment.pretty_print
end
bracketed_pretty_print is
do
expression.bracketed_pretty_print
comment.pretty_print
end
print_as_target is
do
expression.print_as_target
end
short is
do
expression.short
end
short_target is
do
expression.short_target
end
result_type: E_TYPE is
do
Result := expression.result_type
end
precedence: INTEGER is
do
Result := expression.precedence
end
jvm_assign_creation is
do
expression.jvm_assign_creation
end
jvm_assign is
do
expression.jvm_assign
end
feature {NONE}
make(e: like expression; c: like comment) is
require
e /= Void
really_a_comment: c.count > 0
do
expression := e
comment := c
ensure
expression = e
comment = c
end
invariant
comment /= Void
end -- EXPRESSION_WITH_COMMENT
|