]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/metadataLib.xsl
This commit was manufactured by cvs2svn to create branch 'uwobo'.
[helm.git] / helm / on-line / xslt / metadataLib.xsl
diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
deleted file mode 100644 (file)
index e3d2493..0000000
+++ /dev/null
@@ -1,108 +0,0 @@
-<?xml version="1.0"?>
-
-<xsl:stylesheet version="1.0"
- xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
- xmlns:subst="http://www.cs.unibo.it/helm/subst">
-
-<xsl:param name="CICURI" select="''"/>
-<xsl:param name="getterURL" select="''"/>
-<xsl:param name="draw_graphURL" select="''"/>
-
-<xsl:variable name="rawCICURI" select="$CICURI"/>
-
-<xsl:template match="/">
- <html>
-  <head>
-   <subst:script language="JavaScript" src="/javascript/defaults.js"/>
-   <subst:script language="JavaScript" src="/javascript/utils.js"/>
-   <subst:script language="JavaScript" src="/javascript/control.js"/>
-   <title>Metadata of <xsl:value-of select="$CICURI"/></title>
-  </head>
-  <body onLoad="window.focus()" bgColor="white">
-   <h1>Metadata of <xsl:value-of select="$CICURI"/></h1>
-   <xsl:apply-templates select="*"/>
-  </body>
- </html>
-</xsl:template>
-
-<xsl:template match="/" mode="makelink">
- <xsl:param name="name" select="''"/>
- <xsl:param name="CICURI" select="''"/>
- <xsl:param name="RDFURI" select="''"/>
- <xsl:apply-templates select="*" mode="makelink">
-  <xsl:with-param name="name" select="$name"/>
-  <xsl:with-param name="CICURI" select="$CICURI"/>
-  <xsl:with-param name="RDFURI" select="$RDFURI"/>
- </xsl:apply-templates>
-</xsl:template>
-
-<xsl:template match="unresolved" mode="makelink">
- <xsl:param name="name" select="''"/>
- <xsl:param name="CICURI" select="''"/>
- <p>
-  Object <xsl:value-of select="$name"/> is never referenced in other objects
- </p>
- <xsl:apply-templates select="." mode="mk_dep_graph">
-  <xsl:with-param name="CICURI" select="$CICURI"/>
- </xsl:apply-templates>
-</xsl:template>
-
-<xsl:template match="url" mode="makelink">
- <xsl:param name="name" select="''"/>
- <xsl:param name="CICURI" select="''"/>
- <xsl:param name="RDFURI" select="''"/>
- <p>
-  <script>
-   var RDFURI = "<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");
-   url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + RDFURI);
-   document.write('<a target="theory" href="' + url + '">View the objects depending on it.</a>');
-]]>
-  </script>
- </p>
- <p>
-  <script>
-   var CICURI = "<xsl:value-of select="$CICURI"/>";
-   var RDFURI = "<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","MMG");
-   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");
-   url2 = setParam(url2,"xmluri",escape(url));
-   document.write('<a target="graph" href="' + url2 + '">View the graph of all the objects depending on this one.</a>');
-]]>
-  </script>
- </p>
- <xsl:apply-templates select="." mode="mk_dep_graph">
-  <xsl:with-param name="CICURI" select="$CICURI"/>
- </xsl:apply-templates>
-</xsl:template>
-
-<xsl:template match="*" mode="mk_dep_graph">
- <xsl:param name="CICURI" select="''"/>
- <p>
-  <script>
-   var CICURI = "<xsl:value-of select="$CICURI"/>";
-   var rawCICURI = "<xsl:value-of select="$rawCICURI"/>";
-   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,"param.CICURI",escape(CICURI));
-   url = draw_graphURL + 'draw?url=' + escape(url);
-   var url2 = setParam(location.href,"keys","ML2,RT");
-   url2 = setParam(url2,"xmluri",escape(url));
-   document.write('<a target="graph" href="' + url2 + '">View the graph of all the dependencies of this object.</a>');
-]]>
-  </script>
- </p>
-</xsl:template>
-
-</xsl:stylesheet>