home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
INTERNALS_HANDLER
All features
deferred class FILE
Summary
top
Common parent class to all the file-related streams. Provides a common connection interface to the
"real"
files of the operating system.
Direct parents
insert list:
ANY
Known children
inherit list:
BINARY_FILE_READ
,
BINARY_FILE_WRITE
,
TEXT_FILE_READ
,
TEXT_FILE_READ_WRITE
,
TEXT_FILE_WRITE
Overview
top
exported features
path
:
STRING
Not Void when connected to the corresponding file on the disk.
is_connected
:
BOOLEAN
Is this file connected to some file of the operating system?
connect_to
(new_path:
STRING
)
Try to connect to an existing file of the operating system.
disconnect
Disconnect from any file.
path
:
STRING
writable attribute
top
Not Void when connected to the corresponding file on the disk.
is_connected
:
BOOLEAN
effective function
top
Is this file connected to some file of the operating system?
ensure
definition:
Result =
path
/= Void
connect_to
(new_path:
STRING
)
deferred procedure
top
Try to connect to an existing file of the operating system.
require
not
is_connected
not_malformed_path:
not new_path.is_empty
ensure
is_connected
implies
path
.same_as(new_path)
disconnect
deferred procedure
top
Disconnect from any file.
require
is_connected
ensure
not
is_connected