class type record_reader =object..end
method pos_in : intmethod input_record : unit -> stringEnd_of_filemethod peek_record : unit -> stringpeek_record or input_record will read the line again.
May raise End_of_file.method input_records : string Queue.t -> unitEnd_of_file if
the end of the file is reached.method close_in : unit -> unitmethod abort : unit -> unitmethod to_fd_e : Unix.file_descr -> unit Uq_engines.engineto_fd_e fd: The records are written to fd.
The position pos_in is not updated. The length of the records
is not checked except for a few records that are crucial for
interpreting the boundaries of the bigblocks.
One should only either use to_fd_e or input_record. When
mixing both styles, it is undefined which data is read by which
method.
While the engine is running no other method must be called.
method to_any_e : (Netsys_mem.memory -> int -> int -> unit Uq_engines.engine) ->
unit Uq_engines.engineto_any_e dest: like to_fd_e but the data is not written to
a file descriptor. Instead, the function dest is called like
dest m pos len to output some data.
This is an experimental method! It might not be defined on every
record reader.
method plasma_cluster : Plasma_client.plasma_cluster