deferred class KI_INPUT_STREAM [G] General cluster: kernel description: "Interface for input streams" Ancestors ANY Queries end_of_input: BOOLEAN is_closable: BOOLEAN is_open_read: BOOLEAN is_rewindable: BOOLEAN last_item: G name: STRING_8 read_to_buffer (a_buffer: KI_BUFFER [G]; pos, nb: INTEGER_32): INTEGER_32 valid_unread_item (an_item: G): BOOLEAN Commands close read rewind unread (an_item: G)
Generated by ISE EiffelStudio