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="''"/>
9 <xsl:param name="draw_graphURL" select="''"/>
11 <xsl:template match="/">
14 <subst:script language="JavaScript" src="/javascript/defaults.js"/>
15 <subst:script language="JavaScript" src="/javascript/utils.js"/>
16 <subst:script language="JavaScript" src="/javascript/control.js"/>
17 <title>Metadata of <xsl:value-of select="$CICURI"/></title>
19 <body onLoad="window.focus()" bgColor="white">
20 <h1>Metadata of <xsl:value-of select="$CICURI"/></h1>
21 <xsl:apply-templates select="*"/>
26 <xsl:template match="/" mode="makelink">
27 <xsl:param name="name" select="''"/>
28 <xsl:param name="RDFURI" select="''"/>
29 <xsl:apply-templates select="*" mode="makelink">
30 <xsl:with-param name="name" select="$name"/>
31 <xsl:with-param name="RDFURI" select="$RDFURI"/>
32 </xsl:apply-templates>
35 <xsl:template match="unresolved" mode="makelink">
36 <xsl:param name="name" select="''"/>
38 Object <xsl:value-of select="$name"/> is never referenced in other objects
40 <xsl:apply-templates select="." mode="mk_dep_graph"/>
43 <xsl:template match="url" mode="makelink">
44 <xsl:param name="name" select="''"/>
45 <xsl:param name="RDFURI" select="''"/>
48 var RDFURI = "<xsl:value-of select="$RDFURI"/>";
49 var getterURL = "<xsl:value-of select="$getterURL"/>";
51 //url = setParam(url,"keys",getCICMathMLKeys());
52 var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
53 url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + RDFURI);
54 document.write('<a target="theory" href="' + url + '">View the objects depending on it.</a>');
60 var RDFURI = "<xsl:value-of select="$RDFURI"/>";
61 var getterURL = "<xsl:value-of select="$getterURL"/>";
62 var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
64 var url = setParam(location.href,"keys","MMG");
65 url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + RDFURI);
66 url = draw_graphURL + 'draw?url=' + escape(url);
67 var url2 = setParam(location.href,"keys","ML2,RT");
68 url2 = setParam(url2,"xmluri",escape(url));
69 document.write('<a target="graph" href="' + url2 + '">View the graph of all the objects depending on this one.</a>');
73 <xsl:apply-templates select="." mode="mk_dep_graph"/>
76 <xsl:template match="*" mode="mk_dep_graph">
79 var CICURI = "<xsl:value-of select="$CICURI"/>";
80 var getterURL = "<xsl:value-of select="$getterURL"/>";
81 var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
83 var url = setParam(location.href,"keys","MDG");
84 url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + CICURI);
85 url = draw_graphURL + 'draw?url=' + escape(url);
86 var url2 = setParam(location.href,"keys","ML2,RT");
87 url2 = setParam(url2,"xmluri",escape(url));
88 document.write('<a target="graph" href="' + url2 + '">View the graph of all the dependencies of this object.</a>');