]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/xslt/metadataLib.xsl
metadataLib2.xsl renamed makeGraphLinks.xsl and committed.
[helm.git] / helm / on-line / xslt / metadataLib.xsl
1 <?xml version="1.0"?>
2
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">
6
7 <xsl:param name="CICURI" select="''"/>
8 <xsl:param name="getterURL" select="''"/>
9 <xsl:param name="draw_graphURL" select="''"/>
10
11 <xsl:template match="/">
12  <html>
13   <head>
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>
18   </head>
19   <body onLoad="window.focus()" bgColor="white">
20    <h1>Metadata of <xsl:value-of select="$CICURI"/></h1>
21    <xsl:apply-templates select="*"/>
22   </body>
23  </html>
24 </xsl:template>
25
26 <xsl:template match="/" mode="makelink">
27  <xsl:param name="name" select="''"/>
28  <xsl:param name="CICURI" select="''"/>
29  <xsl:param name="RDFURI" select="''"/>
30  <xsl:apply-templates select="*" mode="makelink">
31   <xsl:with-param name="name" select="$name"/>
32   <xsl:with-param name="CICURI" select="$CICURI"/>
33   <xsl:with-param name="RDFURI" select="$RDFURI"/>
34  </xsl:apply-templates>
35 </xsl:template>
36
37 <xsl:template match="unresolved" mode="makelink">
38  <xsl:param name="name" select="''"/>
39  <xsl:param name="CICURI" select="''"/>
40  <p>
41   Object <xsl:value-of select="$name"/> is never referenced in other objects
42  </p>
43  <xsl:apply-templates select="." mode="mk_dep_graph">
44   <xsl:with-param name="CICURI" select="$CICURI"/>
45  </xsl:apply-templates>
46 </xsl:template>
47
48 <xsl:template match="url" mode="makelink">
49  <xsl:param name="name" select="''"/>
50  <xsl:param name="CICURI" select="''"/>
51  <xsl:param name="RDFURI" select="''"/>
52  <p>
53   <script>
54    var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//<xsl:value-of select="$RDFURI"/>";
55    var getterURL = "<xsl:value-of select="$getterURL"/>";
56 <![CDATA[
57    var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
58    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + RDFURI);
59    document.write('<a target="theory" href="' + url + '">View the objects depending on it.</a>');
60 ]]>
61   </script>
62  </p>
63  <p>
64   <script>
65    var CICURI = "<xsl:value-of select="$CICURI"/>";
66    var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//<xsl:value-of select="$RDFURI"/>";
67    var getterURL = "<xsl:value-of select="$getterURL"/>";
68    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
69 <![CDATA[
70    var url = setParam(location.href,"keys","MMG");
71    url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + RDFURI);
72    url = setParam(url,"param.CICURI",escape(CICURI));
73    url = draw_graphURL + 'draw?url=' + escape(url);
74    var url2 = setParam(location.href,"keys","MGL,RT");
75    url2 = setParam(url2,"xmluri",escape(url));
76    document.write('<a target="graph" href="' + url2 + '">View the graph of all the objects depending on this one.</a>');
77 ]]>
78   </script>
79  </p>
80  <xsl:apply-templates select="." mode="mk_dep_graph">
81   <xsl:with-param name="CICURI" select="$CICURI"/>
82   <xsl:with-param name="RDFURI" select="$RDFURI"/>
83  </xsl:apply-templates>
84 </xsl:template>
85
86 <xsl:template match="*" mode="mk_dep_graph">
87  <xsl:param name="CICURI" select="''"/>
88  <xsl:param name="RDFURI" select="''"/>
89  <p>
90   <!-- CSC: Cut & Paster from above ==> create a single javascript function -->
91   <script>
92    var CICURI = "<xsl:value-of select="$CICURI"/>";
93    var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/forward//<xsl:value-of select="$RDFURI"/>";
94    var getterURL = "<xsl:value-of select="$getterURL"/>";
95    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
96 <![CDATA[
97    var url = setParam(location.href,"keys","MDG");
98    url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + RDFURI);
99    url = setParam(url,"param.CICURI",escape(CICURI));
100    url = draw_graphURL + 'draw?url=' + escape(url);
101    var url2 = setParam(location.href,"keys","MGL,RT");
102    url2 = setParam(url2,"xmluri",escape(url));
103    document.write('<a target="graph" href="' + url2 + '">View the graph of all the dependencies of this object.</a>');
104 ]]>
105   </script>
106  </p>
107 </xsl:template>
108
109 </xsl:stylesheet>