1 (***********************************************************************)
4 (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *)
6 (* Copyright 2007 Institut National de Recherche en Informatique et *)
7 (* en Automatique. All rights reserved. This file is distributed *)
8 (* under the terms of the Q Public License version 1.0. *)
10 (***********************************************************************)
12 (* $Id: lexers.mli,v 1.2.2.2 2007-11-21 21:02:58 ertai Exp $ *)
13 (* Original author: Nicolas Pouillard *)
14 exception Error
of string
17 { plus_tags
: string list
;
18 minus_tags
: string list
;
19 plus_flags
: (string * string) list
;
20 minus_flags
: (string * string) list
}
22 type conf
= (Glob.globber
* conf_values
) list
24 val ocamldep_output
: Lexing.lexbuf
-> (string * string list
) list
25 val space_sep_strings
: Lexing.lexbuf
-> string list
26 val blank_sep_strings
: Lexing.lexbuf
-> string list
27 val comma_sep_strings
: Lexing.lexbuf
-> string list
28 val comma_or_blank_sep_strings
: Lexing.lexbuf
-> string list
30 (* Parse a colon separated string.
31 Note: successive colons are ignored.
32 Example: "aaa:bbb:::ccc" -> ["aaa"; "bbb"; "ccc"] *)
33 val colon_sep_strings
: Lexing.lexbuf
-> string list
35 val conf_lines
: string option -> int -> string -> Lexing.lexbuf
-> conf
36 val path_scheme
: bool -> Lexing.lexbuf
->
38 | `Var
of (string * Glob.globber
)