INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Output stream of data"
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
deferred class DATA_OUTPUT
feature -- Status report

is_open: BOOLEAN
-- May write data?
feature -- Output

put_boolean (b: BOOLEAN)
-- Write value of 'b' at current position
require
is_open: is_open

put_character (c: CHARACTER)
-- Write 'c' at current position
require
is_open: is_open

put_double (d: DOUBLE)
-- Write value of 'd' at current position
require
is_open: is_open

put_integer (i: INTEGER)
-- Write value of 'i' at current position
require
is_open: is_open

put_real (r: REAL)
-- Write value of 'r' at current position
require
is_open: is_open

put_string (s: STRING)
-- Write 's' at current position
require
is_open: is_open
s_not_void: s /= void
end -- class DATA_OUTPUT

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES