INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Output stream working as a proxy to another output stream"
project: "Eiffel Kernel Library: input and output"
revision: "$Revision: 1.2 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class PROXY_BYTE_OUTPUT_STREAM
inherit

BYTE_OUTPUT_STREAM
end
creation

make
feature {NONE}-- Creation

make (output: BYTE_OUTPUT_STREAM)
-- Connect to the given 'output' stream.
require
non_void_output: output /= void
ensure
connected: output_stream = output
feature -- Status report

output_stream: BYTE_OUTPUT_STREAM

is_open: BOOLEAN
-- May write to stream?
invariant

connected: output_stream /= void
end -- class PROXY_BYTE_OUTPUT_STREAM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES