X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2FgraphLinks.js;h=7e3199802dd972311870ae61e76869eb621c0958;hb=c5d5bf37b1e4c4b9b499ed2cbfe27cf2ec181944;hp=85e9fbde71e3fb9d5af54d70aa72cea6ccd84ebc;hpb=f05cab6b58d1706d7a9587b7cca4cad4fce7ff49;p=helm.git

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index 85e9fbde7..7e3199802 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,38 +23,36 @@ 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,use_default_uri_set_size)
+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 =
-    use_default_uri_set_size ? -1 : document.uri_set_size.elements[0].value;
-   if (uri_set_size > 0)
-    url = setParam(url,"param.uri_set_size",uri_set_size);
+   var uri_set_size = document.uri_set_size.elements[0].value;
+   url = setParam(url,"param.uri_set_size",uri_set_size);
+
+   // The generated URL is sometimes too long for I.E.
+   // So it is now better to remove some unuseful pararams from the inner URL
+   url = dropParam(url,"param.processorURL");
+
    url = draw_graphURL + 'draw?url=' + escape(url);
    var url2 = setParam(location.href,"keys","MGL,RT");
    url2 = setParam(url2,"xmluri",escape(url));
-   if (uri_set_size > 0)
-    url2 = setParam(url2,"param.uri_set_size",uri_set_size);
+   url2 = setParam(url2,"param.uri_set_size",uri_set_size);
    return url2;
 }
 
-function mkDepURL(uri,use_default_uri_set_size)
+function mkDepURL(uri)
 {
-   return mkGraphURL(uri,"MDG",0,use_default_uri_set_size);
+   return mkGraphURL(uri,"MDG");
 }
 
 
-function mkMetaURL(uri,use_default_uri_set_size)
+function mkMetaURL(uri)
 {
-   return mkGraphURL(uri,"MMG",1,use_default_uri_set_size);
+   return mkGraphURL(uri,"MMG");
 }
 
 function mkCICURL(uri)
@@ -68,3 +66,12 @@ function mkCICURL(uri)
    url = interfaceURL + "?url=" + escape(url);
    return url;
 }
+
+function mkMetaTheoryURL(uri)
+{
+   var rdflyURL = "http://mowgli.cs.unibo.it:58086/";
+   var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
+   url = setParam(url,"param.embedkeys", getEmbedKeys());
+   url = setParam(url,"xmluri", rdflyURL + "get%3Fkind%3Dbackward%26object%3D" + uri);
+   return url;
+}