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