return getterURL;
}
+function getInitialDrawGraphURL()
+{
+ var search = top.location.search;
+ search = search.slice(1);
+ var args = search.split("&");
+ var draw_graphURL = "-1";
+ for (var i = 0 ; i < args.length ; i++) {
+ var couple = args[i].split("=");
+ if (couple[0] == "draw_graphURL") draw_graphURL = couple[1];
+ }
+ if (draw_graphURL == "-1") draw_graphURL = getDefaultParam("draw_graphURL");
+ return draw_graphURL;
+}
+
+function getInitialURISetQueueURL()
+{
+ var search = top.location.search;
+ search = search.slice(1);
+ var args = search.split("&");
+ var uri_set_queueURL = "-1";
+ for (var i = 0 ; i < args.length ; i++) {
+ var couple = args[i].split("=");
+ if (couple[0] == "uri_set_queueURL") uri_set_queueURL = couple[1];
+ }
+ if (uri_set_queueURL == "-1") uri_set_queueURL = getDefaultParam("uri_set_queueURL");
+ return uri_set_queueURL;
+}
+
+function getInitialUNICODEvsSYMBOL()
+{
+ var search = top.location.search;
+ search = search.slice(1);
+ var args = search.split("&");
+ var UNICODEvsSYMBOL = "-1";
+ for (var i = 0 ; i < args.length ; i++) {
+ var couple = args[i].split("=");
+ if (couple[0] == "UNICODEvsSYMBOL") UNICODEvsSYMBOL = couple[1];
+ }
+ if (UNICODEvsSYMBOL == "-1") UNICODEvsSYMBOL = getDefaultParam("UNICODEvsSYMBOL");
+ return UNICODEvsSYMBOL;
+}
+
+function getInitialUNICODEvsSYMBOLsymbol()
+{
+ if (getInitialUNICODEvsSYMBOL() == "symbol")
+ return "CHECKED";
+ else
+ return "";
+}
+
+function getInitialUNICODEvsSYMBOLunicode()
+{
+ if (getInitialUNICODEvsSYMBOL() == "unicode")
+ return "CHECKED";
+ else
+ return "";
+}
+
function getUwoboURL()
{
return document.uwoboURL.elements[0].value;
return document.getterURL.elements[0].value;
}
+function getDrawGraphURL()
+{
+ return document.draw_graphURL.elements[0].value;
+}
+
+function getURISetQueueURL()
+{
+ return document.uri_set_queueURL.elements[0].value;
+}
+
+function getUNICODEvsSYMBOL()
+{
+ if (document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].checked)
+ return document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].value;
+ else
+ return document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[1].value;
+}
+
+function chopSlash(url)
+{
+ return url.slice(0,url.lastIndexOf('/'));
+}
+
function refreshLinks()
{
var search = top.location.search;
for (var i = 0 ; i < args.length ; i++) {
var couple = args[i].split("=");
switch (couple[0]) {
- case "cicuri" : cicuri =couple[1]; break;
- case "theoryuri" : theoryicuri =couple[1]; break;
- case "mode" : mode =couple[1]; break;
+ case "cicuri" : cicuri =couple[1]; break;
+ case "theoryuri" : theoryuri =couple[1]; break;
+ case "mode" : mode =couple[1]; break;
}
}
if (cicuri == "-1") cicuri = getDefaultParam("cicuri");
if (theoryuri == "-1") theoryuri = getDefaultParam("theoryuri");
if (mode == "-1") mode = getDefaultParam("mode");
- document.links[2].search = "?getterURL=" + getGetterURL();
-
- document.links[3].search =
- "?processorURL=" + getUwoboURL() +
- "&getterURL=" + getGetterURL();
+ document.links[2].href =
+ document.links[2].protocol + '//' +
+ document.links[2].host +
+ document.links[2].pathname +
+ "?getterURL=" + getGetterURL();
- document.links[4].href = "../html/library/index.html?cicuri=" + cicuri
- + "&theoryuri=" + theoryuri
- + "&mode=" + mode
- + "&processorURL=" + getUwoboURL()
- + "&getterURL=" + getGetterURL();
+ document.links[3].href =
+ document.links[3].protocol + '//' +
+ document.links[3].host +
+ document.links[3].pathname +
+ "?processorURL=" + getUwoboURL() +
+ "&getterURL=" + getGetterURL();
+
+ var topurl =
+ chopSlash(chopSlash(
+ document.location.protocol + '//' +
+ document.location.host +
+ document.location.pathname));
+ document.links[4].href =
+ getUwoboURL() + "apply" +
+ "?keys=RT" +
+ "¶m.topurl=" + topurl +
+ "&xmluri=" +
+ escape(
+ topurl + "/html/library/index.html" +
+ "?cicuri=" + cicuri +
+ "&theoryuri=" + theoryuri +
+ "&mode=" + mode +
+ "&processorURL=" + getUwoboURL() +
+ "&getterURL=" + getGetterURL() +
+ "&draw_graphURL=" + getDrawGraphURL() +
+ "&uri_set_queueURL=" + getURISetQueueURL() +
+ "&UNICODEvsSYMBOL=" + getUNICODEvsSYMBOL()
+ );
}
function selectUwoboURL(ss)
document.uwoboURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8080/helm/servlet/uwobo/";
}
- refreshLink();
+ refreshLinks();
}
function selectGetterURL(ss)
document.getterURL.elements[0].value = "http://" + ss.options[ss.selectedIndex].value + ":8081/";
}
- refreshLink();
+ 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 + ":8083/";
+ }
+
+ 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 + ":8084/";
+ }
+
+ refreshLinks();
}