]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/ocaml/ocaml/contrib/otherlibs/labltk/browser/searchid.mli
Update
[l4.git] / l4 / pkg / ocaml / ocaml / contrib / otherlibs / labltk / browser / searchid.mli
1 (*************************************************************************)
2 (*                                                                       *)
3 (*                Objective Caml LablTk library                          *)
4 (*                                                                       *)
5 (*            Jacques Garrigue, Kyoto University RIMS                    *)
6 (*                                                                       *)
7 (*   Copyright 1999 Institut National de Recherche en Informatique et    *)
8 (*   en Automatique and Kyoto University.  All rights reserved.          *)
9 (*   This file is distributed under the terms of the GNU Library         *)
10 (*   General Public License, with the special exception on linking       *)
11 (*   described in file ../../../LICENSE.                                 *)
12 (*                                                                       *)
13 (*************************************************************************)
14
15 (* $Id: searchid.mli 5044 2002-07-25 22:51:47Z garrigue $ *)
16
17 val start_env : Env.t ref
18 val module_list : string list ref
19 val longident_of_path :  Path.t ->Longident.t
20
21 type pkind =
22     Pvalue
23   | Ptype
24   | Plabel
25   | Pconstructor
26   | Pmodule
27   | Pmodtype
28   | Pclass
29   | Pcltype
30
31 val string_of_kind :  pkind -> string
32
33 exception Error of int * int
34
35 val search_string_type :
36       string -> mode:[`Exact|`Included] -> (Longident.t * pkind) list
37 val search_pattern_symbol : string -> (Longident.t * pkind) list
38 val search_string_symbol : string -> (Longident.t * pkind) list
39
40 val search_structure :
41     Parsetree.structure ->
42     name:string -> kind:pkind -> prefix:string list -> int
43 val search_signature :
44     Parsetree.signature ->
45     name:string -> kind:pkind -> prefix:string list -> int