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:base_CICURI">
103 <xsl:variable name="len" select="string-length($CICURI)" />
104 <xsl:variable name="extension">
106 <xsl:when test="substring($CICURI,$len)='/'">#</xsl:when>
107 <xsl:when test="substring($CICURI,$len - 6)='.theory'">.theory</xsl:when>
108 <xsl:when test="substring($CICURI,$len - 3)='.con'">.con</xsl:when>
109 <xsl:when test="substring($CICURI,$len - 3)='.ind'">.ind</xsl:when>
110 <xsl:when test="substring($CICURI,$len - 3)='.var'">.var</xsl:when>
111 <xsl:when test="substring($CICURI,$len - 8)='.con.body'">.con.body</xsl:when>
114 <xsl:message terminate="no">
115 resolve_topurl.xsl: assertion failed
121 <xsl:call-template name="name_of_uri">
122 <xsl:with-param name="uri">
124 <xsl:when test="substring($CICURI,$len)='/'">
125 <xsl:value-of select="concat(substring($CICURI,1,$len - 1),'#')" />
128 <xsl:value-of select="$CICURI" />
132 <xsl:with-param name="extension" select="$extension" />
136 <xsl:template match="subst:annotations">
137 <xsl:value-of select="$annotations"/>
140 <xsl:template match="subst:makeURL">
141 <xsl:call-template name="makeURL">
142 <xsl:with-param name="uri" select="$CICURI"/>
143 <xsl:with-param name="createframeset" select="false()"/>
147 <xsl:template match="subst:makeHTMLURLwithProfile">
148 <xsl:call-template name="makeHTMLURLwithProfile">
149 <xsl:with-param name="uri" select="$CICURI"/>
150 <xsl:with-param name="profile" select="@profile"/>
154 <xsl:template match="subst:makeTheoryURL">
155 <xsl:call-template name="makeTheoryURL">
156 <xsl:with-param name="uri" select="$CICURI"/>
157 <xsl:with-param name="createframeset" select="false()"/>
161 <xsl:template match="subst:makeTheoryURLwithProfile">
162 <xsl:call-template name="makeTheoryURLwithProfile">
163 <xsl:with-param name="uri" select="$CICURI"/>
164 <xsl:with-param name="createframeset" select="true()"/>
165 <xsl:with-param name="profile" select="@profile"/>
169 <xsl:template match="subst:makeDirectDependencyURL">
170 <xsl:call-template name="makeDirectDependenciesURL">
171 <xsl:with-param name="uri" select="$CICURI"/>
175 <xsl:template match="subst:makeRecDependencyURL">
176 <xsl:call-template name="makeGraphURL">
177 <xsl:with-param name="uri" select="$CICURI"/>
178 <xsl:with-param name="keys" select="'MDG'"/>
179 <xsl:with-param name="uri_set_size" select="$uri_set_size"/>
183 <xsl:template match="subst:makeInverseDirectDependencyURL">
184 <xsl:call-template name="makeInverseDirectDependenciesURL">
185 <xsl:with-param name="uri" select="$CICURI"/>
189 <xsl:template match="subst:makeInverseRecDependencyURL">
190 <xsl:call-template name="makeGraphURL">
191 <xsl:with-param name="uri" select="$CICURI"/>
192 <xsl:with-param name="keys" select="'MMG'"/>
193 <xsl:with-param name="uri_set_size" select="$uri_set_size"/>
197 <xsl:template match="/|*">
199 <xsl:copy-of select="@*"/>
200 <xsl:apply-templates/>