Class KL_STDERR_FILE

-- Create a new standard error file.

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

-- File name
-- (From KI_OUTPUT_STREAM)

-- Line separator
-- (From KI_TEXT_OUTPUT_STREAM)

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

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

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

-- Is standard error file opened in write mode?
-- (From KI_OUTPUT_STREAM)

-- Can current output stream be closed?
-- (From KI_OUTPUT_STREAM)

-- Useless for CONSOLE class.
--| count is non null not to invalidate invariant clauses.
-- (From FINITE)

-- Close file.
-- (From IO_MEDIUM)

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

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

-- Try to close output stream if it is closable. Set
-- is_open_write to false if operation was successful.
-- (From KI_OUTPUT_STREAM)

-- Write a_string to output stream
-- followed by a line separator.
-- (From KI_TEXT_OUTPUT_STREAM)

-- Write a line separator to output stream.
-- (From KI_TEXT_OUTPUT_STREAM)

-- Write c to standard error file.
-- (From KI_OUTPUT_STREAM)

-- Write a_string to standard error 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)

-- 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 s at end of default output.
-- (From IO_MEDIUM)