GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
LOG_FILE_ZIPPED
+
Point of view
All features
ANY
LOG_FILE_OPTIONS
LOG_FILE_OPTION
All features
class LOG_FILE_ZIPPED
Summary
top
Direct parents
Inherit list:
LOG_FILE_OPTION
Overview
top
Creation features
{
LOG_FILE_OPTIONS
}
make
(a_parent:
LOG_FILE_OPTION
, a_command:
FIXED_STRING
)
Features
{
LOG_FILE_OPTIONS
,
LOG_FILE_OPTION
}
retrieve
(stream:
OUTPUT_STREAM
):
OUTPUT_STREAM
{}
make
(a_parent:
LOG_FILE_OPTION
, a_command:
FIXED_STRING
)
parent
:
LOG_FILE_OPTION
command
:
FIXED_STRING
zip
(file_path:
STRING
, file:
FILE_STREAM
)
bd
:
BASIC_DIRECTORY
ft
:
FILE_TOOLS
retrieve
(stream:
OUTPUT_STREAM
):
OUTPUT_STREAM
effective function
{
LOG_FILE_OPTIONS
,
LOG_FILE_OPTION
}
top
require
stream.is_connected
ensure
Result /= stream implies not stream.is_connected
Result /= Void implies Result.is_connected
Result.path = old stream.path
make
(a_parent:
LOG_FILE_OPTION
, a_command:
FIXED_STRING
)
effective procedure
{}
top
require
a_parent /= Void
a_command /= Void
ensure
parent
= a_parent
command
= a_command
parent
:
LOG_FILE_OPTION
writable attribute
{}
top
command
:
FIXED_STRING
writable attribute
{}
top
zip
(file_path:
STRING
, file:
FILE_STREAM
)
effective procedure
{}
top
require
not file.is_connected
bd
:
BASIC_DIRECTORY
writable attribute
{}
top
ft
:
FILE_TOOLS
writable attribute
{}
top