+
Point of view
All features
class LOG_FILE_ROTATED
Summary
top
Direct parents
Inherit list: LOG_FILE_OPTION
Overview
top
Creation features
{LOG_FILE_OPTIONS}
Features
{LOG_FILE_OPTIONS, LOG_FILE_OPTION}
{}
{}
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_condition: FUNCTION[TUPLE 1[FILE_STREAM], BOOLEAN], a_retention: INTEGER_64)
effective procedure
{}
top
require
  • a_parent /= Void
  • a_condition /= Void
ensure
writable attribute
{}
top
writable attribute
{}
top
retention: INTEGER_64
writable attribute
{}
top
file_pattern (base_name: STRING): REGULAR_EXPRESSION
effective function
{}
top
rotate (file: FILE_STREAM): FILE_STREAM
effective function
{}
top
require
  • file.is_connected
ensure
  • Result /= file
  • Result.is_connected
  • not file.is_connected
map (dir_name: STRING, file_name_pattern: REGULAR_EXPRESSION, action: PROCEDURE[TUPLE 2[INTEGER_32, STRING]])
effective procedure
{}
top
non-Void if the file exists; in that case the result contains the exact name of the log file.
require
  • dir_name /= Void
  • file_name_pattern /= Void
  • action /= Void
last_index: INTEGER_32
writable attribute
{}
top
set_last_index (index: INTEGER_32)
effective procedure
{}
top
rotate_file (dir_name: STRING, file_name_pattern: REGULAR_EXPRESSION, at_index: INTEGER_32, index: INTEGER_32, file_name: STRING)
effective procedure
{}
top
require
writable attribute
{}
top
writable attribute
{}
top
_inline_agent8 (file_: FILE_STREAM)
frozen
effective procedure
{}
top