]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/xslt/metadataLib.xsl
Bug fixing: now the link to the graphs produce extended URIs
[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:variable name="rawCICURI" select="$CICURI"/>
12
13 <xsl:template match="/">
14  <html>
15   <head>
16    <subst:script language="JavaScript" src="/javascript/defaults.js"/>
17    <subst:script language="JavaScript" src="/javascript/utils.js"/>
18    <subst:script language="JavaScript" src="/javascript/control.js"/>
19    <title>Metadata of <xsl:value-of select="$CICURI"/></title>
20   </head>
21   <body onLoad="window.focus()" bgColor="white">
22    <h1>Metadata of <xsl:value-of select="$CICURI"/></h1>
23    <xsl:apply-templates select="*"/>
24   </body>
25  </html>
26 </xsl:template>
27
28 <xsl:template match="/" mode="makelink">
29  <xsl:param name="name" select="''"/>
30  <xsl:param name="CICURI" select="''"/>
31  <xsl:param name="RDFURI" select="''"/>
32  <xsl:apply-templates select="*" mode="makelink">
33   <xsl:with-param name="name" select="$name"/>
34   <xsl:with-param name="CICURI" select="$CICURI"/>
35   <xsl:with-param name="RDFURI" select="$RDFURI"/>
36  </xsl:apply-templates>
37 </xsl:template>
38
39 <xsl:template match="unresolved" mode="makelink">
40  <xsl:param name="name" select="''"/>
41  <xsl:param name="CICURI" select="''"/>
42  <p>
43   Object <xsl:value-of select="$name"/> is never referenced in other objects
44  </p>
45  <xsl:apply-templates select="." mode="mk_dep_graph">
46   <xsl:with-param name="CICURI" select="$CICURI"/>
47  </xsl:apply-templates>
48 </xsl:template>
49
50 <xsl:template match="url" mode="makelink">
51  <xsl:param name="name" select="''"/>
52  <xsl:param name="CICURI" select="''"/>
53  <xsl:param name="RDFURI" select="''"/>
54  <p>
55   <script>
56    var RDFURI = "<xsl:value-of select="$RDFURI"/>";
57    var getterURL = "<xsl:value-of select="$getterURL"/>";
58 <![CDATA[
59    var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
60    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + RDFURI);
61    document.write('<a target="theory" href="' + url + '">View the objects depending on it.</a>');
62 ]]>
63   </script>
64  </p>
65  <p>
66   <script>
67    var CICURI = "<xsl:value-of select="$CICURI"/>";
68    var RDFURI = "<xsl:value-of select="$RDFURI"/>";
69    var getterURL = "<xsl:value-of select="$getterURL"/>";
70    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
71 <![CDATA[
72    var url = setParam(location.href,"keys","MMG");
73    url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + RDFURI);
74    url = setParam(url,"param.CICURI",escape(CICURI));
75    url = draw_graphURL + 'draw?url=' + escape(url);
76    var url2 = setParam(location.href,"keys","ML2,RT");
77    url2 = setParam(url2,"xmluri",escape(url));
78    document.write('<a target="graph" href="' + url2 + '">View the graph of all the objects depending on this one.</a>');
79 ]]>
80   </script>
81  </p>
82  <xsl:apply-templates select="." mode="mk_dep_graph">
83   <xsl:with-param name="CICURI" select="$CICURI"/>
84  </xsl:apply-templates>
85 </xsl:template>
86
87 <xsl:template match="*" mode="mk_dep_graph">
88  <xsl:param name="CICURI" select="''"/>
89  <p>
90   <script>
91    var CICURI = "<xsl:value-of select="$CICURI"/>";
92    var rawCICURI = "<xsl:value-of select="$rawCICURI"/>";
93    var getterURL = "<xsl:value-of select="$getterURL"/>";
94    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
95 <![CDATA[
96    var url = setParam(location.href,"keys","MDG");
97    url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + rawCICURI);
98    url = setParam(url,"param.CICURI",escape(CICURI));
99    url = draw_graphURL + 'draw?url=' + escape(url);
100    var url2 = setParam(location.href,"keys","ML2,RT");
101    url2 = setParam(url2,"xmluri",escape(url));
102    document.write('<a target="graph" href="' + url2 + '">View the graph of all the dependencies of this object.</a>');
103 ]]>
104   </script>
105  </p>
106 </xsl:template>
107
108 </xsl:stylesheet>