INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Input stream of data in textual 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 TEXT_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 -- Status setting

close
-- Release any associated resources.
-- Leave `input_stream' intact.
feature -- Cursor movement

to_next_line, next_line
-- Move to next input line.
require
is_open: is_open
feature -- Input

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

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

read_integer
-- Read the ASCII 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 ASCII 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'.

read_word
-- Read a new word from standard input.
-- Make result available in 'last_string'.
require
is_open: is_open
invariant

non_void_last_string: last_string /= void
non_void_token: token /= void
non_void_buffer: buffer_memory /= void
positive_buffer_position: buffer_position > 0
end -- class TEXT_INPUT_STREAM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES