+
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
require
  • is_directory
ensure
  • Result = Current
as_regular: REGULAR_FILE
effective function
{ANY}
top
require
  • is_regular
ensure
  • Result = Current
exists: BOOLEAN
effective function
{ANY}
top
effective function
{ANY}
top
Returns a stream connected for reading the file.
If the read stream is not connected anymore, connects it again. Always returns the same object.
require ensure
is_reading: BOOLEAN
effective function
{ANY}
top
effective function
{ANY}
top
Returns a stream connected for writing to the file.
If the write stream is not connected anymore, connects it again. Always returns the same object.
require ensure
append: OUTPUT_STREAM
effective function
{ANY}
top
Returns a stream connected for appending to the file.
If the write stream is already connected, use write instead. Always returns the same object.
require ensure
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
ensure
parent_memory: DIRECTORY
writable attribute
{}
top
basic_directory: BASIC_DIRECTORY
writable attribute
{}
top
Provide low level access to directories.