From 15d5b4fd06c4f74fd33576170502b1e2cf05c1e8 Mon Sep 17 00:00:00 2001 From: natile Date: Thu, 14 Nov 2002 14:50:40 +0000 Subject: [PATCH] Attribute files added. --- helm/ocaml/mathql_interpreter/attribute.cmi | Bin 0 -> 369 bytes helm/ocaml/mathql_interpreter/attribute.cmx | Bin 0 -> 534 bytes helm/ocaml/mathql_interpreter/attribute.ml | 56 ++++++++++++++++++++ helm/ocaml/mathql_interpreter/attribute.mli | 27 ++++++++++ 4 files changed, 83 insertions(+) create mode 100644 helm/ocaml/mathql_interpreter/attribute.cmi create mode 100644 helm/ocaml/mathql_interpreter/attribute.cmx create mode 100644 helm/ocaml/mathql_interpreter/attribute.ml create mode 100644 helm/ocaml/mathql_interpreter/attribute.mli diff --git a/helm/ocaml/mathql_interpreter/attribute.cmi b/helm/ocaml/mathql_interpreter/attribute.cmi new file mode 100644 index 0000000000000000000000000000000000000000..d81b9a2588a634aba1f74e2b8f30599e56b4418c GIT binary patch literal 369 zcmZ=x%*`>hw6ydzFtBWyx@;c<1H*G5HUr|_K)il|rejG-QD#zUN$P?H8!B}YVZ8X% z3Wo(74k&Ecv~j`)2Q}Zsl8itfN6n(tw9LHJ`1}Hf{|*xzm{`9)WMKHV;Q$LasydYd zpn4=F-+@X*H*A`)!Br(GKR?F-uJ;E}LKao8YFT1VX)2QDp9JK8LEZ5iO87q0b+e1R$GANcY{L$y*{r~=a$`fcb_y9+w&xs|NVjm&;T(oJ~U(UgH1=~PJM7cUf{Zdlmh_xsFOti literal 0 HcmV?d00001 diff --git a/helm/ocaml/mathql_interpreter/attribute.cmx b/helm/ocaml/mathql_interpreter/attribute.cmx new file mode 100644 index 0000000000000000000000000000000000000000..eca5ff81e27365f8463473431a31e4f22fe42144 GIT binary patch literal 534 zcmZ=x%*`>hw6u&gFtBKux@;c<1LHFW1_n1EEefO`aWF6_FlaiKloVwqm6oI~U}17t zut3Epv$(|I*H+`Oy4DXn*VtBzawjKvE?A)F3^Xk>uOzi7FEPj8-yr1v9#PrrQrFdD zWsJpV)hI7mfH2A6kU+1`>(ser_uZXmU$opQyI_HOXh~*HW=W+%cUz%RlY;x?=?5+J zGfe)ST(CeRAiuaIy(qQV;QaC6h8OufiWfx=2gI)vIJ#hgnoCl0eqNrzv-^{~xV8ip zX-_wt@-A`17NBjOAh#5!CYKnno|qk$_h41!>i~_zMcu8N7c9^UNG&Q$EY2(g8fyRe zpiS+jpJmQ*wLMRA`QHN#^-V0v2=p;9J~U(UgH1=~PJM7cUf{Zd6wvobrsi!GoDmc2 z{hP@yHm>rrQXY~Yo^O76Hu8dETgwvLbM2b4`%x`?cgbUAm;34&QoGoWss>o?Mfl>B z(T-ptu`5X*9A8J@F3=K$g?7SS_55>=r^HhFCMf@2ucCq(+NLbYv!y3A*=%#YxPDom z=?sU76BZn>f=69^d?G9s<5Mf*P0d^!92^$7I4p2-aQNOC#1*?Fu&#>h-o~Qi{|^HI D!@%UB literal 0 HcmV?d00001 diff --git a/helm/ocaml/mathql_interpreter/attribute.ml b/helm/ocaml/mathql_interpreter/attribute.ml new file mode 100644 index 000000000..2e4f8f5b4 --- /dev/null +++ b/helm/ocaml/mathql_interpreter/attribute.ml @@ -0,0 +1,56 @@ +(* 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/. + *) + +(* + * + *) + +open Dbconn;; +open Utility;; +open Intersect;; + +(* + * implementazione delle funzioni dublin core + *) +let rec attribute_ex rop path inv = function + [] -> [] + | s::tl -> let tab = List.hd path in + if (not inv) then + let res = + let c = pgc () in + let q = ("select " ^ tab ^ ".uri from " ^ tab ^ " where " ^ tab ^ ".value = '" ^ s ^ "'") in + pgresult_to_string_list (c#exec q) + in + append (res,(attribute_ex rop path inv tl)) + else + let res = + let c = pgc () in + let q = ("select " ^ tab ^ ".value from " ^ tab ^ " where " ^ tab ^ ".uri = '" ^ s ^ "'") in + pgresult_to_string_list (c#exec q) + in + append (res,(attribute_ex rop path inv tl)) + +;; + diff --git a/helm/ocaml/mathql_interpreter/attribute.mli b/helm/ocaml/mathql_interpreter/attribute.mli new file mode 100644 index 000000000..149d6fcff --- /dev/null +++ b/helm/ocaml/mathql_interpreter/attribute.mli @@ -0,0 +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/. + *) + +val attribute_ex: MathQL.refine_op -> MathQL.path -> bool -> MathQL.value -> MathQL.value + -- 2.39.2