helm/on-line/xslt/metadataLib.xsl

   1 <?xml version="1.0"?>
   2
   3 <xsl:stylesheet version="1.0"
   4  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
   5  xmlns:subst="http://www.cs.unibo.it/helm/subst">
   6
   7 <xsl:param name="CICURI" select="''"/>
   8 <xsl:param name="getterURL" select="''"/>
   9 <xsl:param name="draw_graphURL" select="''"/>
  10
  11 <xsl:template match="/">
  12  <html>
  13   <head>
  14    <subst:script language="JavaScript" src="/javascript/defaults.js"/>
  15    <subst:script language="JavaScript" src="/javascript/utils.js"/>
  16    <subst:script language="JavaScript" src="/javascript/control.js"/>
  17    <title>Metadata of <xsl:value-of select="$CICURI"/></title>
  18   </head>
  19   <body onLoad="window.focus()" bgColor="white">
  20    <h1>Metadata of <xsl:value-of select="$CICURI"/></h1>
  21    <xsl:apply-templates select="*"/>
  22   </body>
  23  </html>
  24 </xsl:template>
  25
  26 <xsl:template match="/" mode="makelink">
  27  <xsl:param name="name" select="''"/>
  28  <xsl:param name="RDFURI" select="''"/>
  29  <xsl:apply-templates select="*" mode="makelink">
  30   <xsl:with-param name="name" select="$name"/>
  31   <xsl:with-param name="RDFURI" select="$RDFURI"/>
  32  </xsl:apply-templates>
  33 </xsl:template>
  34
  35 <xsl:template match="unresolved" mode="makelink">
  36  <xsl:param name="name" select="''"/>
  37  <p>
  38   Object <xsl:value-of select="$name"/> is never referenced in other objects
  39  </p>
  40  <xsl:apply-templates select="." mode="mk_dep_graph"/>
  41 </xsl:template>
  42
  43 <xsl:template match="url" mode="makelink">
  44  <xsl:param name="name" select="''"/>
  45  <xsl:param name="RDFURI" select="''"/>
  46  <p>
  47   <script>
  48    var RDFURI = "<xsl:value-of select="$RDFURI"/>";
  49    var getterURL = "<xsl:value-of select="$getterURL"/>";
  50 <![CDATA[
  51    //url = setParam(url,"keys",getCICMathMLKeys());
  52    var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
  53    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + RDFURI);
  54    document.write('<a target="theory" href="' + url + '">View the objects depending on it.</a>');
  55 ]]>
  56   </script>
  57  </p>
  58  <p>
  59   <script>
  60    var RDFURI = "<xsl:value-of select="$RDFURI"/>";
  61    var getterURL = "<xsl:value-of select="$getterURL"/>";
  62    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
  63 <![CDATA[
  64    var url = setParam(location.href,"keys","MMG");
  65    url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + RDFURI);
  66    url = draw_graphURL + 'draw?url=' + escape(url);
  67    var url2 = setParam(location.href,"keys","ML2,RT");
  68    url2 = setParam(url2,"xmluri",escape(url));
  69    document.write('<a target="graph" href="' + url2 + '">View the graph of all the objects depending on this one.</a>');
  70 ]]>
  71   </script>
  72  </p>
  73  <xsl:apply-templates select="." mode="mk_dep_graph"/>
  74 </xsl:template>
  75
  76 <xsl:template match="*" mode="mk_dep_graph">
  77  <p>
  78   <script>
  79    var CICURI = "<xsl:value-of select="$CICURI"/>";
  80    var getterURL = "<xsl:value-of select="$getterURL"/>";
  81    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
  82 <![CDATA[
  83    var url = setParam(location.href,"keys","MDG");
  84    url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + CICURI);
  85    url = draw_graphURL + 'draw?url=' + escape(url);
  86    var url2 = setParam(location.href,"keys","ML2,RT");
  87    url2 = setParam(url2,"xmluri",escape(url));
  88    document.write('<a target="graph" href="' + url2 + '">View the graph of all the dependencies of this object.</a>');
  89 ]]>
  90   </script>
  91  </p>
  92 </xsl:template>
  93
  94 </xsl:stylesheet>