build: skip checking for networks source directories
[mldonkey.git] / src / utils / lib / indexer2.mli
blob0520842180e24f3150c9a1697bc8766364d8efd4
1 (* Copyright 2001, 2002 b8_bavard, b8_fee_carabine, INRIA *)
2 (*
3 This file is part of mldonkey.
5 mldonkey is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2 of the License, or
8 (at your option) any later version.
10 mldonkey is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with mldonkey; if not, write to the Free Software
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20 open Indexer
23 module FullMake (Doc : Doc) : sig
25 type index
26 val create : unit -> index
28 val add : index -> string -> Doc.t -> int -> unit
30 val clear : index -> unit
32 val filter_words : index -> string list -> unit
33 val clear_filter : index -> unit
34 val filtered : Doc.t -> bool
35 val query : index -> Doc.t query -> Doc.t array
36 val query_map : index -> Doc.t query -> Doc.t Intmap.t
38 val stats : index -> int
39 end