INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Input stream that reads items from array"
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 ARRAYED_INPUT_STREAM [G]
inherit

INPUT_STREAM [G]
end
creation

make
feature {NONE}-- Creation

make (data: ARRAY [G])
-- Create an object attached to array `data'.
require
non_void_data: data /= void
ensure
is_open: is_open
not_end_of_stream: not end_of_stream
feature -- Status report

is_open: BOOLEAN
-- Is stream open?

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

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

item: G
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.
end -- class ARRAYED_INPUT_STREAM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES