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