(**************************************************************************) (* *) (* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. *) (* *) (* All rights reserved. This file is distributed under the terms of *) (* the GNU Lesser General Public License version 2.1, with the *) (* special exception on linking described in the file LICENSE. *) (* *) (**************************************************************************) (*********************** Basic functions and types *********************) (*** Miscellaneous ***) exception Out_of_range let cleanup e f = let bt = Printexc.get_raw_backtrace () in let () = f () in Printexc.raise_with_backtrace e bt let nothing _ = () (*** Operations on lists. ***) (* Remove an element from a list *) let except e l = let rec except_e = function [] -> [] | elem::l -> if e = elem then l else elem::except_e l in except_e l (* Position of an element in a list. Head of list has position 0. *) let index a l = let rec index_rec i = function [] -> raise Not_found | b::l -> if a = b then i else index_rec (i + 1) l in index_rec 0 l (* Return the `n' first elements of `l' *) (* ### n l -> l' *) let rec list_truncate = fun p0 p1 -> match (p0,p1) with (0, _) -> [] | (_, []) -> [] | (n, (a::l)) -> a::(list_truncate (n - 1) l) (* Separate the `n' first elements of `l' and the others *) (* ### n list -> (first, last) *) let rec list_truncate2 = fun p0 p1 -> match (p0,p1) with (0, l) -> ([], l) | (_, []) -> ([], []) | (n, (a::l)) -> let (first, last) = (list_truncate2 (n - 1) l) in (a::first, last) (* Replace x by y in list l *) (* ### x y l -> l' *) let list_replace x y = let rec repl = function [] -> [] | a::l -> if a == x then y::l else a::(repl l) in repl (*** Operations on strings. ***) (* Remove blanks (spaces and tabs) at beginning and end of a string. *) let is_space = function | ' ' | '\t' -> true | _ -> false let string_trim s = let l = String.length s and i = ref 0 in while !i < l && is_space (String.get s !i) do incr i done; let j = ref (l - 1) in while !j >= !i && is_space (String.get s !j) do decr j done; String.sub s !i (!j - !i + 1) (* isprefix s1 s2 returns true if s1 is a prefix of s2. *) let isprefix s1 s2 = let l1 = String.length s1 and l2 = String.length s2 in (l1 = l2 && s1 = s2) || (l1 < l2 && s1 = String.sub s2 0 l1) (*** I/O channels ***) type io_channel = { io_in : in_channel; io_out : out_channel; io_fd : Unix.file_descr } let io_channel_of_descr fd = { io_in = Unix.in_channel_of_descr fd; io_out = Unix.out_channel_of_descr fd; io_fd = fd } let close_io io_channel = close_out_noerr io_channel.io_out; close_in_noerr io_channel.io_in; ;; let std_io = { io_in = stdin; io_out = stdout; io_fd = Unix.stdin }