From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 24 Oct 2001 17:31:30 +0000 (+0000)
Subject: Code of metadataLib.xsl to share with makeGraphLinks.xsl extracted to
X-Git-Tag: v0_1_3~45
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=91d0b53ce03e139409f7f210a4128f06d0359567;p=helm.git

Code of metadataLib.xsl to share with makeGraphLinks.xsl extracted to
graphLinks.js
---

diff --git a/helm/on-line/javascript/Makefile b/helm/on-line/javascript/Makefile
index a2e28081b..de7e0aa76 100644
--- a/helm/on-line/javascript/Makefile
+++ b/helm/on-line/javascript/Makefile
@@ -1,5 +1,5 @@
 
-TARGETS = control.js_xml defaults.js_xml utils.js_xml
+TARGETS = control.js_xml defaults.js_xml utils.js_xml graphLinks.js_xml
 
 .SUFFIXES:
 .SUFFIXES: .js .js_xml
diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 3384875c6..01ee82f2a 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -154,10 +154,13 @@ function makeURL(type,uri,cicflags,typesflags)
   
   if (output == "raw") {
     var ext = "";
+    var rdfprefix = "";
     if (format == "types") ext = ".types"
-    else if (format == "ann") ext = ".ann";
-    url = getterURL + "getxml?uri=" + uri + ext + "&format=" + mode_list[5] +
-     "&patch_dtd=" + mode_list[6];
+    else if (format == "ann") ext = ".ann"
+    else if (format == "fwd") rdfprefix = "helm:rdf:www.cs.unibo.it/helm/rdf/forward//"
+    else if (format == "bwd") rdfprefix = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//";
+    url = getterURL + "getxml?uri=" + rdfprefix + uri + ext + "&format=" +
+          mode_list[5] + "&patch_dtd=" + mode_list[6];
   } else {
     if (format == "html" && type == "cic") {
       //Important note: do not modify this function without modifying