From: Claudio Sacerdoti Coen 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