/usr/lib/ocaml/lablgtk2/glib.mli is in liblablgtk2-ocaml-dev 2.16.0+dfsg-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 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 | (**************************************************************************)
(* Lablgtk *)
(* *)
(* This program is free software; you can redistribute it *)
(* and/or modify it under the terms of the GNU Library General *)
(* Public License as published by the Free Software Foundation *)
(* version 2, with the exception described in file COPYING which *)
(* comes with the library. *)
(* *)
(* This program is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
(* GNU Library General Public License for more details. *)
(* *)
(* You should have received a copy of the GNU Library General *)
(* Public License along with this program; if not, write to the *)
(* Free Software Foundation, Inc., 59 Temple Place, Suite 330, *)
(* Boston, MA 02111-1307 USA *)
(* *)
(* *)
(**************************************************************************)
(* $Id$ *)
(** Interface to Glib functions
@gtkdoc glib index *)
type unichar = int
type unistring = unichar array
exception GError of string
(** {3 Main Event Loop} *)
(** The Main Event Loop
@gtkdoc glib glib-The-Main-Event-Loop *)
module Main : sig
type t
val create : bool -> t
val iteration : bool -> bool
val pending : unit -> bool
val is_running : t -> bool
val quit : t -> unit
val destroy : t -> unit
type locale_category =
[ `ALL | `COLLATE | `CTYPE | `MESSAGES | `MONETARY | `NUMERIC | `TIME ]
val setlocale : locale_category -> string option -> string
val wrap_poll_func : unit -> unit
end
val int_of_priority : [< `HIGH | `DEFAULT | `HIGH_IDLE | `DEFAULT_IDLE | `LOW] -> int
(** @gtkdoc glib glib-The-Main-Event-Loop *)
module Timeout : sig
type id
val add : ms:int -> callback:(unit -> bool) -> id
val remove : id -> unit
end
(** @gtkdoc glib glib-The-Main-Event-Loop *)
module Idle : sig
type id
val add : ?prio:int -> (unit -> bool) -> id
val remove : id -> unit
end
(** {3 IO Channels} *)
(** IO Channels
@gtkdoc glib glib-IO-Channels *)
module Io : sig
(** Io condition, called from the main loop *)
type channel
type condition = [ `ERR | `HUP | `IN | `NVAL | `OUT | `PRI]
type id
val channel_of_descr : Unix.file_descr -> channel
val add_watch :
cond:condition list -> callback:(condition list -> bool) -> ?prio:int -> channel -> id
val remove : id -> unit
val read : channel -> buf:string -> pos:int -> len:int -> int
val read_chars : channel -> buf:string -> pos:int -> len:int -> int
end
(** {3 Message Logging} *)
(** @gtkdoc glib glib-Message-Logging *)
module Message : sig
type log_level =
[ `CRITICAL
| `DEBUG
| `ERROR
| `FLAG_FATAL
| `FLAG_RECURSION
| `INFO
| `MESSAGE
| `WARNING]
val log_level : [< log_level|`CUSTOM of int] -> int
type log_handler
val set_log_handler :
?domain:string ->
levels:log_level list ->
(level:int -> string -> unit) -> log_handler
val remove_log_handler : log_handler -> unit
val set_always_fatal : log_level list -> unit
val set_fatal_mask :
?domain:string -> [log_level|`CUSTOM of int] list -> unit
val log :
?domain:string ->
[log_level|`CUSTOM of int] -> ('a, unit, string, unit) format4 -> 'a
end
(*
module Thread : sig
val init : unit -> unit (* Call only once! *)
val enter : unit -> unit
val leave : unit -> unit
end
*)
(** {3 Character Sets} *)
(** Character Set Conversion
@gtkdoc glib glib-Character-Set-Conversion *)
module Convert : sig
type error =
| NO_CONVERSION
(** Conversion between the requested character sets is not supported *)
| ILLEGAL_SEQUENCE (** Invalid byte sequence in conversion input *)
| FAILED (** Conversion failed for some reason *)
| PARTIAL_INPUT (** Partial character sequence at end of input *)
| BAD_URI (** URI is invalid *)
| NOT_ABSOLUTE_PATH (** Pathname is not an absolute path *)
exception Error of error * string
val convert :
string -> to_codeset:string -> from_codeset:string -> string
(** @raise Error . *)
val convert_with_fallback :
?fallback:string ->
to_codeset:string -> from_codeset:string -> string -> string
(** @raise Error . *)
(** All internal strings are encoded in utf8: you should use
the following conversion functions *)
val locale_from_utf8 : string -> string
(** Converts the input string from [UTF-8] to the encoding of the
current locale. If the locale's encoding is [UTF-8], the string
is simply validated and returned unmodified.
@raise Error if the conversion fails
@raise Error if the string is not a valid [UTF-8] string *)
val locale_to_utf8 : string -> string (** @raise Error . *)
(** Converts the input string from the encoding of the current locale
to [UTF-8]. If the locale's encoding is [UTF-8], the string is
simply validated and returned unmodified.
@raise Error if the conversion fails
@raise Error if the string is not a valid [UTF-8] string *)
val filename_from_utf8 : string -> string (** @raise Error . *)
val filename_to_utf8 : string -> string (** @raise Error . *)
val filename_from_uri : string -> string option * string
(** @raise Error . *)
val filename_to_uri : ?hostname:string -> string -> string
(** @raise Error . *)
val get_charset : unit -> bool * string
(** Obtains the character set for the current locale.
@return the pair [u,s] where [u] is true if the character set is
[UTF-8] and [s] is the character set name *)
end
(** Unicode Manipulation
@gtkdoc glib glib-Unicode-Manipulation *)
module Unichar : sig
val to_lower : unichar -> unichar
val to_upper : unichar -> unichar
val to_title : unichar -> unichar
val digit_value : unichar -> int
val xdigit_value : unichar -> int
val validate : unichar -> bool
val isalnum : unichar -> bool
val isalpha : unichar -> bool
val iscntrl : unichar -> bool
val isdigit : unichar -> bool
val isgraph : unichar -> bool
val islower : unichar -> bool
val isprint : unichar -> bool
val ispunct : unichar -> bool
val isspace : unichar -> bool
val isupper : unichar -> bool
val isxdigit : unichar -> bool
val istitle : unichar -> bool
val isdefined : unichar -> bool
val iswide : unichar -> bool
end
(** Unicode Manipulation
@gtkdoc glib glib-Unicode-Manipulation *)
module Utf8 : sig
(** UTF-8 handling, and conversion to UCS-4 *)
(** If you read an UTF-8 string from somewhere, you should validate it,
or risk random segmentation faults *)
val validate : string -> bool
val length : string -> int
(** [from_unichar 0xiii] converts a code point [iii] (usually in hexadecimal
form) into a string containing the UTF-8 encoded character [0xiii]. See
{{:http://www.unicode.org/}unicode.org} for charmaps.
Does not check that the given code point is a valid unicode point. *)
val from_unichar : unichar -> string
val from_unistring : unistring -> string
(** [to_unichar_validated] decodes an UTF-8 encoded code point and checks
for incomplete characters, invalid characters and overlong encodings.
@raise Convert.Error if invalid *)
val to_unichar_validated : string -> pos:int ref -> unichar
(** [to_unichar] decodes an UTF-8 encoded code point. Result is undefined
if [pos] does not point to a valid UTF-8 encoded character. *)
val to_unichar : string -> pos:int ref -> unichar
(** [to_unistring] decodes an UTF-8 encoded string into an array of
[unichar]. The string {e must} be valid. *)
val to_unistring : string -> unistring
val first_char : string -> unichar
val offset_to_pos : string -> pos:int -> off:int -> int
type normalize_mode = [ `DEFAULT | `DEFAULT_COMPOSE | `ALL | `ALL_COMPOSE ]
val normalize : string -> normalize_mode -> string
val uppercase : string -> string
val lowercase : string -> string
val casefold : string -> string
val collate : string -> string -> int
val collate_key : string -> string
end
(** @gtkdoc glib glib-Simple-XML-Subset-Parser *)
module Markup : sig
type error =
| BAD_UTF8
| EMPTY
| PARSE
| UNKNOWN_ELEMENT
| UNKNOWN_ATTRIBUTE
| INVALID_CONTENT
exception Error of error * string
val escape_text : string -> string
end
(** {3 Miscellaneous Utility Functions} *)
val get_prgname : unit -> string
val set_prgname : string -> unit
val get_application_name : unit -> string (** @since GTK 2.2 *)
val set_application_name : string -> unit (** @since GTK 2.2 *)
val get_user_name : unit -> string
val get_real_name : unit -> string
val get_home_dir : unit -> string option
val get_tmp_dir : unit -> string
val find_program_in_path : string -> string
(** @raise Not_found if the program is not found in the path
or is not executable *)
val getenv : string -> string
(** @raise Not_found if the environment variable is not found. *)
val setenv : string -> string -> bool -> unit
(** @raise Failure if the environment variable couldn't be set.
@since GTK 2.4 *)
val unsetenv : string -> unit
(** @since GTK 2.4 *)
val get_user_cache_dir : unit -> string (** @since GTK 2.6 *)
val get_user_data_dir : unit -> string (** @since GTK 2.6 *)
val get_user_config_dir : unit -> string (** @since GTK 2.6 *)
val get_system_data_dirs : unit -> string list (** @since GTK 2.6 *)
val get_system_config_dirs : unit -> string list (** @since GTK 2.6 *)
val usleep : int -> unit
|