class DIRECTORY_NAME General cluster: elks description: "Directory name abstraction" create: make, make_from_string, string_make Ancestors PATH_NAME* Queries adapt (s: STRING_8): [like Current] DIRECTORY_NAME additional_space: INTEGER_32 area: SPECIAL [CHARACTER_8] as_lower: [like Current] DIRECTORY_NAME as_string_32: STRING_32 as_upper: [like Current] DIRECTORY_NAME at alias "@" (i: INTEGER_32): CHARACTER_8 capacity: INTEGER_32 case_insensitive_hash_code: INTEGER_32 Changeable_comparison_criterion: BOOLEAN character_32_has (c: [like character_32_item] CHARACTER_32): BOOLEAN character_32_index_of (c: [like character_32_item] CHARACTER_32; start_index: INTEGER_32): INTEGER_32 character_32_item (i: INTEGER_32): CHARACTER_32 character_32_last_index_of (c: [like character_32_item] CHARACTER_32; start_index_from_end: INTEGER_32): INTEGER_32 character_32_occurrences (c: CHARACTER_32): INTEGER_32 code (i: INTEGER_32): NATURAL_32 count: INTEGER_32 ends_with (s: READABLE_STRING_8): 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_8): 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] DIRECTORY_NAME 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 is_boolean: BOOLEAN is_case_insensitive_equal (other: READABLE_STRING_8): BOOLEAN is_case_insensitive_equal_general (other: READABLE_STRING_GENERAL): BOOLEAN is_directory_name_valid (dir_name: STRING_8): BOOLEAN is_double: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] DIRECTORY_NAME): BOOLEAN is_greater alias ">" (other: [like Current] DIRECTORY_NAME): BOOLEAN is_greater_equal alias ">=" alias "≥" (other: [like Current] DIRECTORY_NAME): BOOLEAN is_hashable: BOOLEAN is_immutable: 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_less alias "<" (other: [like Current] DIRECTORY_NAME): BOOLEAN is_less_equal alias "<=" alias "≤" (other: [like Current] DIRECTORY_NAME): 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: BOOLEAN Is_valid_as_string_8: BOOLEAN is_volume_name_valid (vol_name: STRING_8): BOOLEAN is_whitespace: BOOLEAN item alias "[]" (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 last_index_of_code (c: [like code] NATURAL_32; start_index_from_end: INTEGER_32): INTEGER_32 linear_representation: LINEAR [CHARACTER_8] Lower: INTEGER_32 max alias "∨" (other: [like Current] DIRECTORY_NAME): [like Current] DIRECTORY_NAME min alias "∧" (other: [like Current] DIRECTORY_NAME): [like Current] DIRECTORY_NAME Minimal_increase: INTEGER_32 mirrored: [like Current] DIRECTORY_NAME Mismatch_information: MISMATCH_INFORMATION new_character_32_cursor: STRING_ITERATION_CURSOR new_cursor: STRING_8_ITERATION_CURSOR object_comparison: BOOLEAN occurrences (c: CHARACTER_8): INTEGER_32 out: STRING_8 plus alias "+" (s: READABLE_STRING_8): [like Current] DIRECTORY_NAME plus_general (s: READABLE_STRING_GENERAL): [like Current] DIRECTORY_NAME prunable: BOOLEAN resizable: BOOLEAN same_caseless_characters (other: READABLE_STRING_8; 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_8; 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_8): BOOLEAN same_string_general (other: READABLE_STRING_GENERAL): BOOLEAN shared_with (other: READABLE_STRING_8): BOOLEAN split (a_separator: CHARACTER_32): LIST [[like Current] DIRECTORY_NAME] starts_with (s: READABLE_STRING_8): BOOLEAN starts_with_general (s: READABLE_STRING_GENERAL): BOOLEAN string: STRING_8 string_representation: STRING_8 substring (start_index, end_index: INTEGER_32): [like Current] DIRECTORY_NAME 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] DIRECTORY_NAME three_way_comparison alias "⋚" (other: [like Current] DIRECTORY_NAME): 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_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_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_8) append_string_general (s: READABLE_STRING_GENERAL) append_substring (s: READABLE_STRING_8; 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_8) center_justify character_justify (pivot: CHARACTER_8; position: INTEGER_32) compare_objects compare_references copy (other: [like Current] DIRECTORY_NAME) correct_mismatch extend (directory_name: STRING_8) extend_from_array (directories: ARRAY [STRING_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) grow (newsize: INTEGER_32) insert_character (c: CHARACTER_8; i: INTEGER_32) insert_string (s: READABLE_STRING_8; i: INTEGER_32) keep_head (n: INTEGER_32) keep_tail (n: INTEGER_32) left_adjust left_justify make make_filled (c: CHARACTER_8; n: INTEGER_32) make_from_c (c_string: POINTER) make_from_c_substring (c_string: POINTER; start_pos, end_pos: INTEGER_32) make_from_cil (a_system_string: detachable SYSTEM_STRING) make_from_string (s: READABLE_STRING_8) mirror multiply (n: INTEGER_32) precede (c: CHARACTER_8) prepend (s: READABLE_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: detachable READABLE_STRING_8) prepend_string_general (s: READABLE_STRING_GENERAL) prepend_substring (s: READABLE_STRING_8; start_index, end_index: INTEGER_32) prepend_substring_general (s: READABLE_STRING_GENERAL; start_index, end_index: INTEGER_32) 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: READABLE_STRING_8; start_index, end_index: INTEGER_32) replace_substring_all (original, new: READABLE_STRING_8) reset (a_name: STRING_8) resize (newsize: INTEGER_32) right_adjust right_justify set (t: READABLE_STRING_8; n1, n2: INTEGER_32) set_directory (directory_name: STRING_8) set_subdirectory (directory_name: STRING_8) set_volume (volume_name: STRING_8) share (other: STRING_8) string_extend (c: CHARACTER_8) string_make (n: INTEGER_32) subcopy (other: READABLE_STRING_8; start_pos, end_pos, index_pos: INTEGER_32) to_lower to_upper trim wipe_out
Generated by ISE EiffelStudio