Class KL_BINARY_OUTPUT_FILE

-- Create a new file named a_name.
-- (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)

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

-- File pointer as required in C
-- (From FILE)

-- File name;
-- Note: If name is a UC_STRING or descendant, then
-- the bytes of its associated UTF unicode encoding will
-- be used.
-- (From KI_FILE_SYSTEM_ENTRY)

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

-- Size in bytes (0 if no associated physical file)
-- (From KL_FILE)

-- May new items be added?
-- (From KL_OUTPUT_FILE)

-- Is file closed?
-- (From KL_FILE)

-- Is file open for writing?
-- (From KL_OUTPUT_FILE)

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

-- Is file opened in write mode?
-- (From KI_FILE_SYSTEM_ENTRY)

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

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

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

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

-- Close file.
-- (From KL_FILE)

-- Open file in read-only mode.
-- (From FILE)

-- Write s at current position.
-- (From KL_OUTPUT_FILE)

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

-- Close current file if it is closable,
-- let it open otherwise.
-- (From KI_FILE_SYSTEM_ENTRY)

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

-- Delete current file.
-- Do nothing if the file could not be
-- deleted or if it did not exist.
-- (From KI_FILE_SYSTEM_ENTRY)

-- Flush buffered data to disk.
-- (From KI_CHARACTER_OUTPUT_STREAM)

-- Open current file in append mode if it
-- can be opened, let it closed otherwise.
-- If the file is successfully opened, it is
-- either created if it didn't exist or the
-- data which will be written to the file will
-- appear after its old content otherwise.
-- (From KI_OUTPUT_FILE)

-- Open current file in write-only mode if
-- it can be opened, let it closed otherwise.
-- If the file is successfully opened, it is
-- either created if it didn't exist or its
-- old content is removed otherwise.
-- (From KI_FILE_SYSTEM_ENTRY)

-- Open current file in append mode if it
-- can be opened, let it closed otherwise.
-- If the file is successfully opened, it is
-- either created if it didn't exist or the
-- data which will be written to the file will
-- appear after its old content otherwise.
-- Try to recursively create its parent directory
-- if it does not exist yet.
-- (From KI_OUTPUT_FILE)

-- Open current file in write-only mode if
-- it can be opened, let it closed otherwise.
-- If the file is successfully opened, it is
-- either created if it didn't exist or its
-- old content is removed otherwise. Try to
-- recursively create its parent directory
-- if it does not exist yet.
-- (From KI_OUTPUT_FILE)

-- Read items of an_input_stream until the end
-- of input is reached, and write these items to
-- current output stream.
-- (From KI_OUTPUT_STREAM)

-- Write "True" to output stream if
-- b is true, "False" otherwise.
-- (From KI_CHARACTER_OUTPUT_STREAM)

-- Write decimal representation
-- of i to output stream.
-- Regexp: 0|(-?[1-9][0-9]*)
-- (From KI_CHARACTER_OUTPUT_STREAM)

-- Write substring of a_string between indexes
-- s and e to output stream.
-- (From KI_CHARACTER_OUTPUT_STREAM)

-- Write c to output file.
-- (From KI_OUTPUT_STREAM)

-- Write a_string to output file.
-- Note: If a_string is a UC_STRING or descendant, then
-- write the bytes of its associated UTF unicode encoding.
-- (From KI_CHARACTER_OUTPUT_STREAM)