-- This file is part of SmallEiffel The GNU Eiffel Compiler. -- Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE -- Dominique COLNET and Suzanne COLLIN - colnet@loria.fr -- http://www.loria.fr/SmallEiffel -- SmallEiffel 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. SmallEiffel 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 SmallEiffel; see the file COPYING. If not, -- write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, -- Boston, MA 02111-1307, USA. -- class UNIQUE_STRING -- -- Singleton object used to share constant immutable strings. -- This singleton is shared via the GLOBALS.`unique_string' 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 initialize; if memory.has(model) then Result := read(model); else Result := model.twin; add1(Result); end; ensure Result.is_equal(model) end; count: INTEGER is do Result := memory.count; end; feature {PREFIX_NAME} for_prefix(to_string: STRING): STRING is do Result := key_for_prefix_infix("_ix_",to_string); end; feature {INFIX_NAME} for_infix(to_string: STRING): STRING is do Result := key_for_prefix_infix("_px_",to_string); end; feature {PRECURSOR_NAME} for_precursor(id: INTEGER; to_key: STRING): STRING is do tmp_string.copy("_P"); id.append_in(tmp_string); tmp_string.append(to_key); Result := item(tmp_string); end; feature {NONE} make is do end; initialize is once -- -------------------------------------- Class names : add1(us_any); add1(us_array); add1(us_bit); add1(us_bit_n); add1(us_bit_n_ref); add1(us_boolean); add1(us_boolean_ref); add1(us_character); add1(us_character_ref); add1(us_dictionary); add1(us_double); add1(us_double_ref); add1(us_exceptions); add1(us_fixed_array); add1(us_general); add1(us_integer); add1(us_integer_ref); add1(us_memory); add1(us_native_array); add1(us_none); add1(us_platform); add1(us_pointer); add1(us_pointer_ref); add1(us_real); add1(us_real_ref); add1(us_string); add1(us_std_file_read); add1(us_std_file_write); -- ----------------------- Operator/Infix/Prefix list : add1(us_and); add1(us_and_then); add1(us_at); add1(us_backslash_backslash); add1(us_eq); add1(us_ge); add1(us_gt); add1(us_implies); add1(us_le); add1(us_lt); add1(us_minus); add1(us_muls); add1(us_neq); add1(us_not); add1(us_or); add1(us_or_else); add1(us_plus); add1(us_pow); add1(us_shift_left); add1(us_shift_right); add1(us_slash); add1(us_slash_slash); add1(us_std_neq); add1(us_xor); -- ------------------------------------ Feature names : add1(us_blank); add1(us_bitn); add2(us_boolean_bits); add1(us_calloc); add1(us_capacity); add2(us_character_bits); add1(us_clear_all); add1(us_compile_to_c); add1(us_compile_to_jvm); add1(us_count); add1(us_code); add1(us_conforms_to); add1(us_copy); add1(us_c_inline_c); add1(us_c_inline_h); add1(us_double_bits); add1(us_double_floor); add1(us_die_with_code); add1(us_element_sizeof); add1(us_eof_code); add1(us_exception); add1(us_fclose); add1(us_feof); add1(us_floor); add1(us_flush_stream); add1(us_free); add1(us_from_pointer); add1(us_generating_type); add1(us_generator); add1(us_io); add2(us_integer_bits); add1(us_is_basic_expanded_type); add1(us_is_expanded_type); add1(us_is_equal); add1(us_is_not_void); add1(us_item); add1(us_lower); add1(us_malloc); add1(us_make); add2(us_minimum_character_code); add2(us_minimum_double); add2(us_minimum_integer); add2(us_minimum_real); add2(us_maximum_character_code); add2(us_maximum_double); add2(us_maximum_integer); add2(us_maximum_real); add1(us_object_size); add1(us_pointer_bits); add1(us_pointer_size); add1(us_print); add1(us_print_on); add1(us_print_run_time_stack); add1(us_put); add1(us_put_0); add1(us_put_1); add1(us_raise_exception); add1(us_read_byte); add1(us_real_bits); add1(us_realloc); add1(us_se_argc); add1(us_se_argv); add1(us_se_getenv); add1(us_se_remove); add1(us_se_rename); add1(us_se_string2double); add1(us_se_system); add1(us_sfr_open); add1(us_signal_number); add1(us_sfw_open); add1(us_sprintf_double); add1(us_sprintf_pointer); add1(us_standard_copy); add1(us_standard_is_equal); add1(us_standard_twin); add1(us_stderr); add1(us_stdin); add1(us_stdout); add1(us_std_error); add1(us_std_input); add1(us_std_output); add1(us_storage); add1(us_to_bit); add1(us_to_character); add1(us_to_double); add1(us_to_integer); add1(us_to_pointer); add1(us_to_real); add1(us_trace_switch); add1(us_truncated_to_integer); add1(us_twin); add1(us_upper); add1(us_with_capacity); add1(us_write_byte); -- -------------------------------------- Other names : add1(us_current); add1(us_native_array_character); add1(us_like_current); add1(us_precursor); add1(us_result); add1(us_void); end; add1(str: STRING) is require not memory.has(str) do memory.put(str,str); end; add2(str: STRING) is do if eiffel_parser.case_insensitive then str.to_lower; end; add1(str); end; read(model: STRING): STRING is do Result := memory.at(model); end; memory: DICTIONARY[STRING,STRING] is once !!Result.make; end; tmp_string: STRING is once !!Result.make(16); end; key_for_prefix_infix(tag_prefix_or_infix, to_string: STRING): STRING is local i: INTEGER; c: CHARACTER; do tmp_string.copy(tag_prefix_or_infix); from i := 1; until i > to_string.count loop c := to_string.item(i); if c.is_letter then tmp_string.extend(c); else c.code.append_in(tmp_string); end; i := i + 1; end; Result := item(tmp_string); end; end -- UNIQUE_STRING