INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Input stream"
project: "Eiffel Kernel Library: input and output"
copyright: "Object Tools, 2004"
version: "$Revision: 1.2 $"
key: "input", "stream", "input_stream"
cluster: kernel
deferred class INPUT_STREAM [G]
feature -- Status report

is_open: BOOLEAN
-- Is stream open?

end_of_stream: BOOLEAN
-- Has end of stream been detected?
require
is_open: is_open
feature -- Status setting

close
-- Close stream.
-- Set `is_open' to false on success.
require
is_open: is_open
feature -- Access

item: G
-- Last item read from the stream
feature -- Read

read
-- Read a next item from the stream if
-- possible and make it available in `item'.
-- Set `end_of_stream' to true if there are
-- no more items in the stream.
require
is_open: is_open
not_end_of_stream: not end_of_stream
ensure
is_open: is_open
end -- class INPUT_STREAM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES