2 * Copyright 2012, INRIA
3 * Julia Lawall, Gilles Muller
4 * Copyright 2010-2011, INRIA, University of Copenhagen
5 * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
6 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
7 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
8 * This file is part of Coccinelle.
10 * Coccinelle is free software: you can redistribute it and/or modify
11 * it under the terms of the GNU General Public License as published by
12 * the Free Software Foundation, according to version 2 of the License.
14 * Coccinelle is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 * GNU General Public License for more details.
19 * You should have received a copy of the GNU General Public License
20 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
22 * The authors reserve the right to distribute this or future versions of
23 * Coccinelle under other licenses.
27 #
0 "./externalanalysis.mli"
28 module Int64Set
: Set.S
with type elt
= int64
30 type bound
= int64
option
34 | IntBounds
of bound
* bound
37 val show_bound
: bound
-> string
38 val show_result
: result
-> string
40 val load_external_results
: string -> unit
41 val find_results
: Common.filename
-> Ast_c.posl
-> Ast_c.posl
-> result list
43 val intersect_results
: result
-> result
-> result
option
46 (result list
-> bool) -> Common.filename
-> Ast_c.posl
-> Ast_c.posl
-> bool
48 (result
-> bool) -> Common.filename
-> Ast_c.posl
-> Ast_c.posl
-> bool
50 val has_any_result
: Common.filename
-> Ast_c.posl
-> Ast_c.posl
-> bool
52 (result
-> bool) -> Common.filename
-> Ast_c.posl
-> Ast_c.posl
-> bool
54 (result
-> bool) -> Common.filename
-> Ast_c.posl
-> Ast_c.posl
-> bool
56 (result
-> bool) -> Common.filename
-> Ast_c.posl
-> Ast_c.posl
-> bool
58 val single_int
: int64
-> result
-> bool
59 val contains_int
: int64
-> result
-> bool
60 val has_only_nul
: Common.filename
-> Ast_c.posl
-> Ast_c.posl
-> bool
61 val has_also_nul
: Common.filename
-> Ast_c.posl
-> Ast_c.posl
-> bool
62 val has_also_int
: int64
-> Common.filename
-> Ast_c.posl
-> Ast_c.posl
-> bool