helm/on-line/javascript/graphLinks.js

   1 function mkRDFURI(uri)
   2 {
   3    var prefix = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//";
   4    var re1 = /#xpointer\(1\/(\d+)\/(\d+)\)/;
   5    var re2 = /#xpointer\(1\/(\d+)\)/;
   6    // Just one of the following replace will do something
   7    uri = uri.replace(re1,",$1,$2");
   8    uri = uri.replace(re2,",$1");
   9
  10    return (prefix + uri);
  11 }
  12
  13 function removeXPointer(uri)
  14 {
  15    //var re = /#xpointer(\.*)/;
  16    // CSC: Why the r.e.s below work and the one above does not?
  17    var re1 = /#xpointer\(1\/(\d+)\/(\d+)\)/;
  18    var re2 = /#xpointer\(1\/(\d+)\)/;
  19    var res = uri.replace(re1,"");
  20    res = res.replace(re2,"");
  21
  22    return res;
  23 }
  24
  25
  26 // (use_rdf_uri==true) if the stylesheet must be applied to the
  27 // metadata; (use_rdf_uri==false) otherwise
  28 function mkGraphURL(uri,keys,use_rdf_uri,use_default_uri_set_size)
  29 {
  30    var getterURL = unescape(getParam("param.getterURL"));
  31    var draw_graphURL = unescape(getParam("param.draw_graphURL"));
  32    var url= setParam(location.href,"keys",keys);
  33    var rdfuri = mkRDFURI(uri);
  34    url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' +
  35     (use_rdf_uri ? rdfuri : removeXPointer(uri)));
  36    url = setParam(url,"param.CICURI",escape(uri));
  37    var uri_set_size =
  38     use_default_uri_set_size ? -1 : document.uri_set_size.elements[0].value;
  39    if (uri_set_size > 0)
  40     url = setParam(url,"param.uri_set_size",uri_set_size);
  41    url = draw_graphURL + 'draw?url=' + escape(url);
  42    var url2 = setParam(location.href,"keys","MGL,RT");
  43    url2 = setParam(url2,"xmluri",escape(url));
  44    if (uri_set_size > 0)
  45     url2 = setParam(url2,"param.uri_set_size",uri_set_size);
  46    return url2;
  47 }
  48
  49 function mkDepURL(uri,use_default_uri_set_size)
  50 {
  51    return mkGraphURL(uri,"MDG",0,use_default_uri_set_size);
  52 }
  53
  54
  55 function mkMetaURL(uri,use_default_uri_set_size)
  56 {
  57    return mkGraphURL(uri,"MMG",1,use_default_uri_set_size);
  58 }
  59
  60 function mkCICURL(uri)
  61 {
  62    var rawuri = removeXPointer(uri);
  63    var getterURL = getParam("param.getterURL");
  64    var interfaceURL = unescape(getParam("param.interfaceURL"));
  65    var url= setParam(location.href,"keys",getParam("param.keys"));
  66    url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + rawuri);
  67    url = setParam(url,"param.CICURI",rawuri);
  68    url = interfaceURL + "?url=" + escape(url);
  69    return url;
  70 }
  71
  72 function mkMetaTheoryURL(uri)
  73 {
  74    var rdfuri = mkRDFURI(uri);
  75    var getterURL = getParam("param.getterURL");
  76    var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
  77    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
  78    return url;
  79 }