+
Point of view
All features
deferred class FILE
Summary
Direct parents
Insert list: ANY
Known children
Inherit list: DIRECTORY, REGULAR_FILE
Class invariant
Overview
deferred function
{ANY}
The short name of the file.
deferred function
{ANY}
The file path.
parent: DIRECTORY
frozen
effective function
{ANY}
is_directory: BOOLEAN
deferred function
{ANY}
is_regular: BOOLEAN
deferred function
{ANY}
as_directory: DIRECTORY
deferred function
{ANY}
require ensure
  • Result = Current
as_regular: REGULAR_FILE
deferred function
{ANY}
require ensure
  • Result = Current
exists: BOOLEAN
deferred function
{ANY}
set_parent (a_parent: DIRECTORY)
effective procedure
ensure
parent_memory: DIRECTORY
writable attribute
{}
basic_directory: BASIC_DIRECTORY
writable attribute
{}
Provide low level access to directories.