deferred class KI_BUFFER [G] General cluster: kernel description: "Interface for buffers" Ancestors ANY Queries count: INTEGER_32 fill_from_stream (a_stream: KI_INPUT_STREAM [G]; pos, nb: INTEGER_32): INTEGER_32 item (i: INTEGER_32): G Commands move_left (old_pos, new_pos, nb: INTEGER_32) move_right (old_pos, new_pos, nb: INTEGER_32) put (v: G; i: INTEGER_32) resize (n: INTEGER_32)
Generated by ISE EiffelStudio