ul.control { padding-left: 1em; list-style: none; }
ul.control2 { font-size: small; padding-left: 2em; }
div.center { text-align: center }
+h2.uri { margin-top: 0ex; margin-bottom: 0ex }
</style>
<script>
</head>
<body id="normal">
+ <div class="center">
+ <small>
+ User:
+ <uwobo:profileCtrlOptionList xmlns:uwobo="http://helm.cs.unibo.it/uwobo"
+ type="cic"/>
+ <br />
+ [<a href="http://helm.cs.unibo.it" target="_top">HELM home</a>]
+ <script>
+ document.write('[<a target="_top" href="' + processorURL +
+ 'apply?keys=SPK&param.processorURL=' + escape(processorURL) +
+ '&param.profile=' + escape(profile) +
+ '&xmluri=' + interfaceURL + 'html/configuration.html' +
+ '">configuration</a>]');
+ </script>
+ </small>
+ </div>
+ <hr />
<div class="center">
<script>
document.write('<a target="result" style="color:black; text-decoration:none" href="' + url + '&param.toplevel=true">');
document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/object.png" />');
</script>
- <h2><subst:base_CICURI/></h2>
+ <h2 class="uri"><subst:base_CICURI/></h2>
<script>document.write('</a>');</script>
</div>
<hr />
</li>
-->
<li>
- View [
+ View
<script>
- 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>');
+ 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>
</ul>
</li>
</ul>
-<hr />
-<div class="center">
- <a href="http://helm.cs.unibo.it" target="_top">HELM home</a>
-</div>
</body>
</html>
var url = "<subst:makeURL/>";
<![CDATA[
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=' +
+ document.write('<frame src="' + processorURL +
+ 'apply?keys=SPK%2CRT&profile=' + profile + '¶m.profile=' + profile +
+ '¶m.annotations=' + annotations + '¶m.CICURI=' +
+ CICURI + '¶m.url=' + escape(url) + '&xmluri=' +
escape(interfaceURL + 'html/cic/control.html') +'"/>');
document.write('<frame src="' + url + '¶m.toplevel=true" name="result"/>');
document.write('</frameset>');
--- /dev/null
+<?xml version="1.0"?>
+
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:uwobo="http://helm.cs.unibo.it/uwobo">
+
+<head>
+<title>Configuration</title>
+<style type="text/css">
+#normal { background-color: white; font-family: sans-serif }
+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 }
+div.center { text-align: center }
+</style>
+
+<script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/defaults.js">
+ 
+</script>
+<script language="JavaScript" src="http://helm.cs.unibo.it/helm/javascript/prelude.js">
+ 
+</script>
+
+</head>
+
+<body id="normal">
+<a name="top"/>
+<table border="0" width="100%" cellpadding="4">
+<tr><td class="head" align="center"><big><big>HELM Library Configuration</big></big></td></tr>
+</table>
+
+<div id="indent">
+<br />
+When you are done with the changes, please <em>do not forget to click on the Save button</em> at the
+bottom of the page.
+<br />
+<table border="0">
+ <tr>
+ <th colspan="2" align="left">Profile</th>
+ </tr>
+ <tr>
+ <td>
+ <form name="profile">
+ <script>
+ var defaultValue = '<uwobo:profile/>';
+ document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+ </script>
+ </form>
+ </td>
+ <td>
+ <form name="profileList">
+ <script>
+ var interfaceURL = '<uwobo:key name="interfaceURL"/>';
+ </script>
+ <select onChange="selectProfile(this, interfaceURL)">
+ <option value="">---</option>
+ <uwobo:profileOptionList/>
+ </select>
+ </form>
+ </td>
+ <td>
+ (changing the profile will update all the fields below)
+ </td>
+ </tr>
+ <tr>
+ <td colspan="2" align="left"><b>UWOBO URL</b>
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <form name="uwoboURL">
+ <script>
+ var defaultValue = '<uwobo:key name="processorURL"/>';
+ document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+ </script>
+ </form>
+ </td>
+ <td>
+ <form>
+ <select onChange="selectUwoboURL(this)">
+ <option value="">---</option>
+ <option value="localhost">localhost</option>
+ <option value="mowgli.cs.unibo.it">mowgli</option>
+ <option value="marcello.cs.unibo.it">marcello</option>
+ </select>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Check" onClick="window.open(getUwoboURL() + 'help')"/>
+   
+ [<a href="http://www.cs.unibo.it/helm/uwobo/panel/index.html">UWOBO panel</a>]
+ </form>
+ </td>
+ </tr>
+ <tr>
+ <td colspan="2" align="left"><b>Getter URL</b>
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <form name="getterURL">
+ <script>
+ var defaultValue = '<uwobo:key name="getterURL"/>';
+ document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+ </script>
+ </form>
+ </td>
+ <td>
+ <form>
+ <select onChange="selectGetterURL(this)">
+ <option value="">---</option>
+ <option value="localhost">localhost</option>
+ <option value="mowgli.cs.unibo.it">mowgli</option>
+ <option value="marcello.cs.unibo.it">marcello</option>
+ </select>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Check" onClick="window.open(getGetterURL() + 'help')"/>
+   
+ [<a href="http://www.cs.unibo.it/helm/getter/panel/index.html">Getter panel</a>]
+ </form>
+ </td>
+ </tr>
+ <tr>
+ <th colspan="2" align="left">URI-Set URL</th>
+ </tr>
+ <tr>
+ <td>
+ <form name="uri_set_queueURL">
+ <script>
+ var defaultValue = '<uwobo:key name="uri_set_queueURL"/>';
+ document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+ </script>
+ </form>
+ </td>
+ <td>
+ <form>
+ <select onChange="selectURISetQueueURL(this)">
+ <option value="">---</option>
+ <option value="localhost">localhost</option>
+ <option value="mowgli.cs.unibo.it">mowgli</option>
+ <option value="marcello.cs.unibo.it">marcello</option>
+ </select>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Check" onClick="window.open(getURISetQueueURL() + 'help')"/>
+ </form>
+ </td>
+ </tr>
+ <tr>
+ <th colspan="2" align="left">Graph Drawer URL</th>
+ </tr>
+ <tr>
+ <td>
+ <form name="draw_graphURL">
+ <script>
+ var defaultValue = '<uwobo:key name="draw_graphURL"/>';
+ document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+ </script>
+ </form>
+ </td>
+ <td>
+ <form>
+ <select onChange="selectDrawGraphURL(this)">
+ <option value="">---</option>
+ <option value="localhost">localhost</option>
+ <option value="mowgli.cs.unibo.it">mowgli</option>
+ <option value="marcello.cs.unibo.it">marcello</option>
+ </select>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Check" onClick="window.open(getDrawGraphURL() + 'help')"/>
+ </form>
+ </td>
+ </tr>
+ <tr>
+ <th colspan="2" align="left">Proof-Checker URL</th>
+ </tr>
+ <tr>
+ <td>
+ <form name="proofcheckerURL">
+ <script>
+ var defaultValue = '<uwobo:key name="proofcheckerURL"/>';
+ document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+ </script>
+ </form>
+ </td>
+ <td>
+ <form>
+ <select onChange="selectProofCheckerURL(this)">
+ <option value="">---</option>
+ <option value="localhost">localhost</option>
+ <option value="mowgli.cs.unibo.it">mowgli</option>
+ <option value="marcello.cs.unibo.it">marcello</option>
+ </select>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Check" onClick="window.open(getProofCheckerURL() + 'help')"/>
+ </form>
+ </td>
+ </tr>
+ <tr>
+ <th colspan="2" align="left">RDFly URL</th>
+ </tr>
+ <tr>
+ <td>
+ <form name="rdflyURL">
+ <script>
+ var defaultValue = '<uwobo:key name="rdflyURL"/>';
+ document.write('<input type="text" value="' + defaultValue + '" size="50"/>');
+ </script>
+ </form>
+ </td>
+ <td>
+ <form>
+ <select onChange="selectRdflyURL(this)">
+ <option value="">---</option>
+ <option value="localhost">localhost</option>
+ <option value="mowgli.cs.unibo.it">mowgli</option>
+ <option value="marcello.cs.unibo.it">marcello</option>
+ </select>
+ </form>
+ </td>
+ <td>
+ <form>
+ <input type="button" value="Check" onClick="window.open(getRdflyURL() + 'help')"/>
+ </form>
+ </td>
+ </tr>
+</table>
+<br />
+<table border="0">
+<tr>
+<td><b style="padding-right: 2em">Natural language rendering</b></td>
+<td>
+<form name="naturalLanguage">
+<script>
+var defaultValue = '<uwobo:key name="naturalLanguage"/>';
+if (defaultValue == 'yes')
+ document.write('<input type="checkbox" checked="1" />');
+else
+ document.write('<input type="checkbox" />');
+</script>
+</form>
+</td>
+</tr>
+<tr>
+<td><b style="padding-right: 2em">Maximum size of dependency graph</b></td>
+<td>
+<form name="maxGraphSize">
+<script>
+var defaultValue = '<uwobo:key name="uri_set_size"/>';
+document.write('<input type="text" value="' + defaultValue + '" size="3" maxlength="3" />');
+</script>
+</form>
+</td>
+</tr>
+</table>
+<br />
+<table border="0">
+ <tr>
+ <th colspan="2" align="left">Browser</th>
+ </tr>
+ <tr>
+ <td>
+ Only new browsers support UNICODE, that is needed to render
+ mathematical documents. Some old browsers, though, can render
+ the most common symbols through the "symbol" font.
+ </td>
+ </tr>
+ <tr>
+ <td>
+ To make us understand what kind of browser you have, please
+ select below the symbol for "not belongs to". If both options
+ do not show that symbol, then you will be only able to use
+ the MathML mode with an external plug-out for MathML presentation.
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <form name="UNICODEvsSYMBOL">
+ <b>Where do you see the "not belongs to" symbol?</b>
+ <script>
+ var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
+ if (defaultValue == 'symbol')
+ document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" checked="" />');
+ else
+ document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" />');
+ </script>
+ <font face="symbol">Ï</font>
+ <script>
+ var defaultValue = '<uwobo:key name="UNICODEvsSYMBOL"/>';
+ if (defaultValue == 'unicode')
+ document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" checked="" />');
+ else
+ document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" />');
+ </script>
+ ∉
+ </form>
+ </td>
+ </tr>
+</table>
+</div>
+
+<div class="center">
+ <form name="submit">
+ <script>
+ var origProfileId = '<uwobo:profile/>';
+ </script>
+ <input type="button" value="Save" onClick="saveProfile(origProfileId)"/>
+ </form>
+</div>
+
+</body>
+</html>
+
#centered { text-align: center }
li { padding-bottom: 1ex }
div.center { text-align: center }
+h2.uri { margin-top: 0ex; margin-bottom: 0ex }
</style>
-<script language="JavaScript" src="../../javascript/defaults.js"></script>
-<script language="JavaScript" src="../../javascript/utils.js"></script>
-<script language="JavaScript" src="../../javascript/control.js"></script>
<script>
var interfaceURL = "<subst:interfaceURL/>";
+ var processorURL = "<subst:processorURL/>";
+ var profile = "<subst:profile/>";
var url = "<subst:url/>";
</script>
</head>
<body id="normal">
+ <div class="center">
+ <small>
+ User:
+ <uwobo:profileCtrlOptionList xmlns:uwobo="http://helm.cs.unibo.it/uwobo"
+ type="folder"/>
+ <br />
+ [<a href="http://helm.cs.unibo.it" target="_top">HELM home</a>]
+ <script>
+ document.write('[<a target="_top" href="' + processorURL +
+ 'apply?keys=SPK&param.processorURL=' + escape(processorURL) +
+ '&param.profile=' + escape(profile) +
+ '&xmluri=' + interfaceURL + 'html/configuration.html' +
+ '">configuration</a>]');
+ </script>
+ </small>
+ </div>
+ <hr />
<div class="center">
<script>
document.write('<a target="result" style="color:black; text-decoration:none" href="' + url + '&param.toplevel=true">');
document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/folder.png" />');
</script>
- <h2><subst:base_CICURI/></h2>
+ <h2 class="uri"><subst:base_CICURI/></h2>
<script>document.write('</a>');</script>
</div>
- <hr />
- <div class="center">
- <a href="http://helm.cs.unibo.it" target="_top">HELM home</a>
- </div>
<!--
<ul>
<li>
var url = "<subst:makeTheoryURL/>";
<![CDATA[
document.write('<frameset cols="20%,*" border="1" >');
- document.write('<frame src="' + processorURL + 'apply?keys=RT&profile=' +
- profile + '¶m.annotations=' + annotations + '¶m.CICURI=' + CICURI +
+ document.write('<frame src="' + processorURL +
+ 'apply?keys=SPK%2CRT&profile=' + profile + '¶m.profile=' + profile +
+ '¶m.annotations=' + annotations + '¶m.CICURI=' + CICURI +
'¶m.url=' + escape(url) + '&xmluri=' +
escape(interfaceURL + 'html/folder/control.html') +'"/>');
document.write('<frame src="' + url + '¶m.toplevel=true" name="result"/>');
#centered { text-align: center }
li { padding-bottom: 1ex }
div.center { text-align: center }
+h2.uri { margin-top: 0ex; margin-bottom: 0ex }
</style>
<script language="JavaScript" src="../../javascript/defaults.js"></script>
<script language="JavaScript" src="../../javascript/control.js"></script>
<script>
var interfaceURL = "<subst:interfaceURL/>";
+ var processorURL = "<subst:processorURL/>";
+ var profile = "<subst:profile/>";
var url = "<subst:url/>";
</script>
</head>
<body id="normal">
+ <div class="center">
+ <small>
+ User:
+ <uwobo:profileCtrlOptionList xmlns:uwobo="http://helm.cs.unibo.it/uwobo"
+ type="theory"/>
+ <br />
+ [<a href="http://helm.cs.unibo.it" target="_top">HELM home</a>]
+ <script>
+ document.write('[<a target="_top" href="' + processorURL +
+ 'apply?keys=SPK&param.processorURL=' + escape(processorURL) +
+ '&param.profile=' + escape(profile) +
+ '&xmluri=' + interfaceURL + 'html/configuration.html' +
+ '">configuration</a>]');
+ </script>
+ </small>
+ </div>
+ <hr />
<div class="center">
<script>
document.write('<a target="result" style="color:black; text-decoration:none" href="' + url + '&param.toplevel=true">');
document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/theory.png" />');
</script>
- <h2><subst:base_CICURI/></h2>
+ <h2 class="uri"><subst:base_CICURI/></h2>
<script>document.write('</a>');</script>
</div>
- <hr />
- <div class="center">
- <a href="http://helm.cs.unibo.it" target="_top">HELM home</a>
- </div>
<!--
<ul>
<li>
var url = "<subst:makeTheoryURL/>";
<![CDATA[
document.write('<frameset cols="20%,*" border="1" >');
- document.write('<frame src="' + processorURL + 'apply?keys=RT&profile=' +
- profile + '¶m.annotations=' + annotations + '¶m.CICURI=' + CICURI +
+ document.write('<frame src="' + processorURL +
+ 'apply?keys=SPK&2CRT&profile=' + profile + '¶m.profile=' + profile +
+ '¶m.annotations=' + annotations + '¶m.CICURI=' + CICURI +
'¶m.url=' + escape(url) + '&xmluri=' +
escape(interfaceURL + 'html/theory/control.html') +'"/>');
document.write('<frame src="' + url + '¶m.toplevel=true" name="result"/>');
else if (type == "theory")
return processorURL + "apply?keys=RT&xmluri=" + escape(thinterfaceURLidx) + "¶m.ignore=" + keys + "¶m.CICURI=" + uri;
}
+
return UNICODEvsSYMBOL;
}
-function getInitialUNICODEvsSYMBOLsymbol()
+function getInitialUNICODEvsSYMBOLsymbol(defaultValue)
{
- if (getInitialUNICODEvsSYMBOL() == "symbol")
+ if (defaultValue == "symbol")
return "CHECKED";
else
return "";
}
-function getInitialUNICODEvsSYMBOLunicode()
+function getInitialUNICODEvsSYMBOLunicode(defaultValue)
{
- if (getInitialUNICODEvsSYMBOL() == "unicode")
+ if (defaultValue == "unicode")
return "CHECKED";
else
return "";
}
+
+function getProfileId()
+{
+ return document.profile.elements[0].value;
+}
function getUwoboURL()
{
return document.uri_set_queueURL.elements[0].value;
}
+function getRdflyURL()
+{
+ return document.rdflyURL.elements[0].value;
+}
+
function getUNICODEvsSYMBOL()
{
if (document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].checked)
- return document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].value;
+ return 'symbol';
+ else
+ return 'unicode';
+}
+
+function getNaturalLanguage()
+{
+ if (document.naturalLanguage.elements[0].checked)
+ return 'yes';
else
- return document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[1].value;
+ return 'no';
+}
+
+function getMaxGraphSize()
+{
+ return document.maxGraphSize.elements[0].value;
+}
+
+function getUpdateURL()
+{
+ return '¶m.processorURL=' + escape(getUwoboURL()) +
+ '¶m.getterURL=' + escape(getGetterURL()) +
+ '¶m.uri_set_queueURL=' + escape(getURISetQueueURL()) +
+ '¶m.draw_graphURL=' + escape(getDrawGraphURL()) +
+ '¶m.proofcheckerURL=' + escape(getProofCheckerURL()) +
+ '¶m.rdflyURL=' + escape(getRdflyURL()) +
+ '¶m.naturalLanguage=' + escape(getNaturalLanguage()) +
+ '¶m.uri_set_size=' + escape(getMaxGraphSize()) +
+ '¶m.UNICODEvsSYMBOL=' + escape(getUNICODEvsSYMBOL());
}
function chopSlash(url)
if (ss.selectedIndex == 0) {
document.uwoboURL.elements[0].value = "";
} else {
- document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/helm/servlet/uwobo/";
+ document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58080/";
}
-
- refreshLinks();
}
function selectGetterURL(ss)
if (ss.selectedIndex == 0) {
document.getterURL.elements[0].value = "";
} else {
- document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":48081/";
+ document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58081/";
}
-
- refreshLinks();
}
function selectProofCheckerURL(ss)
if (ss.selectedIndex == 0) {
document.proofcheckerURL.elements[0].value = "";
} else {
- document.proofcheckerURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":48084/";
+ document.proofcheckerURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58084/";
}
-
- refreshLinks();
}
function selectDrawGraphURL(ss)
if (ss.selectedIndex == 0) {
document.draw_graphURL.elements[0].value = "";
} else {
- document.draw_graphURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":48083/";
+ document.draw_graphURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58083/";
}
-
- refreshLinks();
}
function selectURISetQueueURL(ss)
if (ss.selectedIndex == 0) {
document.uri_set_queueURL.elements[0].value = "";
} else {
- document.uri_set_queueURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":48082/";
+ document.uri_set_queueURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58082/";
+ }
+}
+
+function selectRdflyURL(ss)
+{
+ if (ss.selectedIndex == 0) {
+ document.rdflyURL.elements[0].value = "";
+ } else {
+ document.rdflyURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":58086/";
}
+}
+
+function selectProfile(ss, interfaceURL)
+{
+ location = getUwoboURL() +
+ 'apply?keys=SPK¶m.processorURL=' + escape(getUwoboURL()) +
+ '¶m.profile=' + escape(ss.options[ss.selectedIndex].value) +
+ '&xmluri=' + escape(interfaceURL + 'html/configuration.html');
+}
- refreshLinks();
+function saveProfile(origProfileId)
+{
+ var profileId = getProfileId();
+ var exists = false;
+ var i;
+ var options = document.profileList.elements[0];
+ for (i = 0; i < options.length; i++)
+ if (profileId == options[i].value) exists = true;
+ if (exists) {
+ if (confirm('Update the profile \'' + profileId + '\'?'))
+ location = getUwoboURL() + 'setparams?id=' + profileId + getUpdateURL();
+ } else {
+ if (confirm('Create a new profile \'' + profileId + '\' with the current settings?'))
+ location = getUwoboURL() + 'createprofile?id=' + profileId + '&orig=' + origProfileId + getUpdateURL();
+ }
}
+
list-style-image:
url(<xsl:value-of select="$interfaceURL"/>/icons/object.png)
}
+ a.theory { text-decoration: none; }
+ a.folder { text-decoration: none; }
+ a.object { text-decoration: none; }
</style>
</head>
<body>
<ul>
+ <!-- sorting: folders interleaved with theories, then objects-->
+ <xsl:apply-templates
+ select="section|object[substring-after(@name,'.')='theory']">
+ <xsl:sort select="concat(@name,string(.))" />
+ </xsl:apply-templates>
+ <xsl:apply-templates
+ select="object[not(substring-after(@name,'.')='theory')]" />
+ <!-- sorting: folders, theories, objects -->
+<!--
<xsl:apply-templates select="section" />
<xsl:apply-templates select="object" />
+-->
</ul>
</body>
</html>
<table bgColor="green" id="pippo">
<tr><td>
<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: location = 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(selectedBackwardURL)">Objects depending on this one.</a></td></tr>
+ <tr><td><a href="javascript: location = selectedBackwardURL">Objects depending on this one.</a></td></tr>
</table>
</td></tr>
</table>
</xsl:call-template>
</xsl:template>
+<xsl:template match="subst:makeHTMLURLwithProfile">
+ <xsl:call-template name="makeHTMLURLwithProfile">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ <xsl:with-param name="profile" select="@profile"/>
+ </xsl:call-template>
+</xsl:template>
+
<xsl:template match="subst:makeTheoryURL">
<xsl:call-template name="makeTheoryURL">
<xsl:with-param name="uri" select="$CICURI"/>
</xsl:call-template>
</xsl:template>
+<xsl:template match="subst:makeTheoryURLwithProfile">
+ <xsl:call-template name="makeTheoryURLwithProfile">
+ <xsl:with-param name="uri" select="$CICURI"/>
+ <xsl:with-param name="createframeset" select="true()"/>
+ <xsl:with-param name="profile" select="@profile"/>
+ </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 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:with-param name="uri_set_size" select="$uri_set_size"/>
</xsl:call-template>
</xsl:template>
<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:with-param name="uri_set_size" select="$uri_set_size"/>
</xsl:call-template>
</xsl:template>
--- /dev/null
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+ xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+ xmlns:uwobo="http://helm.cs.unibo.it/uwobo"
+ xmlns:subst="http://www.cs.unibo.it/helm/subst"
+>
+
+<xsl:output
+ method="html"
+ encoding="ISO-8859-1"
+ media-type="text/html" />
+<!--
+<xsl:output
+ method="xml"
+ encoding="iso-8859-1"
+ media-type="text/xml"
+ doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
+ doctype-system="DTD/xhtml1-transitional.dtd" />
+-->
+
+<xsl:param name="processorURL" select="''"/>
+<xsl:param name="profile" select="''"/>
+
+<xsl:variable name="params" select="document(concat($processorURL, 'getparams?id=', $profile))"/>
+<xsl:variable name="profiles" select="document(concat($processorURL, 'listprofiles'))//li"/>
+
+<xsl:template match="node()">
+ <xsl:copy>
+ <xsl:copy-of select="@*"/>
+ <xsl:apply-templates />
+ </xsl:copy>
+</xsl:template>
+
+<xsl:template match="uwobo:key">
+ <xsl:variable name="name" select="@name"/>
+ <xsl:value-of select="string($params/html/body/ul/li[string(key)=$name]/value)"/>
+</xsl:template>
+
+<xsl:template match="uwobo:profile">
+ <xsl:value-of select="$profile"/>
+</xsl:template>
+
+<xsl:template match="uwobo:profileOptionList">
+ <xsl:apply-templates select="$profiles" mode="make_form_option"/>
+</xsl:template>
+
+<xsl:template match="uwobo:profileCtrlOptionList">
+ <script>
+ var cicurls = new Array();
+ </script>
+ <select onChange="window.open(cicurls[selectedIndex],'_top')">
+ <xsl:apply-templates select="$profiles" mode="make_ctrl_form_option">
+ <xsl:with-param name="type" select="@type"/>
+ </xsl:apply-templates>
+ </select>
+</xsl:template>
+
+<xsl:template match="li" mode="make_form_option">
+ <xsl:variable name="tmp" select="string(.)" />
+ <option value="{$tmp}">
+ <xsl:if test="$tmp=$profile">
+ <xsl:attribute name="selected">1</xsl:attribute>
+ </xsl:if>
+ <xsl:value-of select="$tmp"/>
+ </option>
+</xsl:template>
+
+<xsl:template match="li" mode="make_ctrl_form_option">
+ <xsl:param name="type" select="''"/>
+ <script>
+ <xsl:text>cicurls[</xsl:text>
+ <xsl:value-of select="position()-1" />
+ <xsl:text>] = "</xsl:text>
+ <xsl:choose>
+ <xsl:when test="$type = 'cic'">
+ <subst:makeHTMLURLwithProfile profile="{string(.)}"/>
+ </xsl:when>
+ <xsl:otherwise>
+ <subst:makeTheoryURLwithProfile profile="{string(.)}"/>
+ </xsl:otherwise>
+ </xsl:choose>
+ <xsl:text>";</xsl:text>
+ </script><xsl:text>
+ </xsl:text>
+ <option value="{position()}">
+ <xsl:if test="string(.)=$profile">
+ <xsl:attribute name="selected">1</xsl:attribute>
+ </xsl:if>
+ <xsl:value-of select="string(.)"/>
+ </option>
+</xsl:template>
+
+</xsl:stylesheet>
<xsl:template name="add_breadcrumb_trail">
<xsl:param name="CICURI" select="''"/>
<xsl:variable name="prefix" select="substring-before($CICURI, ':')" />
- <html:table width="100%">
- <html:tr>
- <html:td>
- <html:h3 style="font-family: sans-serif">
+ <html:table width="100%"><xsl:text>
+ </xsl:text>
+ <html:tr><xsl:text>
+ </xsl:text>
+ <html:td><xsl:text>
+ </xsl:text>
+ <html:span
+ style="font-family: sans-serif; font-weight: bold; font-size: 120%">
<html:a style="text-decoration: none"
href="{concat($prefix, ':/')}" helm:helm_link="href">
<xsl:value-of select="concat($prefix, ':')" />
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><xsl:text>
+ </xsl:text>
+ </html:td><xsl:text>
+ </xsl:text>
+ <html:td style="text-align:right"><xsl:text>
+ </xsl:text>
<html:span style="font-family:sans-serif">
- <html:a href="http://mowgli.cs.unibo.it:58085/getpage?url=index.html&preprocess=true&param.keys=d_c%2CC1%2CHC2%2CL&param.thkeys=T1%2CT2%2CL%2CE&param.embedkeys=d_c%2CTC1%2CHC2%2CL&param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&param.encoding=iso-8859-1&param.thencoding=iso-8859-1&param.media-type=text/html&param.thmedia-type=text/html&param.CICURI=dummy:query_result&param.naturalLanguage=yes&param.annotations=no&param.processorURL=http://mowgli.cs.unibo.it:58080/" target="_top">Search</html:a>
- </html:span>
- </html:td>
+ [<html:a href="http://mowgli.cs.unibo.it:58085/getpage?url=index.html&preprocess=true&param.keys=d_c%2CC1%2CHC2%2CL&param.thkeys=T1%2CT2%2CL%2CE&param.embedkeys=d_c%2CTC1%2CHC2%2CL&param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&param.encoding=iso-8859-1&param.thencoding=iso-8859-1&param.media-type=text/html&param.thmedia-type=text/html&param.CICURI=dummy:query_result&param.naturalLanguage=yes&param.annotations=no&param.processorURL=http://mowgli.cs.unibo.it:58080/" target="_top">search</html:a>]
+ </html:span><xsl:text>
+ </xsl:text>
+ </html:td><xsl:text>
+ </xsl:text>
</html:tr>
- </html:table>
+ </html:table><xsl:text>
+ </xsl:text>
<html:hr />
</xsl:template>
projects / helm.git / commitdiff