/usr/lib/ocaml/biniou/bi_outbuf.mli is in libbiniou-ocaml-dev 1.0.9-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 | (** Output buffer *)
type t = {
mutable o_s : string;
(** Buffer string *)
mutable o_max_len : int;
(** Same as [String.length s] *)
mutable o_len : int;
(** Length of the data present in the buffer = current position
in the buffer *)
mutable o_offs : int;
(** Length of data written and flushed out of the buffer.
The total number of bytes written to the buffer
is therefore [o_offs + o_len]. *)
o_init_len : int;
(** Initial length of the buffer *)
o_make_room : t -> int -> unit;
(**
[make_room buf n] must provide space for at least the requested
number of bytes [n], typically by reallocating a larger buffer
string or by flushing the data to a channel.
This function is only called when there is not enough space for [n]
bytes.
*)
mutable o_shared : Bi_share.Wr.tbl;
(**
Hash table used to map shared objects to positions in the input stream.
*)
o_shared_init_len : int;
(**
Initial length of the [o_shared] table.
*)
}
val really_extend : t -> int -> unit
(**
Default make_room function: reallocate a larger buffer string.
*)
val flush_to_channel : out_channel -> t -> int -> unit
(**
Alternate make_room function: write to an out_channel.
*)
val create : ?make_room:(t -> int -> unit) -> ?shrlen:int -> int -> t
(**
Create a buffer. The default [make_room] function is [really_extend].
@param shrlen initial size of the table used to store shared values.
*)
val contents : t -> string
(**
Returns the data currently in the buffer.
*)
val create_channel_writer : ?len:int -> ?shrlen:int -> out_channel -> t
val flush_channel_writer : t -> unit
(**
Pair of convenience functions for creating a buffer that
flushes data to an out_channel when it is full.
*)
val create_output_writer :
?len:int -> ?shrlen:int -> < output : string -> int -> int -> int; .. > -> t
val flush_output_writer : t -> unit
(**
Pair of convenience functions for creating a buffer that
flushes data to an object when it is full.
*)
val extend : t -> int -> unit
(**
Guarantee that the buffer string has enough room for n additional bytes.
*)
val alloc : t -> int -> int
(**
[alloc buf n] makes room for [n] bytes and returns the position
of the first byte in the buffer string [buf.s].
It behaves as if [n] arbitrary bytes were added and it is
the user's responsibility to set them to some meaningful values
by accessing [buf.s] directly.
*)
val add_string : t -> string -> unit
(** Add a string to the buffer. *)
val add_substring : t -> string -> int -> int -> unit
(** [add_substring dst src srcpos len] copies [len] bytes from
string [src] to buffer [dst] starting from position [srcpos]. *)
val add_char : t -> char -> unit
(** Add a byte to the buffer. *)
val add_char2 : t -> char -> char -> unit
(** Add two bytes to the buffer. *)
val add_char4 : t -> char -> char -> char -> char -> unit
(** Add four bytes to the buffer. *)
val unsafe_add_char : t -> char -> unit
(** Add a byte to the buffer without checking that there is enough
room for it. *)
val clear : t -> unit
(** Remove any data present in the buffer and in the table holding
shared objects. *)
val reset : t -> unit
(** Remove any data present in the buffer and reset it to its original
size.
Remove any data present in the table holding shared objects
and reset it to its original size. *)
|