+
Point of view
All features
class LOG_FILE_PASS_THROUGH
Summary
top
Direct parents
Inherit list: LOG_FILE_OPTION
Overview
top
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
effective procedure
{}
top