This commit was manufactured by cvs2svn to create branch 'scripts'.

[helm.git] / helm / ocaml / mathql / mathQL.ml

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
deleted file mode 100644 (file)
index d18ebbc..0000000
--- a/helm/ocaml/mathql/mathQL.ml
+++ /dev/null
@@ -1,136 +0,0 @@
-(* 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://www.cs.unibo.it/helm/.
- *)
-
-(******************************************************************************)
-(*                                                                            *)
-(*                               PROJECT HELM                                 *)
-(*                                                                            *)
-(*                     Ferruccio Guidi <fguidi@cs.unibo.it>                   *)
-(*                     Domenico Lordi  <lordi@cs.unibo.it>                    *)
-(*                                 30/04/2002                                 *)
-(*                                                                            *)
-(*                                                                            *)
-(******************************************************************************)
-
-exception MQInvalidURI of string
-exception MQConnectionFailed of string
-exception MQInvalidConnection of string
-
-(* Input types **************************************************************)
-(* main type is mquery                                                      *)
-
-type mqrvar = string (* name *)
-
-type mqsvar = string (* name *)
-
-type mqlvar = string (* name *)
-
-type mqpt = string option (* PROTOCOL TOKENS *)
-                          (* Some = constant string *)
-                          (* None = single star: '*' *)
-
-type mqbt =               (* BODY TOKENS *)
-   | MQBC of string       (* a constant string *)
-   | MQBD                 (* a slash: '/' *)
-   | MQBQ                 (* a question mark: '?' *)
-   | MQBS                 (* a single star: '*' *)
-   | MQBSS                (* a double star: '**' *)
-
-type mqft =               (* FRAGMENT TOKENS *)
-   | MQFC of int          (* a constant integer *)
-   | MQFS                 (* a single star: '*' *)
-   | MQFSS                (* a double star: '**' *)
-
-type mquref = UriManager.uri * (int list) (* uri, fragment identifier *)
-
-type mqtref = mqpt * (mqbt list) * (mqft list) (* tokenized pattern reference *)
-
-type mqfunc =
-   | MQName         (* Name *)
-   | MQTheory       (* theory *)
-   | MQTitle        (* DC properties *)
-   | MQContributor
-   | MQCreator
-   | MQPublisher
-   | MQSubject
-   | MQDescription
-   | MQDate
-   | MQType
-   | MQFormat
-   | MQIdentifier
-   | MQLanguage
-   | MQRelation
-   | MQSource
-   | MQCoverage
-   | MQRights
-   | MQInstitution
-   | MQContact
-   | MQFirstVersion 
-   | MQModified
-
-type mqstring =
-   | MQCons of string          (* constant *)
-   | MQFunc of mqfunc * mqrvar (* function, rvar *)
-   | MQStringRVar of mqrvar    (* rvar *)
-   | MQStringSVar of mqsvar    (* svar *)
-   | MQMConclusion             (* main conclusion *)
-   | MQConclusion              (* inner conclusion *)
-
-type mqorder =
-   | MQAsc     (* ascending order *)
-   | MQDesc    (* descending order *)
-
-type mqbool =
-   | MQTrue                        (* true *)
-   | MQFalse                       (* false *)
-   | MQAnd of mqbool * mqbool      (* conjunction *)
-   | MQOr of mqbool * mqbool       (* disjunction *)
-   | MQNot of mqbool               (* negation *)
-   | MQIs of mqstring * mqstring   (* case-sensitive comparison  *)
-   | MQSetEqual of mqlist * mqlist (* the two lists denote the same set *)
-   | MQSubset of mqlist * mqlist   (* the two lists denote two sets, the 1st subset of the 2nd *)
-
-and mqlist =
-   | MQReference of string list              (* reference list *)
-   | MQPattern of mqtref                     (* pattern *)
-   | MQListLVar of mqlvar                    (* lvar *)
-   | MQListRVar of mqrvar                    (* rvar *)
-   | MQSelect of mqrvar * mqlist * mqbool    (* rvar, list, boolean *) 
-   | MQUse of mqlist * mqsvar                (* list, Position attribute *)
-   | MQUsedBy of mqlist * mqsvar             (* list, Position attribute *)
-   | MQUnion of mqlist * mqlist              (* operands *)
-   | MQIntersect of mqlist * mqlist          (* operands *)
-   | MQSortedBy of mqlist * mqorder * mqfunc (* ordering *)
-   | MQDiff of mqlist * mqlist               (* set difference  *)
-   | MQLetIn of mqlvar * mqlist * mqlist     (* explicit lvar assignment *)
-
-type mquery =
-   | MQList of mqlist
-   
-(* Output types *************************************************************)
-(* main type is mqresult                                                    *)
-
-type mqresult =
-   | MQRefs of string list