indexing
	description: "Standard files"
	library: "Gobo Eiffel Kernel Library"
	author: "Eric Bezault <ericb@gobo.demon.co.uk>"
	copyright: "Copyright (c) 1997, Eric Bezault"

class interface
	KL_STANDARD_FILES

feature -- Access

	error: FILE
			-- Standard error file
		ensure
			file_not_void: Result /= void;
			file_open_write: output_stream_.is_open_write (Result)

	input: FILE
			-- Standard input file
		ensure
			file_not_void: Result /= void;
			file_open_read: input_stream_.is_open_read (Result)

	input_stream_: KL_INPUT_STREAM_ROUTINES
			-- Routines that ought to be in class INPUT_STREAM
			-- (from KL_IMPORTED_INPUT_STREAM_ROUTINES)
		ensure -- from KL_IMPORTED_INPUT_STREAM_ROUTINES
			input_stream_routines_not_void: Result /= void

	output: FILE
			-- Standard output file
		ensure
			file_not_void: Result /= void;
			file_open_write: output_stream_.is_open_write (Result)

	output_stream_: KL_OUTPUT_STREAM_ROUTINES
			-- Routines that ought to be in class OUTPUT_STREAM
			-- (from KL_IMPORTED_OUTPUT_STREAM_ROUTINES)
		ensure -- from KL_IMPORTED_OUTPUT_STREAM_ROUTINES
			output_stream_routines_not_void: Result /= void
	
feature -- Type anchors

	input_stream_type: IO_MEDIUM
			-- (from KL_IMPORTED_INPUT_STREAM_ROUTINES)

	output_stream_type: IO_MEDIUM
			-- (from KL_IMPORTED_OUTPUT_STREAM_ROUTINES)
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class KL_STANDARD_FILES