3 <xsl:stylesheet version="1.0"
4 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
5 xmlns:helm="http://www.cs.unibo.it/helm"
6 xmlns="http://www.w3.org/1999/xhtml"
9 <xsl:output method="html" encoding="iso-8859-1"/>
11 <xsl:param name="CICURI" select="''" />
12 <xsl:param name="interfaceURL" select="''" />
14 <xsl:template match="ls">
20 url(<xsl:value-of select="$interfaceURL"/>/icons/theory.png)
24 url(<xsl:value-of select="$interfaceURL"/>/icons/folder.png)
28 url(<xsl:value-of select="$interfaceURL"/>/icons/object.png)
34 <xsl:apply-templates select="section" />
35 <xsl:apply-templates select="object" />
41 <xsl:template match="section">
43 <a class="folder" href="{concat($CICURI, text(), '/')}"
44 helm:helm_link="href">
45 <xsl:value-of select="text()" />
47 <xsl:text>/</xsl:text>
51 <xsl:template match="object">
53 <xsl:when test="substring-after(@name, '.')='theory'">
55 <a class="theory" href="{concat($CICURI, @name)}"
56 helm:helm_link="href">
57 <xsl:value-of select="@name" />
64 href="{concat('cic:', substring-after($CICURI, ':'), @name)}"
65 helm:helm_link="href">
66 <xsl:value-of select="@name" />