Eiffeldoc: LOG_FILE_ZIPPED

+

Point of view

All features

class LOG_FILE_ZIPPED

Summary

Direct parents: Inherit list: LOG_FILE_OPTION

Overview

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}

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

{}

require

a_parent /= Void
a_command /= Void

ensure

parent = a_parent
command = a_command

parent: LOG_FILE_OPTION

writable attribute

{}

command: FIXED_STRING

writable attribute

{}

zip (file_path: STRING, file: FILE_STREAM)

effective procedure

{}

require

not file.is_connected

bd: BASIC_DIRECTORY

writable attribute

{}

ft: FILE_TOOLS

writable attribute

{}