+
Point of view
All features
class LOG_FILE_OPTIONS
Summary
Direct parents
Insert list: ANY
Class invariant
Overview
effective function
rotated (condition: FUNCTION[TUPLE 1[FILE_STREAM], BOOLEAN], retention: INTEGER_64, on_error: PROCEDURE[TUPLE 1[STRING]])
effective procedure
require
  • condition /= Void
zipped (command: FIXED_STRING, on_error: PROCEDURE[TUPLE 1[STRING]])
effective procedure
require
  • command /= Void
is_connected: BOOLEAN
effective function
file (a_output_name: FIXED_STRING, a_file_path: STRING)
effective procedure
{}
require
  • a_output_name /= Void
  • a_file_path /= Void
ensure
  • output_name = a_output_name
  • file_path = a_file_path
    stream.is_connected implies stream.path = a_file_path

console (a_output_name: FIXED_STRING)
effective procedure
{}
require
  • a_output_name /= Void
ensure
retrieve: OUTPUT_STREAM
effective function
{}
option_rotated: BOOLEAN
writable attribute
{}
option_zipped: BOOLEAN
writable attribute
{}
writable attribute
{}
stream: OUTPUT_STREAM
writable attribute
{}
output_name: FIXED_STRING
writable attribute
{}
file_path: STRING
writable attribute
{}
_inline_agent7
frozen
effective procedure
{}