Automatic generation produced by ISE Eiffel
class STRING_32 General cluster: elks description: "Sequences of 32-bit characters, accessible through integer indices in a contiguous range." create: make, make_empty, make_filled, make_from_string, make_from_string_general, make_from_c, make_from_c_pointer, make_from_c_byte_array, make_from_cil, make_from_separate Ancestors DYNAMIC_TABLE* [G, H] INDEXABLE* [G, H -> INTEGER_32] MISMATCH_CORRECTOR READABLE_STRING_32* RESIZABLE* [G] STRING_GENERAL* TO_SPECIAL [T] Queries adapt (s: STRING_32): [like Current] STRING_32 additional_space: INTEGER_32 area: SPECIAL [CHARACTER_32] as_lower: [like Current] STRING_32 as_string_32: STRING_32 as_upper: [like Current] STRING_32 at alias "@" (i: INTEGER_32): CHARACTER_32 capacity: INTEGER_32 case_insensitive_hash_code: INTEGER_32 Changeable_comparison_criterion: BOOLEAN code (i: INTEGER_32): NATURAL_32 count: INTEGER_32 ends_with (s: READABLE_STRING_32): BOOLEAN ends_with_general (s: READABLE_STRING_GENERAL): BOOLEAN Extendible: BOOLEAN False_constant: STRING_8 full: BOOLEAN fuzzy_index (other: READABLE_STRING_GENERAL; start, fuzz: INTEGER_32): INTEGER_32 Growth_percentage: INTEGER_32 has (c: CHARACTER_32): BOOLEAN has_code (c: [like code] NATURAL_32): BOOLEAN has_substring (other: READABLE_STRING_GENERAL): BOOLEAN hash_code: INTEGER_32 head (n: INTEGER_32): [like Current] STRING_32 index_of (c: CHARACTER_32; start_index: INTEGER_32): INTEGER_32 index_of_code (c: [like code] NATURAL_32; start_index: INTEGER_32): INTEGER_32 is_boolean: BOOLEAN is_case_insensitive_equal (other: READABLE_STRING_32): BOOLEAN is_case_insensitive_equal_general (other: READABLE_STRING_GENERAL): BOOLEAN is_double: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] STRING_32): BOOLEAN is_greater alias ">" (other: [like Current] STRING_32): BOOLEAN is_greater_equal alias ">=" alias "≥" (other: [like Current] STRING_32): BOOLEAN is_hashable: BOOLEAN is_immutable: BOOLEAN is_inserted (v: CHARACTER_32): BOOLEAN is_integer: BOOLEAN is_integer_16: BOOLEAN is_integer_32: BOOLEAN is_integer_64: BOOLEAN is_integer_8: BOOLEAN is_less alias "<" (other: [like Current] STRING_32): BOOLEAN is_less_equal alias "<=" alias "≤" (other: [like Current] STRING_32): BOOLEAN is_natural: BOOLEAN is_natural_16: BOOLEAN is_natural_32: BOOLEAN is_natural_64: BOOLEAN is_natural_8: BOOLEAN is_number_sequence: BOOLEAN is_real: BOOLEAN is_real_32: BOOLEAN is_real_64: BOOLEAN is_real_sequence: BOOLEAN Is_string_32: BOOLEAN Is_string_8: BOOLEAN is_substring_whitespace (start_index, end_index: INTEGER_32): BOOLEAN is_valid_as_string_8: BOOLEAN is_whitespace: BOOLEAN item alias "[]" (i: INTEGER_32): CHARACTER_32 last_index_of (c: CHARACTER_32; start_index_from_end: INTEGER_32): INTEGER_32 last_index_of_code (c: [like code] NATURAL_32; start_index_from_end: INTEGER_32): INTEGER_32 linear_representation: LINEAR [CHARACTER_32] Lower: INTEGER_32 max alias "∨" (other: [like Current] STRING_32): [like Current] STRING_32 min alias "∧" (other: [like Current] STRING_32): [like Current] STRING_32 Minimal_increase: INTEGER_32 mirrored: [like Current] STRING_32 Mismatch_information: MISMATCH_INFORMATION new_character_32_cursor: STRING_ITERATION_CURSOR new_cursor: STRING_32_ITERATION_CURSOR object_comparison: BOOLEAN occurrences (c: CHARACTER_32): INTEGER_32 out: STRING_8 plus alias "+" (s: READABLE_STRING_32): [like Current] STRING_32 plus_general (s: READABLE_STRING_GENERAL): [like Current] STRING_32 prunable: BOOLEAN resizable: BOOLEAN same_caseless_characters (other: READABLE_STRING_32; start_pos, end_pos, index_pos: INTEGER_32): BOOLEAN same_caseless_characters_general (other: READABLE_STRING_GENERAL; start_pos, end_pos, index_pos: INTEGER_32): BOOLEAN same_characters (other: READABLE_STRING_32; start_pos, end_pos, index_pos: INTEGER_32): BOOLEAN same_characters_general (other: READABLE_STRING_GENERAL; start_pos, end_pos, index_pos: INTEGER_32): BOOLEAN same_string (other: READABLE_STRING_32): BOOLEAN same_string_general (other: READABLE_STRING_GENERAL): BOOLEAN shared_with (other: READABLE_STRING_32): BOOLEAN split (a_separator: CHARACTER_32): LIST [[like Current] STRING_32] starts_with (s: READABLE_STRING_32): BOOLEAN starts_with_general (s: READABLE_STRING_GENERAL): BOOLEAN string: STRING_32 string_representation: STRING_32 substring (start_index, end_index: INTEGER_32): [like Current] STRING_32 substring_index (other: READABLE_STRING_GENERAL; start_index: INTEGER_32): INTEGER_32 substring_index_in_bounds (other: READABLE_STRING_GENERAL; start_pos, end_pos: INTEGER_32): INTEGER_32 tail (n: INTEGER_32): [like Current] STRING_32 three_way_comparison alias "⋚" (other: [like Current] STRING_32): INTEGER_32 to_boolean: BOOLEAN to_c: ANY to_cil: SYSTEM_STRING to_double: REAL_64 to_integer: INTEGER_32 to_integer_16: INTEGER_16 to_integer_32: INTEGER_32 to_integer_64: INTEGER_64 to_integer_8: INTEGER_8 to_natural: NATURAL_32 to_natural_16: NATURAL_16 to_natural_32: NATURAL_32 to_natural_64: NATURAL_64 to_natural_8: NATURAL_8 to_real: REAL_32 to_real_32: REAL_32 to_real_64: REAL_64 to_string_32: STRING_32 to_string_8: STRING_8 True_constant: STRING_8 valid_code (v: NATURAL_32): BOOLEAN valid_index (i: INTEGER_32): BOOLEAN Commands adapt_size adjust append (s: READABLE_STRING_32) append_boolean (b: BOOLEAN) append_character (c: CHARACTER_32) append_code (c: [like code] NATURAL_32) append_double (d: REAL_64) append_integer (i: INTEGER_32) append_integer_16 (i: INTEGER_16) append_integer_64 (i: INTEGER_64) append_integer_8 (i: INTEGER_8) append_natural_16 (i: NATURAL_16) append_natural_32 (i: NATURAL_32) append_natural_64 (i: NATURAL_64) append_natural_8 (i: NATURAL_8) append_real (r: REAL_32) append_string (s: detachable READABLE_STRING_32) append_string_general (s: READABLE_STRING_GENERAL) append_substring (s: READABLE_STRING_32; start_index, end_index: INTEGER_32) append_substring_general (s: READABLE_STRING_GENERAL; start_index, end_index: INTEGER_32) automatic_grow bag_put (v: CHARACTER_32) center_justify character_justify (pivot: CHARACTER_32; position: INTEGER_32) compare_objects compare_references copy (other: [like Current] STRING_32) correct_mismatch extend (c: CHARACTER_32) fill (other: CONTAINER [CHARACTER_32]) fill_blank fill_character (c: CHARACTER_32) fill_with (c: CHARACTER_32) from_c (c_string: POINTER) from_c_substring (c_string: POINTER; start_pos, end_pos: INTEGER_32) grow (newsize: INTEGER_32) insert_character (c: CHARACTER_32; i: INTEGER_32) insert_string (s: READABLE_STRING_32; i: INTEGER_32) keep_head (n: INTEGER_32) keep_tail (n: INTEGER_32) left_adjust left_justify make (n: INTEGER_32) make_empty make_filled (c: CHARACTER_32; n: INTEGER_32) make_from_c (c_string: POINTER) make_from_cil (a_system_string: detachable SYSTEM_STRING) make_from_string (s: READABLE_STRING_32) make_from_string_general (s: READABLE_STRING_GENERAL) mirror multiply (n: INTEGER_32) precede (c: CHARACTER_32) prepend (s: READABLE_STRING_32) prepend_boolean (b: BOOLEAN) prepend_character (c: CHARACTER_32) prepend_double (d: REAL_64) prepend_integer (i: INTEGER_32) prepend_real (r: REAL_32) prepend_string (s: detachable READABLE_STRING_32) prepend_string_general (s: READABLE_STRING_GENERAL) prepend_substring (s: READABLE_STRING_32; start_index, end_index: INTEGER_32) prepend_substring_general (s: READABLE_STRING_GENERAL; start_index, end_index: INTEGER_32) prune (c: CHARACTER_32) prune_all (c: CHARACTER_32) prune_all_leading (c: CHARACTER_32) prune_all_trailing (c: CHARACTER_32) put (c: CHARACTER_32; i: INTEGER_32) put_code (v: NATURAL_32; i: INTEGER_32) remove (i: INTEGER_32) remove_head (n: INTEGER_32) remove_substring (start_index, end_index: INTEGER_32) remove_tail (n: INTEGER_32) replace_blank replace_substring (s: READABLE_STRING_32; start_index, end_index: INTEGER_32) replace_substring_all (original, new: READABLE_STRING_32) resize (newsize: INTEGER_32) right_adjust right_justify set (t: READABLE_STRING_32; n1, n2: INTEGER_32) share (other: STRING_32) subcopy (other: READABLE_STRING_32; start_pos, end_pos, index_pos: INTEGER_32) to_lower to_upper trim wipe_out Constraints extendible compare character -- Generated by Eiffel Studio --
For more details: eiffel.org