X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;h=56fa38ad928d0b9017ac58f0ebaad8b26d57f9f4;hb=8abd42ec1af0d5daef1d026ec550b49b07de8340;hp=240881771ff342c7d3fdd47699aca9405c7ecc34;hpb=cd7145b8ad4118a9854eaff0feced9352ab87e94;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 240881771..56fa38ad9 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -1,3 +1,27 @@
+(* Copyright (C) 2000, HELM Team.
+ * 
+ * This file is part of HELM, an Hypertextual, Electronic
+ * Library of Mathematics, developed at the Computer Science
+ * Department, University of Bologna, Italy.
+ * 
+ * HELM is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ * 
+ * HELM 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 for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with HELM; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
+ * MA  02111-1307, USA.
+ * 
+ * For details, see the HELM World-Wide-Web page,
+ * http://cs.unibo.it/helm/.
+ *)
 
 (*
  * implementazione del'interprete MathQL
@@ -9,9 +33,28 @@ open Dbconn;;
 open Pattern;;
 open Union;;
 open Intersect;;
+open Diff;;
+open Sortedby;;
 open Use;;
 open Select;;
 
+let fi_to_string fi =
+ match fi with
+    (None, _)   ->
+     ""
+ |  (Some i, y) ->
+     "#xpointer(1/"       ^
+     string_of_int i      ^
+     (
+      match y with
+         None   ->
+          ""
+      |  Some j ->
+          "/" ^ (string_of_int j)
+     )                    ^
+     ")"
+;;
+
 (*
  * inizializzazione della connessione al database
  *)
@@ -33,10 +76,15 @@ let rec execute_ex q =
        use_ex (execute_ex alist) asvar "refObj"
    |  MQUse (alist, asvar) ->
        use_ex (execute_ex alist) asvar "backPointer"
-   |  MQPattern (apreamble, apattern, ext, afragid) ->
-       pattern_ex apreamble apattern ext afragid
+   |  MQPattern (apreamble, apattern, afragid) ->
+       let _ = print_endline ("*********" ^ (fi_to_string afragid)); flush stdout in
+       pattern_ex apreamble apattern afragid
    |  MQUnion (l1, l2) ->
        union_ex (execute_ex l1) (execute_ex l2)
+   |  MQDiff (l1, l2) ->
+       diff_ex (execute_ex l1) (execute_ex l2)
+   |  MQSortedBy (l, o, f) ->
+       sortedby_ex (execute_ex l) o f
    |  MQIntersect (l1, l2) ->
        intersect_ex (execute_ex l1) (execute_ex l2)
 ;;
@@ -72,14 +120,60 @@ let rec execute_ex q =
  * la uri puo' far parte del risultato.
  *)
 let xres_to_res l =
- MQRefs
-  (
-   List.map
-    List.hd
-    (List.tl l)
-  )
+ let tmp = List.map List.hd (List.tl l) in
+  MQRefs
+   (List.map
+    (function l ->
+      match Str.split (Str.regexp ":\|#\|/") l with
+         hd::tl -> (
+          match List.rev tl with
+             ")"::n::"xpointer(1"::tail    ->
+              (
+               hd,
+               List.fold_left
+                (fun par t ->
+                 match par with
+                    [] -> [MQString t] 
+                 |  _  -> (MQString t) :: MQSlash :: par
+                )
+                []
+                tail, 
+               (Some (int_of_string n), None)
+              )
+          |  ")"::n::m::"xpointer(1"::tail ->
+              (
+               hd,
+               List.fold_left
+                (fun par t ->
+                 match par with
+                    [] -> [MQString t] 
+                 |  _  -> (MQString t) :: MQSlash :: par
+                )
+                []
+                tail,
+               (Some (int_of_string m), Some (int_of_string n))
+              )
+          |  tail                          ->
+              (
+               hd,
+               List.fold_left
+                (fun par t ->
+                 match par with
+                    [] -> [MQString t] 
+                 |  _  -> (MQString t) :: MQSlash :: par
+                )
+                []
+                tail, 
+               (None, None)
+              )
+      )  
+      |  [] -> assert false
+    )
+    tmp
+   )
 ;;
 
+
 (*
  * 
  *)