INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Input stream of data in binary format"
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
class BINARY_INPUT_STREAM
inherit

DATA_INPUT
end

MEMORY
end

PROXY_BYTE_INPUT_STREAM
redefine
make
end
creation

make
feature {NONE}-- Creation

make (input: BYTE_INPUT_STREAM)
feature -- Input

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

read_double
-- Read the binary representation of a new double from file.
-- Make result available in 'last_double'.

read_integer
-- Read the binary representation of a new integer from file.
-- Make result available in 'last_integer'.

read_line
-- Read a string until new line or end of file.
-- Make result available in 'last_string'.
-- New line will be consumed but not part of 'last_string'.

read_real
-- Read the binary representation of a new real from file.
-- Make result available in 'last_real'.

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'.
invariant

non_void_last_string: last_string /= void
end -- class BINARY_INPUT_STREAM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES