GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
FILE
+
Point of view
All features
ANY
DIRECTORY
All features
deferred class FILE
Summary
top
Direct parents
Insert list:
ANY
Known children
Inherit list:
DIRECTORY
,
REGULAR_FILE
Class invariant
top
name
/= Void
path
/= Void
Overview
top
Features
{
ANY
}
name
:
FIXED_STRING
The short name of the file.
path
:
FIXED_STRING
The file path.
parent
:
DIRECTORY
is_directory
:
BOOLEAN
is_regular
:
BOOLEAN
as_directory
:
DIRECTORY
as_regular
:
REGULAR_FILE
exists
:
BOOLEAN
{
DIRECTORY
}
set_parent
(a_parent:
DIRECTORY
)
{}
parent_memory
:
DIRECTORY
basic_directory
:
BASIC_DIRECTORY
Provide low level access to directories.
name
:
FIXED_STRING
deferred function
{
ANY
}
top
The short name of the file.
path
:
FIXED_STRING
deferred function
{
ANY
}
top
The file path.
parent
:
DIRECTORY
frozen
effective function
{
ANY
}
top
is_directory
:
BOOLEAN
deferred function
{
ANY
}
top
is_regular
:
BOOLEAN
deferred function
{
ANY
}
top
as_directory
:
DIRECTORY
deferred function
{
ANY
}
top
require
is_directory
ensure
Result = Current
as_regular
:
REGULAR_FILE
deferred function
{
ANY
}
top
require
is_regular
ensure
Result = Current
exists
:
BOOLEAN
deferred function
{
ANY
}
top
set_parent
(a_parent:
DIRECTORY
)
effective procedure
{
DIRECTORY
}
top
ensure
parent
= a_parent
parent_memory
:
DIRECTORY
writable attribute
{}
top
basic_directory
:
BASIC_DIRECTORY
writable attribute
{}
top
Provide low level access to directories.