3 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
4 xmlns:subst="http://www.cs.unibo.it/helm/subst">
6 <xsl:import href="links_library.xsl"/>
7 <xsl:import href="params.xsl"/>
12 media-type="text/html" />
14 <xsl:param name="proofcheckerURL" select="''"/>
15 <xsl:param name="interfaceURL" select="''"/>
16 <xsl:param name="processorURL" select="''"/>
17 <xsl:param name="getterURL" select="''"/>
18 <xsl:param name="draw_graphURL" select="''"/>
19 <xsl:param name="profile" select="''"/>
20 <xsl:param name="url" select="''"/>
21 <xsl:param name="CICURI" select="''"/>
22 <xsl:param name="annotations" select="''"/>
24 <xsl:template match="subst:script">
25 <xsl:copy-of select="document(concat($interfaceURL,@src,'_xml'))" />
28 <xsl:template match="subst:proofcheckerURL">
29 <xsl:value-of select="$proofcheckerURL"/>
32 <xsl:template match="subst:interfaceURL">
33 <xsl:value-of select="$interfaceURL"/>
36 <xsl:template match="subst:processorURL">
37 <xsl:value-of select="$processorURL"/>
40 <xsl:template match="subst:getterURL">
41 <xsl:value-of select="$getterURL"/>
44 <xsl:template match="subst:draw_graphURL">
45 <xsl:value-of select="$draw_graphURL"/>
48 <xsl:template match="subst:profile">
49 <xsl:value-of select="$profile"/>
52 <xsl:template match="subst:url">
53 <xsl:value-of select="$url"/>
56 <xsl:template match="subst:CICURL">
57 <xsl:call-template name="makeCICURL">
58 <xsl:with-param name="uri" select="$CICURI"/>
62 <xsl:template match="subst:HTMLURL">
63 <xsl:call-template name="makeHTMLURL">
64 <xsl:with-param name="uri" select="$CICURI"/>
68 <xsl:template match="subst:MathMLPresentationURL">
69 <xsl:call-template name="makeMathMLPresentationURL">
70 <xsl:with-param name="uri" select="$CICURI"/>
74 <xsl:template match="subst:MathMLContentURL">
75 <xsl:call-template name="makeMathMLContentURL">
76 <xsl:with-param name="uri" select="$CICURI"/>
80 <xsl:template match="subst:DirectRDFURL">
81 <xsl:call-template name="makeDirectRDFURL">
82 <xsl:with-param name="uri" select="$CICURI"/>
86 <xsl:template match="subst:InverseRDFURL">
87 <xsl:call-template name="makeInverseRDFURL">
88 <xsl:with-param name="uri" select="$CICURI"/>
92 <xsl:template match="subst:DCRDFURL">
93 <xsl:call-template name="makeDCRDFURL">
94 <xsl:with-param name="uri" select="$CICURI"/>
98 <xsl:template match="subst:CICURI">
99 <xsl:value-of select="$CICURI"/>
102 <xsl:template match="subst:cleanCICURI">
103 <xsl:variable name="uri" select="$CICURI"/>
104 <xsl:variable name="uri_before_body" select="substring-before($uri,'.body')"/>
105 <xsl:variable name="cleanuri">
107 <xsl:when test="$uri_before_body = ''">
108 <xsl:value-of select="$uri"/>
111 <xsl:value-of select="$uri_before_body"/>
115 <xsl:value-of select="$cleanuri"/>
118 <xsl:template match="subst:base_CICURI">
119 <xsl:variable name="len" select="string-length($CICURI)" />
120 <xsl:variable name="extension">
122 <xsl:when test="substring($CICURI,$len)='/'">#</xsl:when>
123 <xsl:when test="substring($CICURI,$len - 6)='.theory'">.theory</xsl:when>
124 <xsl:when test="substring($CICURI,$len - 3)='.con'">.con</xsl:when>
125 <xsl:when test="substring($CICURI,$len - 3)='.ind'">.ind</xsl:when>
126 <xsl:when test="substring($CICURI,$len - 3)='.var'">.var</xsl:when>
127 <xsl:when test="substring($CICURI,$len - 8)='.con.body'">.con.body</xsl:when>
130 <xsl:message terminate="no">
131 resolve_topurl.xsl: assertion failed
137 <xsl:call-template name="name_of_uri">
138 <xsl:with-param name="uri">
140 <xsl:when test="substring($CICURI,$len)='/'">
141 <xsl:value-of select="concat(substring($CICURI,1,$len - 1),'#')" />
144 <xsl:value-of select="$CICURI" />
148 <xsl:with-param name="extension" select="$extension" />
152 <xsl:template match="subst:annotations">
153 <xsl:value-of select="$annotations"/>
156 <xsl:template match="subst:makeURL">
157 <xsl:call-template name="makeURL">
158 <xsl:with-param name="uri" select="$CICURI"/>
159 <xsl:with-param name="createframeset" select="false()"/>
163 <xsl:template match="subst:makeProofTreeURL">
164 <xsl:call-template name="makeProofTreeURL">
165 <xsl:with-param name="uri" select="$CICURI"/>
166 <xsl:with-param name="createframeset" select="false()"/>
170 <xsl:template match="subst:makeHTMLURLwithProfile">
171 <xsl:call-template name="makeHTMLURLwithProfile">
172 <xsl:with-param name="uri" select="$CICURI"/>
173 <xsl:with-param name="profile" select="@profile"/>
177 <xsl:template match="subst:makeTheoryURL">
178 <xsl:call-template name="makeTheoryURL">
179 <xsl:with-param name="uri" select="$CICURI"/>
180 <xsl:with-param name="createframeset" select="false()"/>
184 <xsl:template match="subst:makeTheoryURLwithProfile">
185 <xsl:call-template name="makeTheoryURLwithProfile">
186 <xsl:with-param name="uri" select="$CICURI"/>
187 <xsl:with-param name="createframeset" select="true()"/>
188 <xsl:with-param name="profile" select="@profile"/>
192 <xsl:template match="subst:makeDirectDependencyURL">
193 <xsl:call-template name="makeDirectDependenciesURL">
194 <xsl:with-param name="uri" select="$CICURI"/>
198 <xsl:template match="subst:makeRecDependencyURL">
199 <xsl:call-template name="makeGraphURL">
200 <xsl:with-param name="uri" select="$CICURI"/>
201 <xsl:with-param name="keys" select="'MDG'"/>
202 <xsl:with-param name="uri_set_size" select="$uri_set_size"/>
206 <xsl:template match="subst:makeInverseDirectDependencyURL">
207 <xsl:call-template name="makeInverseDirectDependenciesURL">
208 <xsl:with-param name="uri" select="$CICURI"/>
212 <xsl:template match="subst:makeInverseRecDependencyURL">
213 <xsl:call-template name="makeGraphURL">
214 <xsl:with-param name="uri" select="$CICURI"/>
215 <xsl:with-param name="keys" select="'MMG'"/>
216 <xsl:with-param name="uri_set_size" select="$uri_set_size"/>
220 <xsl:template match="/|*">
222 <xsl:copy-of select="@*"/>
223 <xsl:apply-templates/>