Blame browser/searchid.mli
|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* OCaml LablTk library *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Jacques Garrigue, Kyoto University RIMS *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Copyright 1999 Institut National de Recherche en Informatique et *)
|
|
Packit |
bd2e5d |
(* en Automatique and Kyoto University. All rights reserved. *)
|
|
Packit |
bd2e5d |
(* This file is distributed under the terms of the GNU Library *)
|
|
Packit |
bd2e5d |
(* General Public License, with the special exception on linking *)
|
|
Packit |
bd2e5d |
(* described in file ../../../LICENSE. *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* $Id$ *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val start_env : Env.t ref
|
|
Packit |
bd2e5d |
val module_list : string list ref
|
|
Packit |
bd2e5d |
val longident_of_path : Path.t ->Longident.t
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
type pkind =
|
|
Packit |
bd2e5d |
Pvalue
|
|
Packit |
bd2e5d |
| Ptype
|
|
Packit |
bd2e5d |
| Plabel
|
|
Packit |
bd2e5d |
| Pconstructor
|
|
Packit |
bd2e5d |
| Pmodule
|
|
Packit |
bd2e5d |
| Pmodtype
|
|
Packit |
bd2e5d |
| Pclass
|
|
Packit |
bd2e5d |
| Pcltype
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val string_of_kind : pkind -> string
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
exception Error of int * int
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val search_string_type :
|
|
Packit |
bd2e5d |
string -> mode:[`Exact|`Included] -> (Longident.t * pkind) list
|
|
Packit |
bd2e5d |
val search_pattern_symbol : string -> (Longident.t * pkind) list
|
|
Packit |
bd2e5d |
val search_string_symbol : string -> (Longident.t * pkind) list
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val search_structure :
|
|
Packit |
bd2e5d |
Parsetree.structure ->
|
|
Packit |
bd2e5d |
name:string -> kind:pkind -> prefix:string list -> int
|
|
Packit |
bd2e5d |
val search_signature :
|
|
Packit |
bd2e5d |
Parsetree.signature ->
|
|
Packit |
bd2e5d |
name:string -> kind:pkind -> prefix:string list -> int
|