X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fon-line%2Fxslt%2FsubstKey.xsl;fp=helm%2Fsoftware%2Fdaemons%2Fon-line%2Fxslt%2FsubstKey.xsl;h=a5acc094d58bc39c0c8f118cf17502bb24ad4164;hb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;hp=0000000000000000000000000000000000000000;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git

diff --git a/helm/software/daemons/on-line/xslt/substKey.xsl b/helm/software/daemons/on-line/xslt/substKey.xsl
new file mode 100644
index 000000000..a5acc094d
--- /dev/null
+++ b/helm/software/daemons/on-line/xslt/substKey.xsl
@@ -0,0 +1,94 @@
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+     xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+     xmlns:uwobo="http://helm.cs.unibo.it/uwobo"
+     xmlns:subst="http://www.cs.unibo.it/helm/subst"
+>
+
+<xsl:output
+       method="html"
+       encoding="ISO-8859-1"
+       media-type="text/html" />
+<!--
+<xsl:output
+        method="xml"
+        encoding="iso-8859-1"
+        media-type="text/xml"
+        doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
+        doctype-system="DTD/xhtml1-transitional.dtd" />
+-->
+
+<xsl:param name="processorURL" select="''"/>
+<xsl:param name="profile" select="''"/>
+
+<xsl:variable name="params" select="document(concat($processorURL, 'getparams?id=', $profile))"/>
+<xsl:variable name="profiles" select="document(concat($processorURL, 'listprofiles'))//li"/>
+
+<xsl:template match="node()">
+  <xsl:copy>
+    <xsl:copy-of select="@*"/>
+    <xsl:apply-templates />
+  </xsl:copy>
+</xsl:template>
+
+<xsl:template match="uwobo:key">
+  <xsl:variable name="name" select="@name"/>
+  <xsl:value-of select="string($params/html/body/ul/li[string(key)=$name]/value)"/>
+</xsl:template>
+
+<xsl:template match="uwobo:profile">
+  <xsl:value-of select="$profile"/>
+</xsl:template>
+
+<xsl:template match="uwobo:profileOptionList">
+  <xsl:apply-templates select="$profiles" mode="make_form_option"/>
+</xsl:template>
+
+<xsl:template match="uwobo:profileCtrlOptionList">
+  <script>
+    var cicurls = new Array();
+  </script>
+  <select onChange="window.open(cicurls[selectedIndex],'_top')">
+    <xsl:apply-templates select="$profiles" mode="make_ctrl_form_option">
+     <xsl:with-param name="type" select="@type"/>
+    </xsl:apply-templates>
+  </select>
+</xsl:template>
+
+<xsl:template match="li" mode="make_form_option">
+  <xsl:variable name="tmp" select="string(.)" />
+  <option value="{$tmp}">
+    <xsl:if test="$tmp=$profile">
+      <xsl:attribute name="selected">1</xsl:attribute>
+    </xsl:if>
+    <xsl:value-of select="$tmp"/>
+  </option>
+</xsl:template>
+
+<xsl:template match="li" mode="make_ctrl_form_option">
+  <xsl:param name="type" select="''"/>
+  <script>
+    <xsl:text>cicurls[</xsl:text>
+    <xsl:value-of select="position()-1" />
+    <xsl:text>] = "</xsl:text>
+    <xsl:choose>
+     <xsl:when test="$type = 'cic'">
+      <subst:makeHTMLURLwithProfile profile="{string(.)}"/>
+     </xsl:when>
+     <xsl:otherwise>
+      <subst:makeTheoryURLwithProfile profile="{string(.)}"/>
+     </xsl:otherwise>
+    </xsl:choose>
+    <xsl:text>";</xsl:text>
+  </script><xsl:text>
+  </xsl:text>
+  <option value="{position()}">
+    <xsl:if test="string(.)=$profile">
+      <xsl:attribute name="selected">1</xsl:attribute>
+    </xsl:if>
+    <xsl:value-of select="string(.)"/>
+  </option>
+</xsl:template>
+
+</xsl:stylesheet>