class type record_reader =object
..end
method pos_in : int
method input_record : unit -> string
End_of_file
method peek_record : unit -> string
peek_record
or input_record
will read the line again.
May raise End_of_file
.method close_in : unit -> unit
method abort : unit -> unit
method to_fd_e : Unix.file_descr -> unit Uq_engines.engine
to_fd_e esys fd
: The remaining 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.
While the engine is running the other method must not be called.
method plasma_cluster : Plasma_client.plasma_cluster