Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 
class
	FILE_NAME

General
	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: [attached like Current] attached 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



Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com