]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/control.js
Code of metadataLib.xsl to share with makeGraphLinks.xsl extracted to
[helm.git] / helm / on-line / javascript / control.js
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