INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Input stream working as a proxy to another input 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_INPUT_STREAM
inherit

BYTE_INPUT_STREAM
end
creation

make
feature {NONE}-- Creation

make (input: BYTE_INPUT_STREAM)
-- Connect to the given 'input' stream.
require
non_void_input: input /= void
ensure
connected: input_stream = input
feature -- Status report

input_stream: BYTE_INPUT_STREAM

is_open: BOOLEAN
-- May read from stream?
invariant

connected: input_stream /= void
end -- class PROXY_BYTE_INPUT_STREAM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES