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}

make (a_parent: LOG_FILE_OPTION, a_command: FIXED_STRING)

effective procedure

{}

parent: LOG_FILE_OPTION

writable attribute

{}

command: FIXED_STRING

writable attribute

{}

zip (file_path: STRING, file: FILE_STREAM)

effective procedure

{}

bd: BASIC_DIRECTORY

writable attribute

{}

ft: FILE_TOOLS

writable attribute

{}