+
Point of view
All features
class REGULAR_FILE
Summary
top
Direct parents
Inherit list: FILE
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{ANY}
Text stream access
{ANY}
{}
{ANY}
{DIRECTORY}
{}
writable attribute
{ANY}
top
The short name of the file.
writable attribute
{ANY}
top
The file path.
is_directory: BOOLEAN
is False
constant attribute
{ANY}
top
is_regular: BOOLEAN
is True
constant attribute
{ANY}
top
as_directory: DIRECTORY
effective function
{ANY}
top
as_regular: REGULAR_FILE
effective function
{ANY}
top
exists: BOOLEAN
effective function
{ANY}
top
effective function
{ANY}
top
Returns a stream connected for reading the file.
is_reading: BOOLEAN
effective function
{ANY}
top
effective function
{ANY}
top
Returns a stream connected for writing to the file.
append: OUTPUT_STREAM
effective function
{ANY}
top
Returns a stream connected for appending to the file.
is_writing: BOOLEAN
effective function
{ANY}
top
make (a_file_path: ABSTRACT_STRING)
effective procedure
{}
top
read_memory: TEXT_FILE_READ
writable attribute
{}
top
write_memory: TEXT_FILE_WRITE
writable attribute
{}
top
parent: DIRECTORY
frozen
effective function
{ANY}
top
set_parent (a_parent: DIRECTORY)
effective procedure
{DIRECTORY}
top
parent_memory: DIRECTORY
writable attribute
{}
top
basic_directory: BASIC_DIRECTORY
writable attribute
{}
top
Provide low level access to directories.