helm/style/theory_content.xsl

   1 <?xml version="1.0"?>
   2
   3 <!--***********************************************************************-->
   4 <!-- XSLT version 0.1 of theory objects to theory sections:                -->
   5 <!-- First draft: May 08 2000, Claudio Sacerdoti Coen, Irene Schena        -->
   6 <!--***********************************************************************-->
   7
   8 <xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
   9
  10 <xsl:import href="rootcontent.xsl"/>
  11
  12 <!--******************************************************************-->
  13 <!-- Variable containing the absolute path of the CIC file            -->
  14 <!--******************************************************************-->
  15
  16 <xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
  17
  18 <!-- THEORY -->
  19
  20 <xsl:template match="Theory">
  21     <SECTION>
  22      <xsl:apply-templates><xsl:with-param name="current_uri" select="string(@uri)"/></xsl:apply-templates>
  23     </SECTION>
  24 </xsl:template>
  25
  26 <!-- SUBTHEORY -->
  27
  28 <xsl:template match="SECTION">
  29 <xsl:param name="current_uri"/>
  30     <SECTION>
  31      <xsl:apply-templates><xsl:with-param name="current_uri" select="concat($current_uri,&quot;/&quot;,string(@uri))"/></xsl:apply-templates>
  32     </SECTION>
  33 </xsl:template>
  34
  35 <!-- THEORY ELEMENTS -->
  36
  37 <xsl:template match="DEFINITION">
  38 <xsl:param name="current_uri"/>
  39     <xsl:apply-templates select="document(concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri)))"/>
  40 </xsl:template>
  41
  42 <xsl:template match="AXIOM">
  43 <xsl:param name="current_uri"/>
  44     <xsl:apply-templates select="document(concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri)))"/>
  45 </xsl:template>
  46
  47 <xsl:template match="THEOREM">
  48 <xsl:param name="current_uri"/>
  49     <xsl:apply-templates select="document(concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri)))"/>
  50 </xsl:template>
  51
  52 <xsl:template match="VARIABLE">
  53 <xsl:param name="current_uri"/>
  54     <xsl:apply-templates select="document(concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri)))"/>
  55 </xsl:template>
  56
  57 </xsl:stylesheet>