Class KI_INPUT_FILE

-- Reuse current Eiffel object memory to
-- represent a new file system entry.
-- (a_name should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM_ENTRY)

-- Name of input stream
-- (From KI_FILE_SYSTEM_ENTRY)

-- 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)

-- Platform-dependent properties
-- (From KL_SHARED_PLATFORM)

-- Last character read
-- (From KI_INPUT_STREAM)

-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)

-- Time stamp (number of seconds since 1 January 1970
-- at 00:00:00 UTC) of last modification to current file;
-- Return -1 if the time stamp was not available, if the
-- file did not exist for example, or if the time stamp
-- didn't fit into an INTEGER_32. (Use DT_DATE_TIME.make_from_epoch
-- to convert this time stamp to a human readable format.)
-- (From KI_FILE)

-- Number of bytes in current file;
-- Return -1 if the number of bytes was not available,
-- if the file did not exist for example.
-- (From KI_FILE)

-- Can items be read from input stream?
-- (From KI_FILE_SYSTEM_ENTRY)

-- Can current input stream be rewound to return input from
-- the beginning of the stream?
-- (From KI_INPUT_STREAM)

-- Has the end of input file been reached?

-- Has the end of input stream been reached?
-- (From KI_INPUT_STREAM)

-- Can a_character be put back in input stream?
-- (From KI_INPUT_STREAM)

-- Are current file and file named other_name
-- the same physical file? Return False if one
-- or both files don't exist. (Return True if
-- it was impossible to determine whether the
-- files were physically the same files.)
-- (other_name should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE)

-- Does file system entry physically exist on disk?
-- (Note that with SmartEiffel this routine actually
-- returns is_readable.)
-- (From KI_FILE_SYSTEM_ENTRY)

-- Can current file system entry be closed?
-- (From KI_FILE_SYSTEM_ENTRY)

-- Is file system entry closed?
-- (From KI_FILE_SYSTEM_ENTRY)

-- Can file system entry be opened in read mode?
-- (From KI_FILE_SYSTEM_ENTRY)

-- Rename current file as new_name.
-- Do nothing if the file could not be renamed, if
-- it did not exist or if new_name is physically
-- the same file as current file. Overwrite new_name
-- if it already existed. If renaming was successful,
-- then name is set to new_name.
-- (new_name should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE)

-- Copy content of file a_filename to the end of current file.
-- Do nothing if file a_filename does not exist. Create
-- current file if it does not exist yet. If file a_filename
-- is physically the same as current file, then a copy of
-- the file is appended to itself. Do nothing if current
-- file could not be open in append mode or if file a_filename
-- could not be opened in read mode.
-- (a_filename should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE)

-- Copy current file to new_name.
-- Do nothing if the file could not be copied, if it
-- did not exist or if new_name is physically
-- the same file as current file. Overwrite new_name
-- if it already existed.
-- (new_name should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE)

-- Try to close input stream if it is closable. Set
-- is_open_read to false if operation was successful.
-- (From KI_FILE_SYSTEM_ENTRY)

-- Move input position to the beginning of stream.
-- (From KI_INPUT_STREAM)

-- Delete current file system entry.
-- Do nothing if the entry could not be deleted
-- (for example if the entry does not exist or
-- if a directory is not empty).
-- (From KI_FILE_SYSTEM_ENTRY)

-- Open current file in read-only mode if
-- it can be opened, let it closed otherwise.
-- (From KI_FILE_SYSTEM_ENTRY)

-- 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_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)

-- Read the next item in input stream.
-- Make the result available in last_item.
-- (From KI_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)

-- 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)

-- Platform-dependent properties
-- (From KL_SHARED_PLATFORM)

[040101] Use Platform instead.