helm/style/ricerca.xsl

   1 <?xml version="1.0"?>
   2
   3
   4 <xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
   5
   6 <xsl:output method="html"/>
   7
   8
   9 <!--******************************************************************-->
  10 <!-- Variable containing the absolute path of the CIC file            -->
  11 <!--******************************************************************-->
  12
  13 <xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
  14
  15 <xsl:template match="/">
  16                <html>
  17                 <head></head>
  18                 <body>
  19                 <xsl:apply-templates select="Theory"/>
  20                 </body>
  21                </html>
  22 </xsl:template>
  23
  24
  25 <!-- CIC TERMS -->
  26
  27
  28
  29 <xsl:template match="MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind']" mode="search" >
  30 <!-- <xsl:param name="current_uri" select=""/> -->
  31 <!-- <h1><xsl:value-of select="string(@uri)"/></h1> -->
  32 <!-- <xsl:if test="string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'"> -->
  33   <xsl:value-of select="$current_uri"/><BR/>
  34 <!-- </xsl:if> -->
  35 </xsl:template>
  36
  37 <!-- AGGIUNGERE cic: alle uri nei file Theory -->
  38
  39 <xsl:template match="Theory">
  40 <!-- <xsl:param name="current_uri" select=""/> -->
  41  <xsl:apply-templates>
  42   <xsl:with-param name="current_uri" select="string(@uri)"/>
  43  </xsl:apply-templates>
  44 </xsl:template>
  45
  46 <xsl:template match="VARIABLE">
  47 <!-- <xsl:param name="current_uri" select=""/> -->
  48 <xsl:variable name="found"
  49   select="boolean(document(concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri)))//MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'])"/>
  50 <xsl:if test="$found">
  51   <xsl:value-of select="concat(string($current_uri),&quot;/&quot;,string(@uri),&quot;.xml&quot;)"/><BR/>
  52 </xsl:if>
  53
  54 <!--   <xsl:with-param name="current_uri" select="concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri))"/>
  55  </xsl:apply-templates> -->
  56 </xsl:template>
  57
  58 <xsl:template match="DEFINITION">
  59 <!-- <xsl:param name="current_uri" select=""/> -->
  60 <!-- <xsl:apply-templates select="document(concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri)))" mode="search">
  61   <xsl:with-param name="current_uri" select="concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri))"/>
  62  </xsl:apply-templates> -->
  63 <xsl:variable name="found"
  64   select="boolean(document(concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri)))//MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'])"/>
  65 <xsl:if test="$found">
  66   <xsl:value-of select="concat(string($current_uri),&quot;/&quot;,string(@uri),&quot;.xml&quot;)"/><BR/>
  67 </xsl:if>
  68 </xsl:template>
  69
  70 <xsl:template match="THEOREM">
  71 <!-- <xsl:param name="current_uri" select=""/> -->
  72 <!-- <xsl:apply-templates select="document(concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri)))" mode="search">
  73   <xsl:with-param name="current_uri" select="concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri))"/>
  74  </xsl:apply-templates> -->
  75 <xsl:variable name="found"
  76   select="boolean(document(concat(string($absPath),string($current_uri),&quot;/&quot;,string(@uri)))//MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'])"/>
  77 <xsl:if test="$found">
  78   <xsl:value-of select="concat(string($current_uri),&quot;/&quot;,string(@uri),&quot;.xml&quot;)"/><BR/>
  79 </xsl:if>
  80 </xsl:template>
  81
  82
  83 <xsl:template match="SECTION">
  84 <!-- <xsl:param name="current_uri" select=""/> -->
  85  <xsl:apply-templates>
  86   <xsl:with-param name="current_uri" select="concat($current_uri,&quot;/&quot;,string(@uri))"/>
  87  </xsl:apply-templates>
  88
  89 </xsl:template>
  90
  91 </xsl:stylesheet>