Gobo Eiffel Kernel Library
Copyright (c) 2002, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/07/13 17:05:06 $
$Revision: 1.8 $
-- Create a new string input stream.
-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)
-- Routines that ought to be in class STRING
-- (From KL_IMPORTED_STRING_ROUTINES)
-- Line separator
-- (From KI_TEXT_INPUT_STREAM)
-- Last character 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 characters 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 character in input stream.
-- Make the result available in last_character.
-- (From KI_INPUT_STREAM)
-- Read characters from input stream until a line separator
-- or end of input is reached. Make the characters that have
-- been read available in last_string and discard the line
-- separator characters from the input steam.
-- (From KI_TEXT_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.
-- (From KI_TEXT_INPUT_STREAM)
-- 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 a_character back in input stream.
-- This item will be read first by the next
-- call to a read routine.
-- (From KI_INPUT_STREAM)
Character input streams based on strings