INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Streams that may be used as process input or/and output"
project: "Eiffel Kernel Library: input and output"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class PROCESS_STREAM
inherit

MEMORY
redefine
copy,
dispose
end
creation -- The instance of the class cannot be created
feature -- Status report

is_closed: BOOLEAN
-- Is stream closed?
feature -- Status setting

close
-- Close stream
require
is_open: not is_closed
ensure
is_closed: is_closed
feature -- Duplication

copy (other: like Current)
-- Update current object using fields of object attached
-- to 'other', so as to yield equal objects
-- Stream handle is updated correctly
feature -- Removal

dispose
-- Ensure this stream is closed when garbage-collected
ensure
is_closed: is_closed
end -- class PROCESS_STREAM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES