indexing description: "Imported routines that ought to be in class OUTPUT_STREAM" library: "Gobo Eiffel Kernel Library" author: "Eric Bezault <ericb@gobo.demon.co.uk>" copyright: "Copyright (c) 1998, Eric Bezault" class interface KL_IMPORTED_OUTPUT_STREAM_ROUTINES feature -- Access output_stream_: KL_OUTPUT_STREAM_ROUTINES -- Routines that ought to be in class OUTPUT_STREAM ensure output_stream_routines_not_void: Result /= void feature -- Type anchors output_stream_type: IO_MEDIUM invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class KL_IMPORTED_OUTPUT_STREAM_ROUTINES