class FILE_NAME General obsolete: "This class is obsolete, use PATH, or FILE instead [2019-05-31]" cluster: elks description: "File name abstraction" create: make, make_from_string, make_temporary_name, string_make Ancestors PATH_NAME* Queries is_directory_name_valid (dir_name: STRING_8): BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] FILE_NAME): BOOLEAN is_extension_valid (ext: STRING_8): BOOLEAN is_file_name_valid (f_name: STRING_8): BOOLEAN is_valid: BOOLEAN is_volume_name_valid (vol_name: STRING_8): BOOLEAN out: STRING_8 prunable: BOOLEAN string: STRING_8 to_c: ANY Commands add_extension (ext: STRING_8) extend (directory_name: STRING_8) extend_from_array (directories: ARRAY [STRING_8]) make make_from_string (s: READABLE_STRING_8) reset (a_name: STRING_8) set_directory (directory_name: STRING_8) set_file_name (file_name: STRING_8) set_subdirectory (directory_name: STRING_8) set_volume (volume_name: STRING_8) wipe_out
Generated by ISE EiffelStudio