Gobo Eiffel Kernel Library
Copyright (c) 2001, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2003/02/07 12:49:50 $
$Revision: 1.6 $
-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)
-- Line separator
-- Last item read
-- (From KI_INPUT_STREAM)
-- Last string read
-- (Note: this query always return the same object.
-- Therefore a clone should be used if the result
-- is to be kept beyond the next call to this feature.
-- However last_string is not shared between file objects.)
-- (From KI_CHARACTER_INPUT_STREAM)
-- Has the end of input stream been reached?
-- (From KI_INPUT_STREAM)
-- Can current input stream be closed?
-- (From KI_INPUT_STREAM)
-- Can items be read from input stream?
-- (From KI_INPUT_STREAM)
-- Can current input stream be rewound to return input from
-- the beginning of the stream?
-- (From KI_INPUT_STREAM)
-- Can a_character be put back in input stream?
-- (From KI_INPUT_STREAM)
-- Try to close input stream if it is closable. Set
-- is_open_read to false if operation was successful.
-- (From KI_INPUT_STREAM)
-- Move input position to the beginning of stream.
-- (From KI_INPUT_STREAM)
-- Read the next item in input stream.
-- Make the result available in last_item.
-- (From KI_INPUT_STREAM)
-- Read characters from input stream until a line separator
-- or end of file is reached. Make the characters that have
-- been read available in last_string and discard the line
-- separator characters from the input stream.
-- Read a line separator from input stream.
-- Make the characters making up the recognized
-- line separator available in last_string,
-- or make last_string empty and leave the
-- input stream unchanged if no line separator
-- was found.
-- Read at most nb characters from input stream.
-- Make the characters that have actually been read
-- available in last_string.
-- (From KI_CHARACTER_INPUT_STREAM)
-- Fill a_buffer, starting at position pos, with
-- at most nb items read from input stream.
-- Return the number of items actually read.
-- (From KI_INPUT_STREAM)
-- Fill a_string, starting at position pos, with
-- at most nb characters read from input stream.
-- Return the number of characters actually read.
-- (From KI_CHARACTER_INPUT_STREAM)
-- Put an_item back in input stream.
-- This item will be read first by the next
-- call to a read routine.
-- (From KI_INPUT_STREAM)
Interface for character input streams with the notion of lines