-- This file is part of SmartEiffel The GNU Eiffel Compiler.
-- Copyright (C) 1994-2002 LORIA - INRIA - U.H.P. Nancy 1 - FRANCE
-- Dominique COLNET and Suzanne COLLIN - SmartEiffel@loria.fr
-- http://SmartEiffel.loria.fr
-- 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.
--
class STRING_ALIASER
--
-- Singleton object used to share constant immutable strings.
-- This singleton is shared via the GLOBALS.`string_aliaser' once
-- function .
-- The goal is to optimize immutable strings comparisons. Thus, any
-- immutable name must be registered here to get the corresponding
-- unique reference.
--
inherit GLOBALS
creation make
feature
item(model: STRING): STRING is
require
model /= Void
do
Result := memory.reference_at(model)
if Result = Void then
Result := model.twin
memory.add(Result,Result)
end
ensure
Result.is_equal(model)
end
feature {FEATURE_NAME}
for_prefix(to_string: STRING): STRING is
do
Result := key_for_prefix_infix(once "_px_",to_string)
end
for_infix(to_string: STRING): STRING is
do
Result := key_for_prefix_infix(once "_ix_",to_string)
end
feature {COMPILE_TO_C,COMPILE_TO_JVM}
echo_information is
do
echo.put_string(once "Aliased Strings: ")
echo.put_integer(memory.count)
echo.put_string(fz_dot_new_line)
end
feature {NONE}
make is
do
-- Hard-coded class names:
regular_add(as_any)
regular_add(as_array)
regular_add(as_bit)
regular_add(as_bit_n)
regular_add(as_boolean)
regular_add(as_boolean_ref)
regular_add(as_character)
regular_add(as_character_ref)
regular_add(as_dictionary)
regular_add(as_double)
regular_add(as_double_ref)
regular_add(as_exceptions)
regular_add(as_fixed_array)
regular_add(as_function)
regular_add(as_general)
regular_add(as_integer_general)
regular_add(as_integer_8)
regular_add(as_integer_16)
regular_add(as_integer_32)
regular_add(as_integer)
regular_add(as_integer_64)
regular_add(as_integer_ref)
regular_add(as_memory)
regular_add(as_native_array)
regular_add(as_none)
regular_add(as_platform)
regular_add(as_pointer)
regular_add(as_pointer_ref)
regular_add(as_predicate)
regular_add(as_procedure)
regular_add(as_real_general)
regular_add(as_real_32)
regular_add(as_real)
regular_add(as_real_64)
regular_add(as_real_ref)
regular_add(as_routine)
regular_add(as_string)
regular_add(as_text_file_read)
regular_add(as_text_file_write)
regular_add(as_tuple)
regular_add(as_type)
-- Operator/Infix/Prefix list:
regular_add(as_amp)
regular_add(as_and)
regular_add(as_and_then)
regular_add(as_at)
regular_add(as_backslash_backslash)
regular_add(as_bit_and)
regular_add(as_bit_clear)
regular_add(as_bit_item)
regular_add(as_bit_not)
regular_add(as_bit_or)
regular_add(as_bit_put)
regular_add(as_bit_rotate)
regular_add(as_bit_rotate_left)
regular_add(as_bit_rotate_right)
regular_add(as_bit_set)
regular_add(as_bit_shift)
regular_add(as_bit_shift_left)
regular_add(as_bit_shift_right)
regular_add(as_bit_shift_right_unsigned)
regular_add(as_bit_shift_unsigned)
regular_add(as_bit_xor)
regular_add(as_eq)
regular_add(as_ge)
regular_add(as_gt)
regular_add(as_implies)
regular_add(as_le)
regular_add(as_lt)
regular_add(as_minus)
regular_add(as_muls)
regular_add(as_neq)
regular_add(as_not)
regular_add(as_or)
regular_add(as_or_else)
regular_add(as_plus)
regular_add(as_pow)
regular_add(as_rotate)
regular_add(as_rotate_left)
regular_add(as_rotate_right)
regular_add(as_shift_left1)
regular_add(as_shift_left2)
regular_add(as_shift_right1)
regular_add(as_shift_right2)
regular_add(as_shift_right_unsigned)
regular_add(as_slash)
regular_add(as_slash_slash)
regular_add(as_vbar)
regular_add(as_vbar_hat)
regular_add(as_vbar_tilde)
regular_add(as_xor)
-- Hard coded feature names:
regular_add(as_a1)
regular_add(as_add_last)
regular_add(as_agent)
regular_add(as_atan2)
regular_add(as_blank)
special_add(as_boolean_bits)
regular_add(as_call)
regular_add(as_calloc)
regular_add(as_capacity)
special_add(as_character_bits)
regular_add(as_clear_all)
regular_add(as_count)
regular_add(as_code)
regular_add(as_collecting)
regular_add(as_collection_off)
regular_add(as_collection_on)
regular_add(as_collector_counter)
regular_add(as_conforms_to)
regular_add(as_copy)
regular_add(as_c_inline_c)
regular_add(as_c_inline_h)
regular_add(as_default_create)
regular_add(as_default_rescue)
regular_add(as_deep_memcmp)
regular_add(as_deep_twin)
regular_add(as_deep_twin_from)
regular_add(as_dispose)
special_add(as_double_bits)
regular_add(as_double_floor)
regular_add(as_die_with_code)
regular_add(as_element_sizeof)
regular_add(as_exception)
regular_add(as_fifth)
regular_add(as_first)
regular_add(as_floor)
regular_add(as_flush)
regular_add(as_fourth)
regular_add(as_from_pointer)
regular_add(as_full_collect)
regular_add(as_generating_type)
regular_add(as_generator)
regular_add(as_io)
special_add(as_integer_bits)
regular_add(as_is_basic_expanded_type)
regular_add(as_is_deep_equal)
regular_add(as_is_expanded_type)
regular_add(as_is_equal)
regular_add(as_is_not_null)
regular_add(as_item)
regular_add(as_last)
regular_add(as_lower)
regular_add(as_make)
special_add(as_minimum_character_code)
special_add(as_minimum_double)
special_add(as_minimum_real)
special_add(as_maximum_character_code)
special_add(as_maximum_double)
special_add(as_maximum_real)
regular_add(as_object_size)
special_add(as_pointer_bits)
regular_add(as_pointer_size)
regular_add(as_pow_postfix)
regular_add(as_print)
regular_add(as_print_on)
regular_add(as_print_run_time_stack)
regular_add(as_print_all_run_time_stacks)
regular_add(as_put)
regular_add(as_put_0)
regular_add(as_put_1)
regular_add(as_raise_exception)
special_add(as_real_bits)
regular_add(as_realloc)
regular_add(as_second)
regular_add(as_se_argc)
regular_add(as_se_argv)
regular_add(as_sedb_breakpoint)
regular_add(as_signal_number)
regular_add(as_standard_copy)
regular_add(as_standard_is_equal)
regular_add(as_standard_twin)
regular_add(as_std_error)
regular_add(as_std_input)
regular_add(as_std_output)
regular_add(as_storage)
regular_add(as_third)
regular_add(as_to_bit)
regular_add(as_to_character)
regular_add(as_to_double)
regular_add(as_to_integer_8)
regular_add(as_to_integer_16)
regular_add(as_to_integer)
regular_add(as_to_integer_32)
regular_add(as_to_pointer)
regular_add(as_to_real)
regular_add(as_trace_switch)
regular_add(as_truncated_to_integer)
regular_add(as_twin)
regular_add(as_upper)
regular_add(as_with_capacity)
-- Other names:
regular_add(as_arguments)
regular_add(as_current)
regular_add(as_native_array_character)
regular_add(as_last_result)
regular_add(as_like_current)
regular_add(as_method)
regular_add(as_open_arguments)
regular_add(as_open_argument_indices)
regular_add(as_open_argument_index)
regular_add(as_open_argument_count)
regular_add(as_precursor)
regular_add(as_result)
regular_add(as_target)
regular_add(as_void)
end
regular_add(str: STRING) is
-- Added as it is in the `memory'.
require
not memory.has(str)
do
memory.add(str,str)
end
special_add(str: STRING) is
-- May be added in lower case in the `memory'
do
if eiffel_parser.case_insensitive then
str.to_lower
end
regular_add(str)
end
buffer: STRING is
once
create Result.make(128)
end
key_for_prefix_infix(tag_prefix_or_infix, to_string: STRING): STRING is
local
i: INTEGER; c: CHARACTER
do
buffer.copy(tag_prefix_or_infix)
from
i := 1
until
i > to_string.count
loop
c := to_string.item(i)
if c.is_letter then
buffer.extend(c)
else
c.code.append_in(buffer)
end
i := i + 1
end
Result := item(buffer)
end
memory: DICTIONARY[STRING,STRING] is
once
create Result.with_capacity(16384)
end
singleton_memory: STRING_ALIASER is
once
Result := Current
end
invariant
is_real_singleton: Current = singleton_memory
end -- STRING_ALIASER