]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/ocaml/contrib/debugger/unix_tools.mli
update
[l4.git] / l4 / pkg / ocaml / contrib / debugger / unix_tools.mli
1 (***********************************************************************)
2 (*                                                                     *)
3 (*                           Objective Caml                            *)
4 (*                                                                     *)
5 (*          Jerome Vouillon, projet Cristal, INRIA Rocquencourt        *)
6 (*          Objective Caml port by John Malecki and Xavier Leroy       *)
7 (*                                                                     *)
8 (*  Copyright 1996 Institut National de Recherche en Informatique et   *)
9 (*  en Automatique.  All rights reserved.  This file is distributed    *)
10 (*  under the terms of the Q Public License version 1.0.               *)
11 (*                                                                     *)
12 (***********************************************************************)
13
14 (* $Id: unix_tools.mli 5232 2002-11-02 22:36:46Z doligez $ *)
15
16 (**************************** Tools for Unix ***************************)
17
18 open Unix
19
20 (* Convert a socket name into a socket address. *)
21 val convert_address : string -> socket_domain * sockaddr
22
23 (* Report an unix error. *)
24 val report_error : exn -> unit
25
26 (* Find program `name' in `PATH'. *)
27 (* Return the full path if found. *)
28 (* Raise `Not_found' otherwise. *)
29 val search_in_path : string -> string
30
31 (* Path expansion. *)
32 val expand_path : string -> string
33
34 val make_absolute : string -> string