]> matita.cs.unibo.it Git - helm.git/commitdiff
Code of metadataLib.xsl to share with makeGraphLinks.xsl extracted to
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 17:31:30 +0000 (17:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 17:31:30 +0000 (17:31 +0000)
graphLinks.js

helm/on-line/javascript/Makefile
helm/on-line/javascript/control.js

index a2e28081b1e905ecdc6dca279717e496d1766d95..de7e0aa76f6c7b417b91c85c2d6fed0e34a24167 100644 (file)
@@ -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
index 3384875c6aedb950c2bb7a8d32fa38b7d691b0a0..01ee82f2a7782727664ef76f2cc462e69c681f41 100644 (file)
@@ -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