Automatic generation produced by ISE Eiffel

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

General
	cluster: base.kernel
	description: "Directories, in the Unix sense, with creation and exploration features"
	create: make_open_read, make

Ancestors
	MEMORY

Queries
	count: INTEGER
	exists: BOOLEAN
	has_entry (entry_name: STRING): BOOLEAN
	is_closed: BOOLEAN
	is_empty: BOOLEAN
	is_executable: BOOLEAN
	is_readable: BOOLEAN
	is_writable: BOOLEAN
	lastentry: STRING
	linear_representation: ARRAYED_LIST [STRING]
	name: STRING

Commands
	change_name (new_name: STRING)
	close
	create_dir
	delete
	delete_content
	delete_content_with_action (action: PROCEDURE [ANY, TUPLE]; is_cancel_requested: FUNCTION [ANY, TUPLE, BOOLEAN]; file_number: INTEGER)
	dispose
	make (dn: STRING)
	make_open_read (dn: STRING)
	open_read
	readentry
	recursive_delete
	recursive_delete_with_action (action: PROCEDURE [ANY, TUPLE]; is_cancel_requested: FUNCTION [ANY, TUPLE, BOOLEAN]; file_number: INTEGER)
	start



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

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