+
Point of view
All features
class LOG_FILE_ROTATED
Summary
Direct parents
Inherit list: LOG_FILE_OPTION
Overview
Creation features
{LOG_FILE_OPTIONS}
Features
{LOG_FILE_OPTIONS, LOG_FILE_OPTION}
{}
{}
retrieve (stream: OUTPUT_STREAM): OUTPUT_STREAM
effective function
make (a_parent: LOG_FILE_OPTION, a_condition: FUNCTION[TUPLE 1[FILE_STREAM], BOOLEAN], a_retention: INTEGER_64)
effective procedure
{}
writable attribute
{}
writable attribute
{}
retention: INTEGER_64
writable attribute
{}
file_pattern (base_name: STRING): REGULAR_EXPRESSION
effective function
{}
rotate (file: FILE_STREAM): FILE_STREAM
effective function
{}
map (dir_name: STRING, file_name_pattern: REGULAR_EXPRESSION, action: PROCEDURE[TUPLE 2[INTEGER_32, STRING]])
effective procedure
{}
non-Void if the file exists; in that case the result contains the exact name of the log file.
last_index: INTEGER_32
writable attribute
{}
set_last_index (index: INTEGER_32)
effective procedure
{}
rotate_file (dir_name: STRING, file_name_pattern: REGULAR_EXPRESSION, at_index: INTEGER_32, index: INTEGER_32, file_name: STRING)
effective procedure
{}
writable attribute
{}
writable attribute
{}
_inline_agent8 (file_: FILE_STREAM)
frozen
effective procedure
{}