Gobo Eiffel Kernel Library
Copyright (c) 2001, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/07/13 17:05:06 $
$Revision: 1.23 $
-- Create a new standard input file.
-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)
-- Line separator
-- (From KI_TEXT_INPUT_STREAM)
-- File pointer as required in C
-- (From FILE)
-- Useless for CONSOLE class.
--| count is non null not to invalidate invariant clauses.
-- (From FINITE)
-- May new items be added?
-- (From COLLECTION)
-- Can current input stream be closed?
-- (From KI_INPUT_STREAM)
-- Is file closed?
-- (From IO_MEDIUM)
-- Is standard input file opened in read mode?
-- (From KI_INPUT_STREAM)
-- Is file open for writing?
-- (From IO_MEDIUM)
-- Can current input stream be rewound to return input from
-- the beginning of the stream?
-- (From KI_INPUT_STREAM)
-- Last character read by read_character
-- (From KI_INPUT_STREAM)
-- Can a_character be put back in input stream?
-- (From KI_INPUT_STREAM)
-- Open file in read-only mode.
-- (From FILE)
-- 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 standard input file.
-- Make the result available in last_character.
-- (From KI_INPUT_STREAM)
-- Read characters from standard input file 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 standard input file.
-- Line separators recognized by current standard input
-- file are: '%N', '%R%N and '%R'.
-- (From KI_TEXT_INPUT_STREAM)
-- Read a line separator from standard input file.
-- Make the characters making up the recognized
-- line separator available in last_string,
-- or make last_string empty and leave the
-- standard input file unchanged if no line
-- separator was found.
-- Line separators recognized by current standard
-- input file are: '%N', '%R%N and '%R'.
-- (From KI_TEXT_INPUT_STREAM)
-- Read at most nb characters from standard input file.
-- 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 characters read from standard input file.
-- Return the number of characters actually read.
-- (From KI_INPUT_STREAM)
-- Fill a_string, starting at position pos with at
-- most nb characters read from standard input file.
-- Return the number of characters actually read.
-- (From KI_CHARACTER_INPUT_STREAM)
-- Put a_character back in input file.
-- This character will be read first by the next
-- call to a read routine.
-- (From KI_INPUT_STREAM)
-- Write s at end of default output.
-- (From IO_MEDIUM)
Standard input files containing extended ASCII characters %
%(8-bit code between 0 and 255). The line separtor of the %
%underlying file system is automatically converted to %%N %
%when read from the satndard input file. However read_line %
%and read_new_line are able to recognize '%%N', '%%R%%N' %
%and '%%R' as line separators.