+
Point of view
All features
class LOG_FILE_OPTIONS
Summary
top
Direct parents
Insert list: ANY
Class invariant
top
Overview
top
effective function
{LOG_INTERNAL_CONF}
top
rotated (condition: FUNCTION[TUPLE 1[FILE_STREAM], BOOLEAN], retention: INTEGER_64, on_error: PROCEDURE[TUPLE 1[STRING]])
effective procedure
{LOG_INTERNAL_CONF}
top
require
  • condition /= Void
zipped (command: FIXED_STRING, on_error: PROCEDURE[TUPLE 1[STRING]])
effective procedure
{LOG_INTERNAL_CONF}
top
require
  • command /= Void
is_connected: BOOLEAN
effective function
{LOG_INTERNAL_CONF}
top
file (a_output_name: FIXED_STRING, a_file_path: STRING)
effective procedure
{}
top
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
{}
top
require
  • a_output_name /= Void
ensure
retrieve: OUTPUT_STREAM
effective function
{}
top
option_rotated: BOOLEAN
writable attribute
{}
top
option_zipped: BOOLEAN
writable attribute
{}
top
writable attribute
{}
top
stream: OUTPUT_STREAM
writable attribute
{}
top
output_name: FIXED_STRING
writable attribute
{}
top
file_path: STRING
writable attribute
{}
top
_inline_agent7
frozen
effective procedure
{}
top