]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/metadataLib.xsl
No longer in use.
[helm.git] / helm / on-line / xslt / metadataLib.xsl
index bd9b84524224ba0f45124a6c9d33f2f852034567..5ea90215ee5398708a4e5aa208558b941cd9e532 100644 (file)
       <xsl:with-param name="uri" select="$CICURI"/>
      </xsl:call-template>
    </xsl:variable>
-   <h1>Metadata of <a href="{$CICURL}"><xsl:value-of select="$CICURI"/></a></h1>
    <xsl:apply-templates select="*"/>
-   <!--CSC: code almost cut & pasted from makeGraphLinks -->
-   <form name="uri_set_size">
-    Number of nodes to show when following an hyperlink to a graph:
-    <input type="text" onClick="return false" value="{$uri_set_size}" size="2"/> (30 suggested)
-   </form>
-   <!--CSC: end of cut & paste from makeGraphLinks -->
   <xsl:call-template name="loop_show_dc">
    <xsl:with-param name="CICURI" select="$CICURI"/>
   </xsl:call-template>
  </html>
 </xsl:template>
 
-<xsl:template name="makelink">
- <xsl:param name="name" select="''"/>
- <xsl:param name="CICURI" select="''"/>
- <xsl:variable name="quotedCICURI">
-  <xsl:call-template name="jsquote">
-   <xsl:with-param name="s" select="$CICURI"/>
-   <xsl:with-param name="times" select="2"/>
-  </xsl:call-template>
- </xsl:variable>
- <xsl:variable name="quotedCICURIforURL">
-  <xsl:call-template name="quote">
-   <xsl:with-param name="s" select="$CICURI"/>
-  </xsl:call-template>
- </xsl:variable>
- <xsl:choose>
-  <xsl:when test="document(concat($BaseRDFURLBackward,$quotedCICURIforURL))/*/*/*">
-   <p>
-    <script>
-     var CICURI = "<xsl:value-of select="$CICURI"/>";
-<![CDATA[
-     document.write('<a href="' + mkMetaTheoryURL(CICURI) + '">View the objects depending on it.</a>');
-]]>
-    </script>
-   </p>
-   <p>
-     <xsl:variable name="forwardURL">
-      <xsl:call-template name="makeGraphURL">
-       <xsl:with-param name="uri" select="$CICURI"/>
-       <xsl:with-param name="keys" select="'MMG'"/>
-       <!-- <xsl:with-param name="uri_set_size" select="'document.uri_set_size.elements[0].value'"/> -->
-       <xsl:with-param name="uri_set_size" select="'30'"/>
-      </xsl:call-template>
-     </xsl:variable>
-     <a href="{$forwardURL}">View the graph of all the objects depending on this one.</a>
-   </p>
-  </xsl:when>
-  <xsl:otherwise>
-   <p>
-    Object <xsl:value-of select="$name"/> is never referenced in other objects
-   </p>
-  </xsl:otherwise>
- </xsl:choose>
-
- <xsl:choose>
-  <xsl:when test="document(concat($BaseRDFURLForward,$quotedCICURIforURL))/*/*/*">
-   <p>
-     <xsl:variable name="forwardURL">
-      <xsl:call-template name="makeGraphURL">
-       <xsl:with-param name="uri" select="$CICURI"/>
-       <xsl:with-param name="keys" select="'MDG'"/>
-       <!-- <xsl:with-param name="uri_set_size" select="'document.uri_set_size.elements[0].value'"/> -->
-       <xsl:with-param name="uri_set_size" select="'30'"/>
-      </xsl:call-template>
-     </xsl:variable>
-     <a href="{$forwardURL}">View the graph of all the dependencies of this object.</a>
-   </p>
-  </xsl:when>
-  <xsl:otherwise>
-   <p>
-    Object <xsl:value-of select="$name"/> does not reference any other object
-   </p>
-  </xsl:otherwise>
- </xsl:choose>
-</xsl:template>
-
 </xsl:stylesheet>