+
Point of view
All features
deferred class LOG_FILE_OPTION
Summary
top
Direct parents
Insert list: ANY
Known children
Inherit list: LOG_FILE_PASS_THROUGH, LOG_FILE_ROTATED, LOG_FILE_ZIPPED
Overview
top
retrieve (stream: OUTPUT_STREAM): OUTPUT_STREAM
deferred 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