From: Claudio Sacerdoti Coen Date: Mon, 12 Nov 2001 11:07:33 +0000 (+0000) Subject: The stylesheet to create graphs are now applied to the result of X-Git-Tag: mlminidom_0_2_2~112 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=828d541b8ffcd78fafe2b65d4e9092a319e83d3a;p=helm.git The stylesheet to create graphs are now applied to the result of the new getempty method of the getter. --- diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js index c95c85a45..b7f351e9f 100644 --- a/helm/on-line/javascript/graphLinks.js +++ b/helm/on-line/javascript/graphLinks.js @@ -1,4 +1,4 @@ -function mkRDFURI(uri) +function mkBackwardRDFURI(uri) { var prefix = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//"; var re1 = /#xpointer\(1\/(\d+)\/(\d+)\)/; @@ -23,16 +23,12 @@ function removeXPointer(uri) } -// (use_rdf_uri==true) if the stylesheet must be applied to the -// metadata; (use_rdf_uri==false) otherwise -function mkGraphURL(uri,keys,use_rdf_uri) +function mkGraphURL(uri,keys) { var getterURL = unescape(getParam("param.getterURL")); var draw_graphURL = unescape(getParam("param.draw_graphURL")); var url= setParam(location.href,"keys",keys); - var rdfuri = mkRDFURI(uri); - url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + - (use_rdf_uri ? rdfuri : removeXPointer(uri))); + url = setParam(url,"xmluri", getterURL + 'getempty'); url = setParam(url,"param.CICURI",escape(uri)); var uri_set_size = document.uri_set_size.elements[0].value; url = setParam(url,"param.uri_set_size",uri_set_size); @@ -50,13 +46,13 @@ function mkGraphURL(uri,keys,use_rdf_uri) function mkDepURL(uri) { - return mkGraphURL(uri,"MDG",0); + return mkGraphURL(uri,"MDG"); } function mkMetaURL(uri) { - return mkGraphURL(uri,"MMG",1); + return mkGraphURL(uri,"MMG"); } function mkCICURL(uri) @@ -73,7 +69,7 @@ function mkCICURL(uri) function mkMetaTheoryURL(uri) { - var rdfuri = mkRDFURI(uri); + var rdfuri = mkBackwardRDFURI(uri); var getterURL = getParam("param.getterURL"); var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys())); url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);