INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Streams that may be used as process input"
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
deferred class PROCESS_INPUT_STREAM
inherit

BYTE_INPUT_STREAM
undefine
copy
end

PROCESS_STREAM
redefine
close
end
feature -- Status report

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

close
-- Close stream.
end -- class PROCESS_INPUT_STREAM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES