helm/ocaml/mathql_interpreter/eval.ml

   1 (* Copyright (C) 2000, HELM Team.
   2  *
   3  * This file is part of HELM, an Hypertextual, Electronic
   4  * Library of Mathematics, developed at the Computer Science
   5  * Department, University of Bologna, Italy.
   6  *
   7  * HELM is free software; you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation; either version 2
  10  * of the License, or (at your option) any later version.
  11  *
  12  * HELM is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with HELM; if not, write to the Free Software
  19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  20  * MA  02111-1307, USA.
  21  *
  22  * For details, see the HELM World-Wide-Web page,
  23  * http://cs.unibo.it/helm/.
  24  *)
  25
  26 (*
  27  *
  28  *)
  29
  30 open Mathql;;
  31
  32 (*
  33  * conversione di un pattern
  34  *)
  35 let rec patterneval p =
  36  match p with
  37    [] -> ""
  38  | head::tail ->
  39     let h = match head with
  40                MQString (s) -> Str.global_replace (Str.regexp "\.") "\\\\\." s
  41             |  MQSlash -> "/"
  42             |  MQAnyChr -> "[^/]?"
  43             |  MQAst -> "[^/]*"
  44             |  MQAstAst -> ".*"
  45     in
  46      h ^ (patterneval tail)
  47 ;;
  48
  49 (*
  50  * conversione di un fragment identifier
  51  *)
  52 let fieval fi =
  53  match fst fi with
  54     None -> ""
  55  |  Some i ->
  56      let s = "#xpointer\\\\(1/" ^ string_of_int (i) in
  57       match snd fi with
  58          None ->
  59           s ^ "\\\\)"
  60       |  Some j ->
  61           s ^ "/" ^ string_of_int j ^ "\\\\)"
  62 ;;
  63
  64 (*
  65  * valuta l'estensione
  66  *
  67  * 20/05/2002: non piu' necessario: l'estensione fa eventualmente
  68  * parte del pattern precedente
  69  *)
  70 let exteval ext =
  71  match ext with
  72     "" -> ""
  73  |  _  -> ("\." ^ ext)
  74 ;;
  75
  76 (*
  77  * valuta il preambolo
  78  *)
  79 let preeval p =
  80  p
  81 ;;
  82
  83 (*
  84  * trasforma un pattern MathQL in un pattern postgresql
  85  *
  86  * si utilizzano espressioni regolari POSIX anziche' l'operatore
  87  * SQL standard LIKE perche' MathQL prevede esperssioni con "*"
  88  * e con "**".
  89  *)
  90 let pattern_match preamble pattern fragid =
  91  " ~ '" ^ (preeval preamble) ^ ":/" ^ (patterneval pattern) ^ (fieval fragid) ^ "'"
  92 ;;
  93