]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5efc240)
New implementation of the graph stuff: now every hard-coded URL has been
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2001 06:17:02 +0000 (06:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2001 06:17:02 +0000 (06:17 +0000)
removed.

helm/graphs/tools/mk_html.pl patch | blob | history
helm/style/links_library.xsl patch | blob | history
helm/style/mk_dep_graph.xsl patch | blob | history
helm/style/mk_meta_graph.xsl patch | blob | history

diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl
index aa1cec3beca648d4d1c7c6e8ee2f00f0ee606112..6ca4d0bcf3caa819d58eaa87bc3424726e353f50 100755 (executable)
--- a/helm/graphs/tools/mk_html.pl
+++ b/helm/graphs/tools/mk_html.pl
@@ -11,10 +11,10 @@ print <<EOT;
  <body bgcolor="white" onLoad="window.focus()">
   <script>
 <![CDATA[
-   //var draw_graph_url =
-   // location.protocol + '//' + location.host + '/';
-   var draw_graph_url = 'http://localhost:8083/';
-   document.write('<img border="false" src="' + draw_graph_url + 'get_gif?pid=$ARGV[0]" usemap="#graphe">');
+   // NOTE: getParam will be defined during the application
+   // of the next stylesheet in the stylesheet chain
+   var draw_graphURL = unescape(getParam("param.draw_graphURL"));
+   document.write('<img border="false" src="' + draw_graphURL + 'get_gif?pid=$ARGV[0]" usemap="#graphe">');
 ]]>
   </script>
   <map name="graphe">
diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index 5611e3a7560f4b1a78e58d0e9a3b9f5da532033c..e1ac47a69c4fdca1aaaac035c5e67efac14f480e 100644 (file)
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -38,6 +38,8 @@
 
 <xsl:param name="getterURL" select="'http://localhost:8081/'"/>
 <xsl:param name="processorURL" select="'http://localhost:8080/helm/servlet/uwobo/'"/>
+<xsl:param name="draw_graphURL" select="'http://localhost:8083/'"/>
+<xsl:param name="uri_set_queueURL" select="'http://localhost:8084/'"/>
 <!-- URL to the frameset (control + output) -->
 <xsl:param name="topurl" select="''"/>
 <xsl:param name="interfaceURL" select="''"/>
@@ -202,7 +204,7 @@
 <xsl:variable name="header0"><xsl:value-of select="$interfaceURL"/>?url=</xsl:variable>
 <xsl:variable name="thheader0"><xsl:value-of select="$thinterfaceURL"/>?url=</xsl:variable>
 <xsl:variable name="header1"><xsl:value-of select="$escaped-processorURL"/>apply?keys=</xsl:variable>
-<xsl:variable name="bothheader2">&#x26;param.naturalLanguage=<xsl:value-of select="$naturalLanguage"/>&#x26;param.UNICODEvsSYMBOL=<xsl:value-of select="$UNICODEvsSYMBOL"/>&#x26;param.annotations=<xsl:value-of select="$annotations"/>&#x26;prop.doctype-public=<xsl:value-of select="$escaped-doctype-public"/>&#x26;param.doctype-public=<xsl:value-of select="$escaped-doctype-public"/>&#x26;param.encoding=<xsl:value-of select="$encoding"/>&#x26;param.media-type=<xsl:value-of select="$media-type"/>&#x26;param.keys=<xsl:value-of select="$quotedkeys"/>&#x26;param.getterURL=<xsl:value-of select="$escaped-getterURL"/>&#x26;param.processorURL=<xsl:value-of select="$escaped-processorURL"/>&#x26;param.interfaceURL=<xsl:value-of select="$escaped-interfaceURL"/>&#x26;param.topurl=<xsl:value-of select="$escaped-topurl"/>&#x26;xmluri=<xsl:value-of select="$absPath"/></xsl:variable>
+<xsl:variable name="bothheader2">&#x26;param.naturalLanguage=<xsl:value-of select="$naturalLanguage"/>&#x26;param.draw_graphURL=<xsl:value-of select="$draw_graphURL"/>&#x26;param.uri_set_queueURL=<xsl:value-of select="$uri_set_queueURL"/>&#x26;param.UNICODEvsSYMBOL=<xsl:value-of select="$UNICODEvsSYMBOL"/>&#x26;param.annotations=<xsl:value-of select="$annotations"/>&#x26;prop.doctype-public=<xsl:value-of select="$escaped-doctype-public"/>&#x26;param.doctype-public=<xsl:value-of select="$escaped-doctype-public"/>&#x26;param.encoding=<xsl:value-of select="$encoding"/>&#x26;param.media-type=<xsl:value-of select="$media-type"/>&#x26;param.keys=<xsl:value-of select="$quotedkeys"/>&#x26;param.getterURL=<xsl:value-of select="$escaped-getterURL"/>&#x26;param.processorURL=<xsl:value-of select="$escaped-processorURL"/>&#x26;param.interfaceURL=<xsl:value-of select="$escaped-interfaceURL"/>&#x26;param.topurl=<xsl:value-of select="$escaped-topurl"/>&#x26;xmluri=<xsl:value-of select="$absPath"/></xsl:variable>
 <xsl:variable name="header2">&#x26;prop.media-type=<xsl:value-of select="$media-type"/>&#x26;prop.encoding=<xsl:value-of select="$encoding"/></xsl:variable>
 <xsl:variable name="thheader2">&#x26;prop.media-type=<xsl:value-of select="$thmedia-type"/>&#x26;param.thmedia-type=<xsl:value-of select="$thmedia-type"/>&#x26;param.thkeys=<xsl:value-of select="$quotedthkeys"/>&#x26;param.embedkeys=<xsl:value-of select="$quotedembedkeys"/>&#x26;param.thinterfaceURL=<xsl:value-of select="$escaped-thinterfaceURL"/>&#x26;param.thencoding=<xsl:value-of select="$thencoding"/>&#x26;prop.encoding=<xsl:value-of select="$thencoding"/></xsl:variable>
 
diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl
index 739bd279bba6f11bdde265436b095601850bbc5f..dee91b3c1bdf6d5cc1d038d70d89ae0cdb33b5b7 100644 (file)
--- a/helm/style/mk_dep_graph.xsl
+++ b/helm/style/mk_dep_graph.xsl
@@ -38,7 +38,7 @@
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="PID" select="''"/>
 <xsl:param name="getterURL" select="''"/>
-<xsl:param name="uri_set_queueURL" select="'http://localhost:8084/'"/>
+<xsl:param name="uri_set_queueURL" select="''"/>
 <xsl:param name="uri_set_size" select="30"/>
 <xsl:variable name="base_URL_of_CIC_URI" select="concat($getterURL,'getxml?uri=')"/>
 
diff --git a/helm/style/mk_meta_graph.xsl b/helm/style/mk_meta_graph.xsl
index 0f6acba1dcbafcfa768d70529d21b8d36e48a8c3..44d5a9070a9a4ed1889ea4aad34c48b384b26a8c 100644 (file)
--- a/helm/style/mk_meta_graph.xsl
+++ b/helm/style/mk_meta_graph.xsl
@@ -38,7 +38,7 @@
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="PID" select="''"/>
 <xsl:param name="getterURL" select="''"/>
-<xsl:param name="uri_set_queueURL" select="'http://localhost:8084/'"/>
+<xsl:param name="uri_set_queueURL" select="''"/>
 <xsl:param name="uri_set_size" select="30"/>
 <xsl:variable name="RDF_base_URL_of_CIC_URI" select="concat($getterURL,'getxml?uri=helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//')"/>
 
Unnamed repository; edit this file 'description' to name the repository.