]> 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: cf9a0ad)
RDFURI removed because no more unique.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 14:11:25 +0000 (14:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 14:11:25 +0000 (14:11 +0000)
helm/on-line/html/cic/control.html patch | blob | history
helm/on-line/xslt/demultiplexMutual.xsl patch | blob | history
helm/on-line/xslt/metadataControl.xsl patch | blob | history
helm/on-line/xslt/metadataLib.xsl patch | blob | history

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index 626db75801a46594439f6e9ba79b125d152e130b..377aa7db024103c5064070ba0802c7c5bcaf3e8e 100644 (file)
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -49,19 +49,15 @@ td.back { background-color: #e6e6fa; color: brown }
      var url = unescape(getParam('url'));
      var getterURL = extractParam(url,'param.getterURL');
      var CICURI = extractParam(url,'param.CICURI');
-     var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//" + CICURI;
      if (CICURI.substr(-4,4) == ".ind") {
       url = setParam(url,"keys","DM%2CRT");
       url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + CICURI);
      } else {
       url = setParam(url,"keys","MC%2CRT");
-      url = setParam(url,"xmluri", getterURL + "resolve%3Furi%3D" + RDFURI);
+      url = setParam(url,"xmluri", getterURL + "resolve%3Furi%3D" + CICURI);
      }
      url = setParam(url,"prop.media-type","text/html");
      url = setParam(url,"prop.encoding","iso-8859-1");
-     url =
-      url +
-      "&param.RDFURI=" + RDFURI ;
      document.write(
       '<a target="metadata" href="' + url + '">View its metadata</a>'
      );
diff --git a/helm/on-line/xslt/demultiplexMutual.xsl b/helm/on-line/xslt/demultiplexMutual.xsl
index 370483392f3dbf09d94f94be7eecf8fd23ec8f77..30beaeb614aacf1391ffc61bf137789465073243 100644 (file)
--- a/helm/on-line/xslt/demultiplexMutual.xsl
+++ b/helm/on-line/xslt/demultiplexMutual.xsl
@@ -11,16 +11,14 @@
        doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
        doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
 
-<xsl:param name="RDFURI" select="''"/>
-
 <xsl:include href="metadataLib.xsl"/>
 
-<xsl:variable name="url" select="concat($getterURL,'resolve?uri=')"/>
+<xsl:variable name="url" select="concat($getterURL,'resolve?uri=helm:rdf:www.cs.unibo.it/helm/rdf/forward//')"/>
 
 <xsl:template match="InductiveDefinition">
  <xsl:for-each select="InductiveType">
   <xsl:variable name="CICURIInductiveType" select="concat($CICURI,'#xpointer(1/',position())"/>
-  <xsl:variable name="RDFURIInductiveType" select="concat($RDFURI,',',position())"/>
+  <xsl:variable name="RDFURIInductiveType" select="concat($CICURI,',',position())"/>
   <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
   <xsl:apply-templates select="document(concat($url,$RDFURIInductiveType))" mode="makelink">
    <xsl:with-param name="name" select="@name"/>
diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl
index 71999116ab9a4965fd90cb5f96eed1bff402f841..82646bce7fa408290319e3a2bf2cb0ce6c15a970 100644 (file)
--- a/helm/on-line/xslt/metadataControl.xsl
+++ b/helm/on-line/xslt/metadataControl.xsl
@@ -11,15 +11,13 @@
        doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
        doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
 
-<xsl:param name="RDFURI" select="''"/>
-
 <xsl:include href="metadataLib.xsl"/>
 
 <xsl:template match="unresolved|url">
  <xsl:apply-templates mode="makelink" select=".">
   <xsl:with-param name="name" select="$CICURI"/>
   <xsl:with-param name="CICURI" select="$CICURI"/>
-  <xsl:with-param name="RDFURI" select="$RDFURI"/>
+  <xsl:with-param name="RDFURI" select="$CICURI"/>
  </xsl:apply-templates>
 </xsl:template>
 
diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index e3d2493211cb1ea47ec7c3cecd765d382e9fd257..202a3d4838abc0cc13493ef445b27fd28134a378 100644 (file)
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -8,8 +8,6 @@
 <xsl:param name="getterURL" select="''"/>
 <xsl:param name="draw_graphURL" select="''"/>
 
-<xsl:variable name="rawCICURI" select="$CICURI"/>
-
 <xsl:template match="/">
  <html>
   <head>
@@ -53,7 +51,7 @@
  <xsl:param name="RDFURI" select="''"/>
  <p>
   <script>
-   var RDFURI = "<xsl:value-of select="$RDFURI"/>";
+   var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//<xsl:value-of select="$RDFURI"/>";
    var getterURL = "<xsl:value-of select="$getterURL"/>";
 <![CDATA[
    var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
@@ -65,7 +63,7 @@
  <p>
   <script>
    var CICURI = "<xsl:value-of select="$CICURI"/>";
-   var RDFURI = "<xsl:value-of select="$RDFURI"/>";
+   var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//<xsl:value-of select="$RDFURI"/>";
    var getterURL = "<xsl:value-of select="$getterURL"/>";
    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
 <![CDATA[
@@ -81,20 +79,22 @@
  </p>
  <xsl:apply-templates select="." mode="mk_dep_graph">
   <xsl:with-param name="CICURI" select="$CICURI"/>
+  <xsl:with-param name="RDFURI" select="$RDFURI"/>
  </xsl:apply-templates>
 </xsl:template>
 
 <xsl:template match="*" mode="mk_dep_graph">
  <xsl:param name="CICURI" select="''"/>
+ <xsl:param name="RDFURI" select="''"/>
  <p>
   <script>
    var CICURI = "<xsl:value-of select="$CICURI"/>";
-   var rawCICURI = "<xsl:value-of select="$rawCICURI"/>";
+   var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/forward//<xsl:value-of select="$RDFURI"/>";
    var getterURL = "<xsl:value-of select="$getterURL"/>";
    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
 <![CDATA[
    var url = setParam(location.href,"keys","MDG");
-   url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + rawCICURI);
+   url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + RDFURI);
    url = setParam(url,"param.CICURI",escape(CICURI));
    url = draw_graphURL + 'draw?url=' + escape(url);
    var url2 = setParam(location.href,"keys","ML2,RT");
Unnamed repository; edit this file 'description' to name the repository.