package camlpdf

  1. Overview
  2. Docs

Generic Input/Ouput from/to channels, strings, files etc.

type input = {
  1. pos_in : unit -> int;
  2. seek_in : int -> unit;
  3. input_char : unit -> char option;
  4. input_byte : unit -> int;
  5. in_channel_length : int;
  6. set_offset : int -> unit;
  7. caml_channel : in_channel option;
  8. source : string;
}

An input.

  • Calling pos_in () will give the current position (i.e the index of the next byte to be read) in the range zero to the length of the channel minus one.
  • seek_in x moves to a given position.
  • input_char () returns None if end of input, or the next byte of the input as a character.
  • input_byte () returns the next byte as an integer, or Pdfio.no_more in case of end of input.
  • in_channel_length is the length of the channel.
  • set_offset shifts the channel so positions run from offset to channel_length + offset - 1 instead of 0 to channel_length - 1.
  • caml_channel is the underlying OCaml channel (if any) of the input.
  • source is a string used to inficate the original source of the data, for debugging purposes.
type output = {
  1. pos_out : unit -> int;
  2. seek_out : int -> unit;
  3. output_char : char -> unit;
  4. output_byte : int -> unit;
  5. output_string : string -> unit;
  6. out_caml_channel : out_channel option;
  7. out_channel_length : unit -> int;
}

An output.

  • Calling pos_out () gives the position of the next byte to be written
  • seek_out x moves to a a given position in the output
  • output_char writes a given character as the next byte
  • output_byte writes an integer between 0 and 255 as the next byte
  • output_string writes a string as a sequence of bytes
  • out_caml_channel holds the OCaml channel this output is based on, if any
  • out_channel_length () gives the current length of the output channel
val no_more : int

A distinguished byte value indicating "no more input"

type caml_bytes = bytes

An alias to OCaml built-in bytes type.

type bytes

The type of fast to access but possibly very large arrays of bytes.

Building inputs

val input_of_channel : ?source:string -> in_channel -> input

Make an input from an OCaml input channel.

val input_of_bytes : ?source:string -> bytes -> input

Make an input from a bytes.

val input_of_string : ?source:string -> string -> input

Make an input from a string.

Building outputs

val output_of_channel : out_channel -> output

Make an output from an OCaml channel

Building an input-output

An input-output in this context is an output of a bytes, whose content can be extracted to another bytes having been written. For example, one might use a write bitstream (see below), and then extract the result into a bytes

val input_output_of_bytes : int -> output * bytes ref

Build an input-ouput, with an initial buffer size.

val extract_bytes_from_input_output : output -> bytes ref -> bytes

Extract the contents of an input-output in bytes

Compound operations on inputs

val nudge : input -> unit

Move forward one byte

val rewind : input -> unit

Move backward one byte

val peek_char : input -> char option

Look at the next character without advancing the pointer.

val peek_byte : input -> int

Look at the next byte without advancing the pointer. Returns Pdfio.no_more for end of file.

val read_char_back : input -> char option

Read the previous character (if there is one), moving the pointer back one.

val read_line : input -> string

Read a line from an input in the manner of Stdlib.read_line.

val read_lines : input -> string list

Read all the lines in an input, in the manner of Stdlib.read_line.

Bytes

val mkbytes : int -> bytes

Make bytes from a given size. Contents not initialized.

val bytes_size : bytes -> int

Size of bytes.

val fillbytes : int -> bytes -> unit

Fill bytes with a value

val print_bytes : bytes -> unit

Print bytes to standard output. Format undefined: for debug only.

val bget : bytes -> int -> int

Get the value at a position in a bytes

val bget_unsafe : bytes -> int -> int

Like bget, but with no range checking

val getinit : output -> bytes -> int -> int -> unit

getinit f s o l calls f on each s within o...l - 1

val bset : bytes -> int -> int -> unit

bset s n v sets the value n at position v in bytes

val bset_unsafe : bytes -> int -> int -> unit

Like bset but with no range checking

val setinit : input -> bytes -> int -> int -> unit

setinit i s o l sets s o...o + l - 1 from the input

val setinit_string : input -> caml_bytes -> int -> int -> unit

setinit_string i s o l sets s o...o + l - 1 from the input

val bytes_of_input : input -> int -> int -> bytes

bytes_of_input i o l gives a bytes with s o...o + l - 1 from the input

val string_of_input : input -> string

string_of_input i gives a string with the contents of i

val bytes_of_string : string -> bytes

Make bytes from a string.

val bytes_of_caml_bytes : caml_bytes -> bytes

Make bytes from ocaml bytes.

val bytes_of_list : int list -> bytes

Make bytes from a list of integers, each between 0 and 255.

val bytes_of_charlist : char list -> bytes

Make bytes from a character list.

val bytes_of_arraylist : int array list -> bytes

Make bytes from a list of integer arrays.

val bytes_of_int_array : int array -> bytes

Make bytes from an integer array

val int_array_of_bytes : bytes -> int array

An integer array of bytes from bytes

val int_array_of_string : string -> int array

Integer array from a string

val string_of_int_arrays : int array list -> string

A string from a list of integer arrays

val string_of_int_array : int array -> string

A string from a single int array

val bytes_selfmap : (int -> int) -> bytes -> unit

Map bytes onto itself using a function on each byte

val string_of_bytes : bytes -> string

Make a string from a bytes. Fails if array is longer than String.max_length.

val charlist_of_bytes : bytes -> char list

Make a character list from a bytes

val copybytes : bytes -> bytes

Copy bytes.

val bytes_to_output_channel : out_channel -> bytes -> unit

Write a bytes to an output channel

val bytes_of_input_channel : in_channel -> bytes

Extract a bytes from an input or output.

Bit streams for reading

type bitstream = {
  1. input : input;
  2. mutable currbyte : int;
  3. mutable bit : int;
  4. mutable bitsread : int;
}

The type of most-significant-bit-first bitstreams over inputs.

val bitbytes_of_input : input -> bitstream

Make a bitstream from an input.

type bitstream_position

The type of a position within a bitstream

val bitstream_pos : bitstream -> bitstream_position

Get the current position. It's abstract, so can't be manipulated, but it can be used to return to a previous point

val bitstream_seek : bitstream -> bitstream_position -> unit

Seek to a position within a bitstream

val getbit : bitstream -> bool

Get a bit

val getbitint : bitstream -> int

Get a bit, but as an integer, 0 or 1.

val align : bitstream -> unit

Align the bitstream on a byte boundary

val getval_32 : bitstream -> int -> int32

Get up to 32 bits as a 32 bit value

val getval_31 : bitstream -> int -> int

Get up to 31 bits as a native integer

Bit streams for writing

type bitstream_write

The type of most-significant-bit-first bitstreams for writing over outputs.

val make_write_bitstream : unit -> bitstream_write

Return a new write bistream.

val putbit : bitstream_write -> int -> unit

Put a single bit, 0 or 1.

val putval : bitstream_write -> int -> int32 -> unit

Put a multi-bit value (given as an int32) containing the given number of useful bits into a bitstream

val align_write : bitstream_write -> unit

Byte-align.

val write_bitstream_append_aligned : bitstream_write -> bitstream_write -> bitstream_write

Append two write bitstreams, aligning at boundary

val bytes_of_write_bitstream : bitstream_write -> bytes

Build bytes from a write bitstream, padding the with zero-valued bits.

Debug

val debug_next_n_chars : int -> input -> unit

Debug the next n chars to standard output and then rewind back

OCaml

Innovation. Community. Security.