X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2FgraphLinks.js;fp=helm%2Fon-line%2Fjavascript%2FgraphLinks.js;h=0000000000000000000000000000000000000000;hp=a01a6f6d642437571e3884e4cd19edf1863fc5d4;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
deleted file mode 100644
index a01a6f6d6..000000000
--- a/helm/on-line/javascript/graphLinks.js
+++ /dev/null
@@ -1,78 +0,0 @@
-function mkBackwardRDFURI(uri)
-{
-   var prefix = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//";
-   var re1 = /#xpointer\(1\/(\d+)\/(\d+)\)/;
-   var re2 = /#xpointer\(1\/(\d+)\)/;
-   // Just one of the following replace will do something
-   uri = uri.replace(re1,",$1,$2");
-   uri = uri.replace(re2,",$1");
-
-   return (prefix + uri);
-}
-
-function removeXPointer(uri)
-{
-   //var re = /#xpointer(\.*)/;
-   // CSC: Why the r.e.s below work and the one above does not?
-   var re1 = /#xpointer\(1\/(\d+)\/(\d+)\)/;
-   var re2 = /#xpointer\(1\/(\d+)\)/;
-   var res = uri.replace(re1,"");
-   res = res.replace(re2,"");
-
-   return res;
-}
-
-
-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);
-   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);
-
-   // 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));
-   url2 = setParam(url2,"param.uri_set_size",uri_set_size);
-   return url2;
-}
-
-function mkDepURL(uri)
-{
-   return mkGraphURL(uri,"MDG");
-}
-
-
-function mkMetaURL(uri)
-{
-   return mkGraphURL(uri,"MMG");
-}
-
-function mkCICURL(uri)
-{
-   var rawuri = removeXPointer(uri);
-   var getterURL = getParam("param.getterURL");
-   var interfaceURL = unescape(getParam("param.interfaceURL"));
-   var url= setParam(location.href,"keys",getParam("param.keys"));
-   url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + rawuri);
-   url = setParam(url,"param.CICURI",rawuri);
-   url = interfaceURL + "?url=" + escape(url);
-   return url;
-}
-
-function mkMetaTheoryURL(uri)
-{
-   var rdfuri = mkBackwardRDFURI(uri);
-   var getterURL = getParam("param.getterURL");
-   var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
-   url = setParam(url,"param.embedkeys", getEmbedKeys());
-   url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
-   return url;
-}