Automatic generation produced by ISE Eiffel

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

General
	cluster: base.kernel
	description: "File name abstraction"
	create: make_from_string, make

Ancestors
	PATH_NAME

Queries
	is_directory_name_valid (dir_name: STRING): BOOLEAN
	is_empty: BOOLEAN
	is_equal (other: [like Current] FILE_NAME): BOOLEAN
	is_extension_valid (ext: STRING): BOOLEAN
	is_file_name_valid (f_name: STRING): BOOLEAN
	is_valid: BOOLEAN
	is_volume_name_valid (vol_name: STRING): BOOLEAN
	to_c: ANY

Commands
	add_extension (ext: STRING)
	extend (directory_name: STRING)
	extend_from_array (directories: ARRAY [STRING])
	make
	make_from_string (p: STRING)
	set_directory (directory_name: STRING)
	set_file_name (file_name: STRING)
	set_subdirectory (directory_name: STRING)
	set_volume (volume_name: STRING)
	wipe_out



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

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