Graph

X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2Fmk_html.pl;h=a928cd5ade5c4cfafdf79afb79f71e90a20838ad;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=5c1daa5b87e2592b304af2de5a3071b542195cf3;hpb=e85bc43c20254aa85463748eeb95e2e60ed0ccf1;p=helm.git diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl index 5c1daa5b8..a928cd5ad 100755 --- a/helm/graphs/tools/mk_html.pl +++ b/helm/graphs/tools/mk_html.pl @@ -3,72 +3,25 @@ use URI::Escape; print < + + Graph - - - - - EOT +my $count = 0; + while () { + $count++; my (undef,$point1,$point2,$uri) = split; my ($point1x,$point1y) = split /,/,$point1; my ($point2x,$point2y) = split /,/,$point2; @@ -77,64 +30,18 @@ while () { $point1x = substr($point1x,1); $point2x = substr($point2x,1); -# Linea corretta se c'e' il menu -# print < -#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 < - 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(''); - -EOT print < - 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(''); - -EOT - print < - 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(''); - + EOT } print < - + EOT