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 input_records : string Queue.t -> unit
End_of_file
if
the end of the file is reached.method close_in : unit -> unit
method abort : unit -> unit
method to_fd_e : Unix.file_descr -> unit Uq_engines.engine
to_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.engine
to_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