1
(***********************************************************************)
5
(* Fran�ois Pessaux, projet Cristal, INRIA Rocquencourt *)
6
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
7
(* Jun Furuse, projet Cristal, INRIA Rocquencourt *)
9
(* Copyright 1999-2004, *)
10
(* Institut National de Recherche en Informatique et en Automatique. *)
11
(* Distributed only by permission. *)
13
(***********************************************************************)
15
(* $Id: gif.mli,v 1.1 2007/01/18 10:29:57 rousse Exp $ *)
17
(** High level interfaces *)
19
| GifComment of string list
20
| GifGraphics of string list
21
| GifPlaintext of string list
22
| GifApplication of string list
23
| GifOtherExt of int * string list;;
28
frame_bitmap : Index8.t;
29
mutable frame_extensions : gif_extension list;
36
screen_colormap : Color.rgb Color.map;
37
frames : gif_frame list;
41
val check_header : string -> Images.header;;
42
(** Checks the file header *)
44
val load : string -> Images.load_option list -> gif_sequence
45
(** Loads a gif image sequence *)
46
val load_sequence : string -> Images.load_option list -> Images.sequence
47
(** Loads a gif image sequence, but to more general type *)
48
val load_first : string -> Images.load_option list -> Images.t
49
(** Loads the first frame of a gif image sequence. *)
50
val save : string -> Images.save_option list -> gif_sequence -> unit
51
(** Saves a gif image sequence *)
52
val save_image : string -> Images.save_option list -> Images.t -> unit
53
(** Saves an image as a gif file with only one frame *)
55
(*** Below they are all low level interfaces *)
63
s_color_resolution : int;
64
s_back_ground_color : int;
65
s_colormap : Color.rgb array;
80
desc_interlace : bool;
81
desc_colormap : Color.rgb array;
84
val dGifOpenFileName : string -> screen_info * in_channel;;
85
val dGifCloseFile : in_channel -> unit;;
86
val dGifGetRecordType : in_channel -> record_type;;
87
val dGifGetImageDesc : in_channel -> gif_desc;;
88
val dGifGetLine : in_channel -> string;;
89
val dGifGetExtension : in_channel -> int * string list;;
91
val eGifOpenFileName : string -> out_channel;;
92
val eGifCloseFile : out_channel -> unit;;
93
val eGifPutScreenDesc : out_channel ->screen_info -> unit;;
94
val eGifPutImageDesc : out_channel -> gif_desc -> unit;;
95
val eGifPutLine : out_channel -> string -> unit;;
96
val eGifPutExtension : out_channel -> int * string list -> unit;;