INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Input of data"
project: "Eiffel Kernel Library: input and output"
copyright: "Object Tools, 1999-2003"
version: "$Revision: 1.1 $"
key: "input", "data", "data input"
cluster: kernel
deferred class DATA_INPUT
feature -- Status report

is_open: BOOLEAN
-- May read data?
feature -- Status report

last_character: CHARACTER

last_double: DOUBLE

last_integer: INTEGER

last_real: REAL

last_string: STRING
feature -- Input

read_character
-- Read a new character.
-- Make result available in 'last_character'
require
is_open: is_open

read_double
-- Read a new double.
-- Make result available in 'last_double'
require
is_open: is_open

read_integer
-- Read a new integer.
-- Make result available in 'last_integer'
require
is_open: is_open

read_real
-- Read a new real.
-- Make result available in 'last_real'
require
is_open: is_open

read_stream (nb_char: INTEGER)
-- Read a string of a most 'nb_char' bound characters or
-- until end of file.
-- Make result available in 'last_string'
require
is_open: is_open
correct_nb_char: nb_char > 0
end -- class DATA_INPUT

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES