Plasma GitLab Archive
Projects Blog Knowledge

Class type Ftp_data_endpoint.out_record_channel

class type out_record_channel = object .. end
An out_record_channel can be used to output files with record structure. This is purely abstract, as Unix does not support such files natively, so this kind of channel is usually mapped to a flat representation when stored in a real file, e.g. record boundaries become newline characters.
Inherits
method output_eor : unit -> unit
Finishes the current record.

The record model is as follows: At the beginning of the channel, or after output_eor, a new record can be potentially started. However, the record counts only as existing when either at least one byte is output, or the record is explicitly ended with a output_eor call.

This rule allows it to represent channels containing no records. There is an ambiguity at the end of the channel, however: It is possible that there are characters between the last EOR and the EOF. This could also be represented by printing another EOR just before EOF. The preferred representation is the latter.

This model correlates to the usual rules for line-structured files, so think EOR = EOL.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml