deferred class KI_OUTPUT_STREAM [G] General cluster: kernel description: "Interface for output streams" Ancestors ANY Queries is_closable: BOOLEAN is_open_write: BOOLEAN name: STRING_8 Commands append (an_input_stream: KI_INPUT_STREAM [G]) close put (v: G)
Generated by ISE EiffelStudio