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 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147
|
(*
* bibtex2html - A BibTeX to HTML translator
* Copyright (C) 1997-2000 Jean-Christophe Fillitre 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).
*)
(*i $Id: condition.ml,v 1.9 2001/02/21 09:51:52 filliatr Exp $ i*)
open Printf;;
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
;;
exception Unavailable;;
let evaluate_constante entrytype key fields = function
Key -> key
| Entrytype -> entrytype
| Field(f) ->
begin
try
match List.assoc f fields with
| [Bibtex.String(v)] -> Latex_accents.normalize v
| [Bibtex.Id(v)] -> v
| _ -> raise Unavailable
with
Not_found -> raise Unavailable
end
| Cte(x) -> Latex_accents.normalize x
;;
let eval_comp v1 op v2 =
match op with
"=" -> v1 = v2
| "<>" -> v2 <> v2
| _ ->
let n1 = int_of_string v1
and n2 = int_of_string v2 in
match op with
">" -> n1 > n2
| "<" -> n1 < n2
| ">=" -> n1 >= n2
| "<=" -> n1 <= n2
| _ -> assert false
;;
let rec evaluate_rec entrytype key fields = function
| True -> true
| False -> false
| And(c1,c2) ->
if evaluate_rec entrytype key fields c1
then evaluate_rec entrytype key fields c2
else false
| Or(c1,c2) ->
if evaluate_rec entrytype key fields c1
then true
else evaluate_rec entrytype key fields c2
| Not(c) -> not (evaluate_rec entrytype key fields c)
| Comp(c1,op,c2) ->
begin
try
let v1 = evaluate_constante entrytype key fields c1
and v2 = evaluate_constante entrytype key fields c2 in
try
eval_comp v1 op v2
with
Failure "int_of_string" ->
if not !Options.quiet then begin
eprintf "Warning: cannot compare non-numeric values ";
eprintf "%s and %s in entry %s\n" v1 v2 key
end;
false
with
Unavailable -> false
end
| Match(c,r) ->
begin
try
let v = evaluate_constante entrytype key fields c in
let _ = Str.search_forward r v 0 in true
with
Not_found -> false
| Unavailable -> false
end
| Exists(f) ->
begin
try
let _ = List.assoc f fields in true
with
Not_found -> false
end
;;
let evaluate_cond entrytype key fields c =
try
evaluate_rec entrytype key fields c
with
Not_found -> assert false
;;
let string_of_constante = function
Key -> "(key)"
| Entrytype -> "(entrytype)"
| Field(f) -> f
| Cte(x) -> "\"" ^ x ^ "\""
;;
let rec print = function
| True -> printf "true"
| False -> printf "false"
| And(c1,c2) -> printf "("; print c1; printf " and "; print c2; printf ")"
| Or(c1,c2) -> printf "("; print c1; printf " or "; print c2; printf ")"
| Not(c) -> printf "(not "; print c; printf ")"
| Comp(c1,op,c2) ->
printf "%s %s %s" (string_of_constante c1) op (string_of_constante c2)
| Match(c,s) -> printf "%s : (regexp)" (string_of_constante c)
| Exists(f) -> printf "exists %s" f
;;
|