helm/graphs/tools/mk_html.pl

   1 #!/usr/bin/perl
   2
   3 use URI::Escape;
   4
   5 print <<EOT;
   6 <html>
   7  <head>
   8   <title>Graph</title>
   9
  10
  11 <script>
  12 function setParam(url,name,value)
  13 {
  14   var urla = url.split("?");
  15   var search = urla[1];
  16   var args = search.split("&");
  17
  18   for (var i = 0 ; i < args.length ; i++) {
  19      var couple = args[i].split("=");
  20      if (couple[0] == name) args[i] = name + "=" + value;
  21   }
  22
  23
  24   return (urla[0] + "?" + args.join("&"));
  25 }
  26
  27 function getParam0(search,name)
  28 {
  29   var args = search.split("&");
  30   var value = "???";
  31
  32   for (var i = 0 ; i < args.length ; i++) {
  33      var couple = args[i].split("=");
  34      if (couple[0] == name) value = couple[1];
  35   }
  36
  37   if (value == "???") value = getDefaultParam(name);
  38
  39   return value;
  40 }
  41
  42 function getParam(name)
  43 {
  44   return getParam0(location.search.slice(1),name);
  45 }
  46
  47 function getParam3(from,name)
  48 {
  49   //var url = unescape(getParam('xmluri'));
  50   //var tmp = url.split("?");
  51   var tmp = from.split("?");
  52
  53   if (tmp.length > 1)
  54      return getParam0(tmp[1],name);
  55   else
  56      return getDefaultParam(name);
  57 }
  58 </script>
  59
  60
  61  </head>
  62  <body bgcolor="white" onLoad="window.focus()">
  63   <script>
  64    var draw_graph_url =
  65     location.protocol + '//' + location.host;
  66    document.write('<img border="false" src="' + draw_graph_url + '/get_gif?pid=$ARGV[0]" usemap="#graphe">');
  67   </script>
  68   <map name="graphe">
  69 EOT
  70
  71 while (<STDIN>) {
  72  my (undef,$point1,$point2,$uri) = split;
  73  my ($point1x,$point1y) = split /,/,$point1;
  74  my ($point2x,$point2y) = split /,/,$point2;
  75  $point1y = substr($point1y,0,-1);
  76  $point2y = substr($point2y,0,-1);
  77  $point1x = substr($point1x,1);
  78  $point2x = substr($point2x,1);
  79
  80 # Linea corretta se c'e' il menu
  81 # print <<EOT;
  82 #   <area shape="rect" href="$url" coords="$point1x,$point2y,$point2x,$point1y">
  83 #EOT
  84
  85 # In assenza di menu
  86  my $point_1_5_x = $point1x +   ($point2x - $point1x)/5;
  87  my $point_2_5_x = $point1x + 2*($point2x - $point1x)/5;
  88  my $point_3_5_x = $point1x + 3*($point2x - $point1x)/5;
  89  my $point_4_5_x = $point1x + 4*($point2x - $point1x)/5;
  90  print <<EOT;
  91   <script>
  92    var iurl = unescape(getParam("url"));
  93    var getterURL = getParam3(iurl,"param.getterURL");
  94    var interfaceURL = unescape(getParam3(iurl,"param.interfaceURL"));
  95    var url = setParam(iurl,"keys","MDG");
  96    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D$uri");
  97    url = setParam(url,"param.CICURI","$uri");
  98    url = setParam(url,"param.RDFURI","helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri");
  99    var draw_graph_url =
 100     location.protocol + '//' + location.host + location.pathname;
 101    url = draw_graph_url + "?url=" + escape(url);
 102    document.write('<area shape="rect" href="' + url + '" coords="$point1x,$point2y,$point_1_5_x,$point1y">');
 103   </script>
 104 EOT
 105  print <<EOT;
 106   <script>
 107    var iurl = unescape(getParam("url"));
 108    var getterURL = getParam3(iurl,"param.getterURL");
 109    var interfaceURL = unescape(getParam3(iurl,"param.interfaceURL"));
 110    var url = setParam(iurl,"keys","d_c%2CC1%2CHC2%2CL");
 111    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D$uri");
 112    url = setParam(url,"param.CICURI","$uri");
 113    url = setParam(url,"param.RDFURI","helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri");
 114    url = interfaceURL + "?url=" + escape(url);
 115    document.write('<area shape="rect" href="' + url + '" coords="$point_2_5_x,$point2y,$point_3_5_x,$point1y" target="cic">');
 116   </script>
 117 EOT
 118  print <<EOT;
 119   <script>
 120    var iurl = unescape(getParam("url"));
 121    var getterURL = getParam3(iurl,"param.getterURL");
 122    var interfaceURL = unescape(getParam3(iurl,"param.interfaceURL"));
 123    var url = setParam(iurl,"keys","MMG");
 124    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3Dhelm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri");
 125    url = setParam(url,"param.CICURI","$uri");
 126    url = setParam(url,"param.RDFURI","helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri");
 127    var draw_graph_url =
 128     location.protocol + '//' + location.host + location.pathname;
 129    url = draw_graph_url + "?url=" + escape(url);
 130    document.write('<area shape="rect" href="' + url + '" coords="$point_4_5_x,$point2y,$point2x,$point1y">');
 131   </script>
 132 EOT
 133 }
 134
 135 print <<EOT;
 136    </map>
 137   </img>
 138  </body>
 139 </html>
 140 EOT