Gobo Eiffel Kernel Library
Copyright (c) 1999, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/02/07 16:21:59 $
$Revision: 1.6 $
[020502] Use descendants of KI_INPUT_STREAM instead.
-- Create a new file object with a_filename as
-- file name and try to open it in read-only mode.
-- is_open_read (Result) is set to True
-- if operation was successful.
-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)
-- Routines that ought to be in class INPUT_STREAM
-- (From KL_IMPORTED_INPUT_STREAM_ROUTINES)
-- Name of a_stream
-- Has an EOF been detected?
-- Is a_stream closed?
-- Is a_stream open in read mode?
-- Close a_stream if it is closable,
-- let it open otherwise.
-- Fill a_buffer, starting at position pos with
-- at most nb_char characters read from a_stream.
-- Return the number of characters actually read.
-- Read at most nb_char characters read from a_stream.
-- Return the characters that have actually been read.
-- (From KL_IMPORTED_INPUT_STREAM_ROUTINES)
Routines that ought to be in class INPUT_STREAM