3 <xsl:stylesheet version="1.0"
4 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
5 xmlns:subst="http://www.cs.unibo.it/helm/subst">
7 <xsl:param name="CICURI" select="''"/>
8 <xsl:param name="getterURL" select="''"/>
10 <xsl:template match="/">
13 <subst:script language="JavaScript" src="/javascript/defaults.js"/>
14 <subst:script language="JavaScript" src="/javascript/utils.js"/>
15 <subst:script language="JavaScript" src="/javascript/control.js"/>
16 <title>Metadata of <xsl:value-of select="$CICURI"/></title>
18 <body bgColor="white">
19 <h1>Metadata of <xsl:value-of select="$CICURI"/></h1>
20 <xsl:apply-templates select="*"/>
25 <xsl:template match="/" mode="makelink">
26 <xsl:param name="name" select="''"/>
27 <xsl:param name="RDFURI" select="''"/>
28 <xsl:apply-templates select="*" mode="makelink">
29 <xsl:with-param name="name" select="$name"/>
30 <xsl:with-param name="RDFURI" select="$RDFURI"/>
31 </xsl:apply-templates>
34 <xsl:template match="unresolved" mode="makelink">
35 <xsl:param name="name" select="''"/>
37 Object <xsl:value-of select="$name"/> is never referenced in other objects
41 <xsl:template match="url" mode="makelink">
42 <xsl:param name="name" select="''"/>
43 <xsl:param name="RDFURI" select="''"/>
46 var name = "<xsl:value-of select="$name"/>";
47 var RDFURI = "<xsl:value-of select="$RDFURI"/>";
48 var getterURL = "<xsl:value-of select="$getterURL"/>";
50 //url = setParam(url,"keys",getCICMathMLKeys());
51 var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
52 url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + RDFURI);
53 document.write('<a target="theory" href="' + url + '">View the objects depending on ' + name + '.</a>');