Frama-C:
Plug-ins:
Libraries:

Frama-C API - Compression

File compression.

include module type of Gzip
type in_channel
val open_in : string -> in_channel
val open_in_chan : Stdlib.in_channel -> in_channel
val input_char : in_channel -> char
val input_byte : in_channel -> int
val input : in_channel -> bytes -> int -> int -> int
val really_input : in_channel -> bytes -> int -> int -> unit
val close_in : in_channel -> unit
val dispose : in_channel -> unit
type out_channel
val open_out : ?level:int -> string -> out_channel
val open_out_chan : ?level:int -> Stdlib.out_channel -> out_channel
val output_char : out_channel -> char -> unit
val output_byte : out_channel -> int -> unit
val output : out_channel -> bytes -> int -> int -> unit
val output_substring : out_channel -> string -> int -> int -> unit
val close_out : out_channel -> unit
val flush : out_channel -> unit
val flush_continue : out_channel -> unit
exception Error of string
val input_value : in_channel -> 'a

Implementation of Stdlib.input_value for a Gzip.in_channel.

val unsafe_really_input : in_channel -> bytes -> int -> int -> unit

Implementation of Stdlib.unsafe_really_input for a Gzip.in_channel.

val output_value : out_channel -> 'a -> unit

Implementation of Stdlib.output_value for a Gzip.out_channel.