1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
(**************************************************************************)
(* bibtex2html - A BibTeX to HTML translator *)
(* Copyright (C) 1997-2014 Jean-Christophe Filliâtre and Claude Marché *)
(* *)
(* This software is free software; you can redistribute it and/or *)
(* modify it under the terms of the GNU General Public *)
(* License version 2, as published by the Free Software Foundation. *)
(* *)
(* This software is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *)
(* *)
(* See the GNU General Public License version 2 for more details *)
(* (enclosed in the file GPL). *)
(**************************************************************************)
type constante =
| Key
| Entrytype
| Field of string
| Cte of string
type condition =
| True
| False
| And of condition * condition
| Or of condition * condition
| Not of condition
| Comp of constante * string * constante
| Match of constante * Str.regexp
| Exists of string
(*
[(evaluate_cond e k fields cond)] returns the boolean value of
[cond] with respect to the entry of type [e], of key [k], and fields
[fields].
*)
val evaluate_cond :
string -> string -> (string * Bibtex.atom list) list -> condition -> bool
val print : condition -> unit
|
