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