]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/mk_html.pl
ocaml 3.09 transition
[helm.git] / helm / graphs / tools / mk_html.pl
index 5c1daa5b87e2592b304af2de5a3071b542195cf3..a928cd5ade5c4cfafdf79afb79f71e90a20838ad 100755 (executable)
@@ -3,72 +3,25 @@
 use URI::Escape;
 
 print <<EOT;
-<html>
+<?xml version="1.0"?>
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:subst="http://www.cs.unibo.it/helm/subst">
  <head>
   <title>Graph</title>
-
-
-<script>
-function setParam(url,name,value)
-{
-  var urla = url.split("?");
-  var search = urla[1];
-  var args = search.split("&");
-
-  for (var i = 0 ; i < args.length ; i++) {
-     var couple = args[i].split("=");
-     if (couple[0] == name) args[i] = name + "=" + value;
-  }
-
-
-  return (urla[0] + "?" + args.join("&"));
-}
-
-function getParam0(search,name)
-{
-  var args = search.split("&");
-  var value = "???";
-
-  for (var i = 0 ; i < args.length ; i++) {
-     var couple = args[i].split("=");
-     if (couple[0] == name) value = couple[1];
-  }
-
-  if (value == "???") value = getDefaultParam(name);
-
-  return value;
-}
-
-function getParam(name)
-{
-  return getParam0(location.search.slice(1),name);
-}
-
-function getParam3(from,name)
-{
-  //var url = unescape(getParam('xmluri'));
-  //var tmp = url.split("?");
-  var tmp = from.split("?");
-
-  if (tmp.length > 1)
-     return getParam0(tmp[1],name);
-  else
-     return getDefaultParam(name);
-}
-</script>
-
-
  </head>
  <body bgcolor="white" onLoad="window.focus()">
   <script>
-   var draw_graph_url =
-    location.protocol + '//' + location.host;
-   document.write('<img border="false" src="' + draw_graph_url + '/get_gif?pid=$ARGV[0]" usemap="#graphe">');
+   var draw_graphURL = "<subst:draw_graphURL/>";
+<![CDATA[
+   document.write('<img border="false" src="' + draw_graphURL + 'get_gif?pid=$ARGV[0]" usemap="#graphe">');
+]]>
   </script>
   <map name="graphe">
 EOT
 
+my $count = 0;
+
 while (<STDIN>) {
+ $count++;
  my (undef,$point1,$point2,$uri) = split;
  my ($point1x,$point1y) = split /,/,$point1;
  my ($point2x,$point2y) = split /,/,$point2;
@@ -77,64 +30,18 @@ while (<STDIN>) {
  $point1x = substr($point1x,1);
  $point2x = substr($point2x,1);
 
-# Linea corretta se c'e' il menu
-# print <<EOT;
-#   <area shape="rect" href="$url" coords="$point1x,$point2y,$point2x,$point1y">
-#EOT
-
-# In assenza di menu
- my $point_1_5_x = $point1x +   ($point2x - $point1x)/5;
- my $point_2_5_x = $point1x + 2*($point2x - $point1x)/5;
- my $point_3_5_x = $point1x + 3*($point2x - $point1x)/5;
- my $point_4_5_x = $point1x + 4*($point2x - $point1x)/5;
- print <<EOT;
-  <script>
-   var iurl = unescape(getParam("url"));
-   var getterURL = getParam3(iurl,"param.getterURL");
-   var interfaceURL = unescape(getParam3(iurl,"param.interfaceURL"));
-   var url = setParam(iurl,"keys","MDG");
-   url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D$uri");
-   url = setParam(url,"param.CICURI","$uri");
-   url = setParam(url,"param.RDFURI","helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri");
-   var draw_graph_url =
-    location.protocol + '//' + location.host + location.pathname;
-   url = draw_graph_url + "?url=" + escape(url);
-   document.write('<area shape="rect" href="' + url + '" coords="$point1x,$point2y,$point_1_5_x,$point1y">');
-  </script>
-EOT
  print <<EOT;
-  <script>
-   var iurl = unescape(getParam("url"));
-   var getterURL = getParam3(iurl,"param.getterURL");
-   var interfaceURL = unescape(getParam3(iurl,"param.interfaceURL"));
-   var url = setParam(iurl,"keys","d_c%2CC1%2CHC2%2CL");
-   url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D$uri");
-   url = setParam(url,"param.CICURI","$uri");
-   url = setParam(url,"param.RDFURI","helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri");
-   url = interfaceURL + "?url=" + escape(url);
-   document.write('<area shape="rect" href="' + url + '" coords="$point_2_5_x,$point2y,$point_3_5_x,$point1y" target="cic">');
-  </script>
-EOT
- print <<EOT;
-  <script>
-   var iurl = unescape(getParam("url"));
-   var getterURL = getParam3(iurl,"param.getterURL");
-   var interfaceURL = unescape(getParam3(iurl,"param.interfaceURL"));
-   var url = setParam(iurl,"keys","MMG");
-   url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3Dhelm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri");
-   url = setParam(url,"param.CICURI","$uri");
-   url = setParam(url,"param.RDFURI","helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri");
-   var draw_graph_url =
-    location.protocol + '//' + location.host + location.pathname;
-   url = draw_graph_url + "?url=" + escape(url);
-   document.write('<area shape="rect" href="' + url + '" coords="$point_4_5_x,$point2y,$point2x,$point1y">');
-  </script>
+   <area shape="rect" href="$uri" coords="$point1x,$point2y,$point2x,$point1y" />
 EOT
 }
 
 print <<EOT;
    </map>
-  </img>
+  <script>
+<![CDATA[
+   document.write('</img>');
+]]>
+  </script>
  </body>
 </html>
 EOT