class DATABASE_STRING_EX [G -> DATABASE create default_create end] General cluster: dbms-support description: "String tools" create: make Ancestors HANDLE_SPEC [G -> DATABASE create default_create end] STRING_8 Queries adapt (s: STRING_8): [like Current] DATABASE_STRING_EX [G] additional_space: INTEGER_32 area: SPECIAL [CHARACTER_8] as_lower: [like Current] DATABASE_STRING_EX [G] as_string_32: STRING_32 as_string_8: STRING_8 as_upper: [like Current] DATABASE_STRING_EX [G] capacity: INTEGER_32 Changeable_comparison_criterion: BOOLEAN code (i: INTEGER_32): NATURAL_32 count: INTEGER_32 db_spec: DATABASE Extendible: BOOLEAN False_constant: STRING_8 full: BOOLEAN fuzzy_index (other: STRING_8; start, fuzz: INTEGER_32): INTEGER_32 Growth_percentage: INTEGER_32 has (c: CHARACTER_8): BOOLEAN has_code (c: [like code] NATURAL_32): BOOLEAN has_substring (other: STRING_8): BOOLEAN hash_code: INTEGER_32 index_of (c: CHARACTER_8; start_index: INTEGER_32): INTEGER_32 index_of_code (c: [like code] NATURAL_32; start_index: INTEGER_32): INTEGER_32 index_set: INTEGER_INTERVAL infix "+" (s: STRING_8): [like Current] DATABASE_STRING_EX [G] infix "<" (other: [like Current] DATABASE_STRING_EX [G]): BOOLEAN infix "<=" (other: [like Current] DATABASE_STRING_EX [G]): BOOLEAN infix ">" (other: [like Current] DATABASE_STRING_EX [G]): BOOLEAN infix ">=" (other: [like Current] DATABASE_STRING_EX [G]): BOOLEAN infix "@" (i: INTEGER_32): CHARACTER_8 is_boolean: BOOLEAN is_case_insensitive_equal (other: [like Current] DATABASE_STRING_EX [G]): BOOLEAN is_double: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] DATABASE_STRING_EX [G]): BOOLEAN is_hashable: BOOLEAN is_inserted (v: CHARACTER_8): BOOLEAN is_integer: BOOLEAN is_integer_16: BOOLEAN is_integer_32: BOOLEAN is_integer_64: BOOLEAN is_integer_8: 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_string_32: BOOLEAN Is_string_8: BOOLEAN Is_valid_as_string_8: BOOLEAN item (i: INTEGER_32): CHARACTER_8 item_code (i: INTEGER_32): INTEGER_32 last_index_of (c: CHARACTER_8; start_index_from_end: INTEGER_32): INTEGER_32 linear_representation: LINEAR [CHARACTER_8] max (other: [like Current] DATABASE_STRING_EX [G]): [like Current] DATABASE_STRING_EX [G] min (other: [like Current] DATABASE_STRING_EX [G]): [like Current] DATABASE_STRING_EX [G] Minimal_increase: INTEGER_32 mirrored: [like Current] DATABASE_STRING_EX [G] Mismatch_information: MISMATCH_INFORMATION object_comparison: BOOLEAN occurrences (c: CHARACTER_8): INTEGER_32 out: STRING_8 prunable: BOOLEAN resizable: BOOLEAN same_string (other: STRING_8): BOOLEAN shared_with (other: STRING_8): BOOLEAN split (a_separator: CHARACTER_8): LIST [STRING_8] string: STRING_8 substring (start_index, end_index: INTEGER_32): [like Current] DATABASE_STRING_EX [G] substring_index (other: STRING_8; start_index: INTEGER_32): INTEGER_32 substring_index_in_bounds (other: STRING_8; start_pos, end_pos: INTEGER_32): INTEGER_32 three_way_comparison (other: [like Current] DATABASE_STRING_EX [G]): 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_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 append (s: STRING_8) append_boolean (b: BOOLEAN) append_character (c: CHARACTER_8) append_code (c: [like code] NATURAL_32) append_double (d: REAL_64) append_integer (i: INTEGER_32) append_real (r: REAL_32) append_string (s: STRING_8) append_string_general (s: STRING_GENERAL) automatic_grow center_justify character_justify (pivot: CHARACTER_8; position: INTEGER_32) clear_all compare_objects compare_references copy (other: [like Current] DATABASE_STRING_EX [G]) extend (c: CHARACTER_8) fill (other: CONTAINER [CHARACTER_8]) fill_blank fill_character (c: CHARACTER_8) fill_with (c: CHARACTER_8) from_c (c_string: POINTER) from_c_substring (c_string: POINTER; start_pos, end_pos: INTEGER_32) get_select_name (no_descriptor, index: INTEGER_32) get_value (no_descriptor, index: INTEGER_32) grow (newsize: INTEGER_32) insert_character (c: CHARACTER_8; i: INTEGER_32) insert_string (s: STRING_8; 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_8; n: INTEGER_32) make_from_c (c_string: POINTER) make_from_cil (a_system_string: SYSTEM_STRING) make_from_string (s: STRING_8) mirror multiply (n: INTEGER_32) precede (c: CHARACTER_8) prepend (s: STRING_8) prepend_boolean (b: BOOLEAN) prepend_character (c: CHARACTER_8) prepend_double (d: REAL_64) prepend_integer (i: INTEGER_32) prepend_real (r: REAL_32) prepend_string (s: STRING_8) prune (c: CHARACTER_8) prune_all (c: CHARACTER_8) prune_all_leading (c: CHARACTER_8) prune_all_trailing (c: CHARACTER_8) put (c: CHARACTER_8; 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: STRING_8; start_index, end_index: INTEGER_32) replace_substring_all (original, new: [like Current] DATABASE_STRING_EX [G]) resize (newsize: INTEGER_32) right_adjust right_justify set (t: [like Current] DATABASE_STRING_EX [G]; n1, n2: INTEGER_32) share (other: STRING_8) subcopy (other: [like Current] DATABASE_STRING_EX [G]; start_pos, end_pos, index_pos: INTEGER_32) to_lower to_upper wipe_out