deferred class KI_CHARACTER_INPUT_STREAM General cluster: kernel description: "Interface for character input streams" Ancestors KI_INPUT_STREAM* [G] KL_IMPORTED_ANY_ROUTINES Queries Any_: KL_ANY_ROUTINES end_of_input: BOOLEAN is_closable: BOOLEAN is_open_read: BOOLEAN is_rewindable: BOOLEAN last_character: CHARACTER_8 last_string: STRING_8 name: STRING_8 read_to_buffer (a_buffer: KI_BUFFER [CHARACTER_8]; pos, nb: INTEGER_32): INTEGER_32 read_to_string (a_string: STRING_8; pos, nb: INTEGER_32): INTEGER_32 valid_unread_character (a_character: CHARACTER_8): BOOLEAN Commands close read_character read_string (nb: INTEGER_32) rewind unread_character (an_item: CHARACTER_8)
Generated by ISE EiffelStudio