INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Output 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
deferred class OUTPUT_STREAM [G]
feature -- Status report

is_open: BOOLEAN
-- May write to stream?
feature -- Status setting

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

put (v: G)
-- Write `v' to stream.
require
is_open: is_open
ensure
is_open: is_open
end -- class OUTPUT_STREAM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES