td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
td.back { background-color: #e6e6fa; color: brown }
#indent { margin-left: 1cm; margin-right: 1cm }
-#centered { text-align: center }
-h2 { text-align: center }
-li { padding-bottom: 1ex }
+ul.control { padding-left: 1em; list-style: none; }
+ul.control2 { font-size: small; padding-left: 2em; }
+div.center { text-align: center }
</style>
<script>
- var CICURI="<subst:CICURI/>";
var annotations="<subst:annotations/>";
+ var CICURI="<subst:CICURI/>";
+ var CICURL = "<subst:CICURL/>";
+ var DCRDFURL = "<subst:DCRDFURL/>";
+ var DirectRDFURL = "<subst:DirectRDFURL/>";
+ var getterURL = "<subst:getterURL/>";
+ var HTMLURL = "<subst:HTMLURL/>";
+ var InverseRDFURL = "<subst:InverseRDFURL/>";
+ var MathMLContentURL = "<subst:MathMLContentURL/>";
+ var MathMLPresentationURL = "<subst:MathMLPresentationURL/>";
+ var mkDirDepURL = "<subst:makeDirectDependencyURL/>";
+ var mkInvDepURL = "<subst:makeInverseDirectDependencyURL/>";
+ var mkInvRecDepURL = "<subst:makeInverseRecDependencyURL/>";
+ var mkRecDepURL = "<subst:makeRecDependencyURL/>";
+ var processorURL = "<subst:processorURL/>";
+ var profile = "<subst:profile/>";
+ var proofcheckerURL = "<subst:proofcheckerURL/>";
+ var url = "<subst:url/>";
</script>
</head>
<body id="normal">
+ <div class="center">
+ <script>document.write('<a target="result" style="text-decoration:none" href="' + url + '">');</script>
+ <img style="border-style:none" src="http://helm.cs.unibo.it/helm/icons/object.png" />
<h2><subst:base_CICURI/></h2>
+ <script>document.write('</a>');</script>
+ </div>
+ <hr />
<!--
[Annotations are <script>if (annotations) == 'no') document.write('off'); else document.write('on')</script>]
-->
-<ul>
+<ul class="control">
<!--
<li>
<script>
</li>
-->
<li>
+ View [
<script>
- var url = "<subst:url/>";
- document.write('<a href="' + url + '&param.toplevel=true" target="result">Object</a>');
+ document.write('<a href="' + HTMLURL + '&param.toplevel=true" target="result"><small>HTML</small></a>');
+ document.write(' / ');
+ document.write('<a href="' + MathMLPresentationURL + '&param.toplevel=true" target="result"><small>MathML</small></a>');
</script>
+ ]
</li>
<li>
<script>
- var processorURL = "<subst:processorURL/>";
- var getterURL = "<subst:getterURL/>";
- var CICURI = "<subst:CICURI/>";
- var profile = "<subst:profile/>";
var url = processorURL + "apply?keys=MC%2CRT&xmluri=" +
getterURL + "getxml%3Furi%3D" + CICURI +
"&prop.media-type=text/html&prop.encoding=iso-8859-1" +
"&param.CICURI=" + CICURI + "&param.profile=" + profile +
"&profile=" + profile;
document.write(
- '<a target="result" href="' + url + '">Metadata and dependencies</a>'
+ '<a target="result" href="' + url + '">View metadata</a>'
);
</script>
</li>
<li>
<script>
- var proofcheckerURL = "<subst:proofcheckerURL/>";
- var cicURI = "<subst:cicURI/>";
url = proofcheckerURL + "proofCheck?uri=" + CICURI;
document.write(
- '<a target="result" href="' + url + '">Proof-check it</a>'
+ '<a target="result" href="' + url + '">Proof check</a>'
);
</script>
</li>
+ <li>
+ Analyse dependencies
+ <ul class="control2">
+ <li>
+ <script>
+ document.write('<a target="result" href="' + mkDirDepURL + '">direct</a>');
+ </script>
+ </li>
+ <li>
+ <script>
+ document.write('<a target="result" href="' + mkInvDepURL + '">inverse</a>');
+ </script>
+ </li>
+ <li>
+ <script>
+ document.write('<a target="result" href="' + mkRecDepURL + '">recursive direct</a> (graph)');
+ </script>
+ </li>
+ <li>
+ <script>
+ document.write('<a target="result" href="' + mkInvRecDepURL + '">recursive inverse</a> (graph)');
+ </script>
+ </li>
+ </ul>
+ </li>
+</ul>
+<hr />
+<ul class="control">
+ <li> Download
+ <ul class="control2">
+ <li>
+ <script>
+ document.write('<a href="' + CICURL + '" target="result">CIC XML</a>');
+ </script>
+ </li>
+ <li>
+ <script>
+ document.write('<a href="' + MathMLContentURL + '" target="result">MathML Content</a>');
+ </script>
+ </li>
+ <li>
+ <script>
+ document.write('<a href="' + MathMLPresentationURL + '" target="result">MathML Presentation</a>');
+ </script>
+ </li>
+ <li>
+ <script>
+ document.write('<a href="' + HTMLURL + '" target="result">HTML</a>');
+ </script>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Download metadata
+ <ul class="control2">
+ <li>
+ <script>
+ document.write('<a target="result" href="' + DirectRDFURL + '">direct dependencies</a>');
+ </script>
+ </li>
+ <li>
+ <script>
+ document.write('<a target="result" href="' + InverseRDFURL + '">inverse dependencies</a>');
+ </script>
+ </li>
+ <li>
+ <script>
+ document.write('<a target="result" href="' + DCRDFURL + '">Dublin Core</a>');
+ </script>
+ </li>
+ </ul>
+ </li>
</ul>
+<hr />
+<div class="center">
+ <a href="http://helm.cs.unibo.it">HELM home</a>
+</div>
</body>
</html>
var annotations = "<subst:annotations/>";
var url = "<subst:makeURL/>";
<![CDATA[
- document.write('<frameset cols="18%,*" border="1">');
+ document.write('<frameset cols="20%,*" border="1">');
document.write('<frame src="' + processorURL + 'apply?keys=RT&profile=' +
profile + '¶m.profile=' + profile + '¶m.annotations=' + annotations +
'¶m.CICURI=' + CICURI + '¶m.url=' + escape(url) + '&xmluri=' +
td.back { background-color: #e6e6fa; color: brown }
#indent { margin-left: 1cm; margin-right: 1cm }
#centered { text-align: center }
-h2 { text-align: center }
li { padding-bottom: 1ex }
+div.center { text-align: center }
</style>
<script language="JavaScript" src="../../javascript/defaults.js"></script>
</head>
<body id="normal">
+ <div class="center">
+ <img src="http://helm.cs.unibo.it/helm/icons/section.png" />
<h2><subst:base_CICURI/></h2>
+ </div>
+ <hr />
+ <div class="center">
+ <a href="http://helm.cs.unibo.it">HELM home</a>
+ </div>
+<!--
<ul>
<li>
<script>
</script>
</li>
</ul>
-<!--
- <tr>
- <td> View its metadata </td>
- <td>(Not implemented, yet. Coming soon.)</td>
- </tr>
- <tr>
- <td> Proof-check it </td>
- <td> (Not ported to V7, yet. Coming soon.) </td>
- </tr>
-->
</body>
</html>
var annotations = "<subst:annotations/>";
var url = "<subst:makeTheoryURL/>";
<![CDATA[
- document.write('<frameset cols="18%,*" border="1" >');
+ document.write('<frameset cols="20%,*" border="1" >');
document.write('<frame src="' + processorURL + 'apply?keys=RT&profile=' +
profile + '¶m.annotations=' + annotations + '¶m.CICURI=' + CICURI +
'¶m.url=' + escape(url) + '&xmluri=' +
<html>
<head>
<style>
+ li.section {
+ list-style-image:
+ url(http://helm.cs.unibo.it/helm/icons/section.png)
+ }
+ li.object {
+ list-style-image:
+ url(http://helm.cs.unibo.it/helm/icons/object.png)
+ }
</style>
</head>
<body>
</xsl:template>
<xsl:template match="section">
- <li>
- <a class="section" href="{concat($CICURI, text(), '/')}" helm:helm_link="href">
+ <li class="section">
+ <a class="section" href="{concat($CICURI, text(), '/')}"
+ helm:helm_link="href">
<xsl:value-of select="text()" />
</a>
<xsl:text>/</xsl:text>
</xsl:template>
<xsl:template match="object">
- <li>
+ <li class="object">
<a class="object" href="{concat($CICURI, @name)}" helm:helm_link="href">
<xsl:value-of select="@name" />
</a>
var lastX, lastY;
var selectedURI;
var selectedCICURL;
- var selectedTheoryURL;
var selectedForwardURL;
var selectedBackwardURL;
</script>
<table bgColor="cyan" border="2">
<tr><td><a href="javascript: var _ = window.open(selectedForwardURL)">Objects this one depends on.</a></td></tr>
<tr><td><a href="javascript: var _ = window.open(selectedCICURL,'_top')">Render this object.</a></td></tr>
- <tr><td><a href="javascript: var _ = window.open(selectedTheoryURL)">Objects depending directly on this one.</a></td></tr>
<tr><td><a href="javascript: var _ = window.open(selectedBackwardURL)">Objects depending on this one.</a></td></tr>
</table>
</td></tr>
<xsl:with-param name="s" select="$cicurl"/>
</xsl:call-template>
</xsl:variable>
- <xsl:variable name="theoryurl">
- <xsl:call-template name="makeDirectDependenciesURL">
- <xsl:with-param name="uri" select="@href"/>
- </xsl:call-template>
- </xsl:variable>
- <xsl:variable name="quotedtheoryurl">
- <xsl:call-template name="jsquote">
- <xsl:with-param name="s" select="$theoryurl"/>
- </xsl:call-template>
- </xsl:variable>
<xsl:variable name="forwardURL">
<xsl:call-template name="makeGraphURL">
<xsl:with-param name="uri" select="@href"/>
<xsl:copy>
<xsl:copy-of select="@*"/>
<xsl:if test="starts-with(@href,"cic:")">
- <xsl:attribute name="onMouseOver">lastX = getX(event); lastY = getY(event); selectedURI='<xsl:value-of select="$quoteduri"/>'; selectedCICURL='<xsl:value-of select="$quotedcicurl"/>'; selectedTheoryURL='<xsl:value-of select="$quotedtheoryurl"/>'; selectedForwardURL='<xsl:value-of select="$quotedForwardURL"/>'; selectedBackwardURL='<xsl:value-of select="$quotedBackwardURL"/>';</xsl:attribute>
+ <xsl:attribute name="onMouseOver">lastX = getX(event); lastY = getY(event); selectedURI='<xsl:value-of select="$quoteduri"/>'; selectedCICURL='<xsl:value-of select="$quotedcicurl"/>'; selectedForwardURL='<xsl:value-of select="$quotedForwardURL"/>'; selectedBackwardURL='<xsl:value-of select="$quotedBackwardURL"/>';</xsl:attribute>
<xsl:attribute name="href">javascript:moveMenu(lastX,lastY); showMenu();</xsl:attribute>
</xsl:if>
<xsl:apply-templates/>
<xsl:include href="metadataLib.xsl"/>
-<xsl:template match="InductiveDefinition">
- <xsl:for-each select="InductiveType">
- <xsl:variable name="CICURIInductiveType" select="concat($CICURI,'#xpointer(1/',position())"/>
- <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
- <xsl:call-template name="makelink">
- <xsl:with-param name="name" select="@name"/>
- <xsl:with-param name="CICURI" select="concat($CICURIInductiveType,')')"/>
- </xsl:call-template>
- <xsl:for-each select="Constructor">
- <xsl:variable name="CICURIConstructor" select="concat($CICURIInductiveType,'/',position(),')')"/>
- <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
- <xsl:call-template name="makelink">
- <xsl:with-param name="name" select="@name"/>
- <xsl:with-param name="CICURI" select="$CICURIConstructor"/>
- </xsl:call-template>
- </xsl:for-each>
- </xsl:for-each>
-</xsl:template>
-
-<!-- Not an Inductive Type -->
-<xsl:template match="*">
- <xsl:call-template name="makelink">
- <xsl:with-param name="name" select="$CICURI"/>
- <xsl:with-param name="CICURI" select="$CICURI"/>
- </xsl:call-template>
-</xsl:template>
-
</xsl:stylesheet>
<xsl:with-param name="uri" select="$CICURI"/>
</xsl:call-template>
</xsl:variable>
- <h1>Metadata of <a href="{$CICURL}"><xsl:value-of select="$CICURI"/></a></h1>
<xsl:apply-templates select="*"/>
- <!--CSC: code almost cut & pasted from makeGraphLinks -->
- <form name="uri_set_size">
- Number of nodes to show when following an hyperlink to a graph:
- <input type="text" onClick="return false" value="{$uri_set_size}" size="2"/> (30 suggested)
- </form>
- <!--CSC: end of cut & paste from makeGraphLinks -->
<xsl:call-template name="loop_show_dc">
<xsl:with-param name="CICURI" select="$CICURI"/>
</xsl:call-template>
</html>
</xsl:template>
-<xsl:template name="makelink">
- <xsl:param name="name" select="''"/>
- <xsl:param name="CICURI" select="''"/>
- <xsl:variable name="quotedCICURI">
- <xsl:call-template name="jsquote">
- <xsl:with-param name="s" select="$CICURI"/>
- <xsl:with-param name="times" select="2"/>
- </xsl:call-template>
- </xsl:variable>
- <xsl:variable name="quotedCICURIforURL">
- <xsl:call-template name="quote">
- <xsl:with-param name="s" select="$CICURI"/>
- </xsl:call-template>
- </xsl:variable>
- <xsl:choose>
- <xsl:when test="document(concat($BaseRDFURLBackward,$quotedCICURIforURL))/*/*/*">
- <p>
- <script>
- var CICURI = "<xsl:value-of select="$CICURI"/>";
-<![CDATA[
- document.write('<a href="' + mkMetaTheoryURL(CICURI) + '">View the objects depending on it.</a>');
-]]>
- </script>
- </p>
- <p>
- <xsl:variable name="forwardURL">
- <xsl:call-template name="makeGraphURL">
- <xsl:with-param name="uri" select="$CICURI"/>
- <xsl:with-param name="keys" select="'MMG'"/>
- <!-- <xsl:with-param name="uri_set_size" select="'document.uri_set_size.elements[0].value'"/> -->
- <xsl:with-param name="uri_set_size" select="'30'"/>
- </xsl:call-template>
- </xsl:variable>
- <a href="{$forwardURL}">View the graph of all the objects depending on this one.</a>
- </p>
- </xsl:when>
- <xsl:otherwise>
- <p>
- Object <xsl:value-of select="$name"/> is never referenced in other objects
- </p>
- </xsl:otherwise>
- </xsl:choose>
-
- <xsl:choose>
- <xsl:when test="document(concat($BaseRDFURLForward,$quotedCICURIforURL))/*/*/*">
- <p>
- <xsl:variable name="forwardURL">
- <xsl:call-template name="makeGraphURL">
- <xsl:with-param name="uri" select="$CICURI"/>
- <xsl:with-param name="keys" select="'MDG'"/>
- <!-- <xsl:with-param name="uri_set_size" select="'document.uri_set_size.elements[0].value'"/> -->
- <xsl:with-param name="uri_set_size" select="'30'"/>
- </xsl:call-template>
- </xsl:variable>
- <a href="{$forwardURL}">View the graph of all the dependencies of this object.</a>
- </p>
- </xsl:when>
- <xsl:otherwise>
- <p>
- Object <xsl:value-of select="$name"/> does not reference any other object
- </p>
- </xsl:otherwise>
- </xsl:choose>
-</xsl:template>
-
</xsl:stylesheet>
<xsl:value-of select="$url"/>
</xsl:template>
+<xsl:template match="subst:CICURL">
+ <xsl:call-template name="makeCICURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:HTMLURL">
+ <xsl:call-template name="makeHTMLURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:MathMLPresentationURL">
+ <xsl:call-template name="makeMathMLPresentationURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:MathMLContentURL">
+ <xsl:call-template name="makeMathMLContentURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:DirectRDFURL">
+ <xsl:call-template name="makeDirectRDFURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:InverseRDFURL">
+ <xsl:call-template name="makeInverseRDFURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:DCRDFURL">
+ <xsl:call-template name="makeDCRDFURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
<xsl:template match="subst:CICURI">
<xsl:value-of select="$CICURI"/>
</xsl:template>
</xsl:call-template>
</xsl:template>
+<xsl:template match="subst:makeDirectDependencyURL">
+ <xsl:call-template name="makeDirectDependenciesURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:makeRecDependencyURL">
+ <xsl:call-template name="makeGraphURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ <xsl:with-param name="keys" select="'MDG'"/>
+ <!-- <xsl:with-param name="uri_set_size" select="'document.uri_set_size.elements[0].value'"/> -->
+ <xsl:with-param name="uri_set_size" select="'30'"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:makeInverseDirectDependencyURL">
+ <xsl:call-template name="makeInverseDirectDependenciesURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:makeInverseRecDependencyURL">
+ <xsl:call-template name="makeGraphURL">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ <xsl:with-param name="keys" select="'MMG'"/>
+ <!-- <xsl:with-param name="uri_set_size" select="'document.uri_set_size.elements[0].value'"/> -->
+ <xsl:with-param name="uri_set_size" select="'30'"/>
+ </xsl:call-template>
+</xsl:template>
+
<xsl:template match="/|*">
<xsl:copy>
<xsl:copy-of select="@*"/>
<xsl:when test="contains($path, '/')">
<xsl:variable name="segment" select="substring-before($path,'/')" />
<xsl:variable name="newacc" select="concat($acc, $segment, '/')" />
- <html:a style="text-decoration: none" href="{$newacc}" helm:helm_link="href">
+ <html:a style="text-decoration: none"
+ href="{$newacc}" helm:helm_link="href">
<xsl:value-of select="$segment" />
</html:a>
<xsl:text>/</xsl:text>
<xsl:template name="add_breadcrumb_trail">
<xsl:param name="CICURI" select="''"/>
-<!-- <xsl:param name="prefix" select="''"/> -->
<xsl:variable name="prefix" select="substring-before($CICURI, ':')" />
- <html:h3 style="font-family: sans-serif">
- <html:a style="text-decoration: none" href="{concat($prefix, ':/')}">
- <xsl:value-of select="concat($prefix, ':')" />
- </html:a>
- <xsl:text>/</xsl:text>
- <xsl:call-template name="breadcrumb_trail">
- <xsl:with-param name="path"
- select="substring($CICURI, string-length($prefix)+3)" />
- <xsl:with-param name="acc" select="concat($prefix, ':/')" />
- </xsl:call-template>
- </html:h3>
+ <html:table width="100%">
+ <html:tr>
+ <html:td style="text-align:left">
+ <html:h3 style="font-family: sans-serif">
+ <html:a style="text-decoration: none"
+ href="{concat($prefix, ':/')}" helm:helm_link="href">
+ <xsl:value-of select="concat($prefix, ':')" />
+ </html:a>
+ <xsl:text>/</xsl:text>
+ <xsl:call-template name="breadcrumb_trail">
+ <xsl:with-param name="path"
+ select="substring($CICURI, string-length($prefix)+3)" />
+ <xsl:with-param name="acc" select="concat($prefix, ':/')" />
+ </xsl:call-template>
+ </html:h3>
+ </html:td>
+ <html:td style="text-align:right">
+ <html:span style="font-family:sans-serif">
+ <html:a href="theory:/" helm:helm_link="href">theory:/</html:a>
+ <xsl:text>   </xsl:text>
+ <html:a href="cic:/" helm:helm_link="href">cic:/</html:a>
+ </html:span>
+ </html:td>
+ </html:tr>
+ </html:table>
<html:hr />
</xsl:template>
projects / helm.git / commitdiff