+
Point of view
ANY
deferred class FILE
Summary
Overview
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
Not Void when connected to the corresponding file on the disk.
is_connected: BOOLEAN
effective function
Is this file connected to some file of the operating system?
connect_to (new_path: STRING)
deferred procedure
Try to connect to an existing file of the operating system.
disconnect
deferred procedure
Disconnect from any file.