+
Point of view
All features
deferred class FILE_STREAM
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
Inherit list: STREAM
Known children
Inherit list: BINARY_FILE_READ, BINARY_FILE_WRITE, TEXT_FILE_READ, TEXT_FILE_READ_WRITE, TEXT_FILE_WRITE
Class invariant
top
Overview
top
Features
{ANY}
{}
{ANY}
{}
{STREAM_HANDLER}
{FILTER}
{ANY}
{}
{RECYCLING_POOL}
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
{}
  • dispose
    Action to be executed just before garbage collection reclaims an object.
{}
path: STRING
writable attribute
{ANY}
top
Not Void when connected to the corresponding file on the disk.
is_connected: BOOLEAN
effective function
{ANY}
top
Is this file connected to some file of the operating system?
connect_to (new_path: ABSTRACT_STRING)
deferred procedure
{ANY}
top
Try to connect to an existing file of the operating system.
set_path (new_path: ABSTRACT_STRING)
effective procedure
{}
top
disconnect
deferred procedure
{ANY}
top
Try to disconnect the stream.
descriptor: INTEGER_32
effective function
{ANY}
top
Some OS-dependent descriptor.
has_descriptor: BOOLEAN
effective function
{ANY}
top
True if that stream can be associated to some OS-meaningful descriptor.
can_disconnect: BOOLEAN
deferred function
{ANY}
top
True if the stream can be safely disconnected (without data loss, etc.)
url: URL
frozen
effective function
{ANY}
top
The URL to this stream as resource
url_memory: URL
writable attribute
{}
top
new_url: URL
deferred function
{}
top
stream_pointer: POINTER
effective function
{STREAM_HANDLER}
top
Some Back-end-dependent pointer (FILE* in C, InputStream or OutputStream in Java)
has_stream_pointer: BOOLEAN
effective function
{STREAM_HANDLER}
top
True if that stream can be associated to some Back-end-meaningful stream pointer.
filtered_descriptor: INTEGER_32
deferred function
{FILTER}
top
Find the descriptor of the terminal stream...
filtered_has_descriptor: BOOLEAN
deferred function
{FILTER}
top
True if the underlying terminal stream has a descriptor
filtered_stream_pointer: POINTER
deferred function
{FILTER}
top
Find the pointer of the terminal stream...
filtered_has_stream_pointer: BOOLEAN
deferred function
{FILTER}
top
True if the underlying terminal stream has a pointer
event_exception: EVENT_DESCRIPTOR
effective function
{ANY}
top
stream_exception: STREAM_EXCEPTION
writable attribute
{}
top
recycle
effective procedure
{RECYCLING_POOL}
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one
dispose
effective procedure
{}
top
Action to be executed just before garbage collection reclaims an object.
sequencer_descriptor (file: POINTER): INTEGER_32
{}
top